Autor:	Lorenz Halbeisen, Regula Krapf
Rok vydání:	2020
Předmět:	Grammar Computer science Scratch media_common.quotation_subject Formal language Metalanguage computer Linguistics Terminology Syntax (logic) computer.programming_language media_common
Zdroj:	Gödel's Theorems and Zermelo's Axioms ISBN: 9783030522780
DOI:	10.1007/978-3-030-52279-7_1
Popis:	The goal of this chapter is to develop the formal language of First-Order Logic from scratch. At the same time, we introduce some terminology of the so-called metalanguage, which is the language we use when we speak about the formal language (e.g., when we want to express that two strings of symbols are equal).
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::9f24b9f37452d30ba73488478fd75b37 https://doi.org/10.1007/978-3-030-52279-7_1 Zobrazit plný text záznamu