Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
-
1
-
2
-
3
-
4
-
5
-
6
-
7por Rucker, Rudy“…It is in the realm of infinity, he maintains, that mathematics, science, and logic merge with the fantastic. By closely examining the paradoxes that arise from this merging, we can learn a great deal about the human mind, its powers, and its limitations. …”
Publicado 2005
Enlace del recurso
-
8
-
9
-
10“…This is the first book on automated model building, a discipline of automated deduction that is of growing importance Although models and their construction are important per se, automated model building has appeared as a natural enrichment of automated deduction, especially in the attempt to capture the human way of reasoning The book provides an historical overview of the field of automated deduction, and presents the foundations of different existing approaches to model construction, in particular those developed by the authors Finite and infinite model building techniques are presented The main emphasis is on calculi-based methods, and relevant practical results are provided The book is of interest to researchers and graduate students in computer science, computational logic and artificial intelligence It can also be used as a textbook in advanced undergraduate courses…”
Enlace del recurso
Enlace del recurso
-
11“…The book will be of interest to graduate students and researchers working in mathematical logic, computer science, philosophical logic, linguistics and physics.…”
Enlace del recurso
Enlace del recurso
-
12por Wittgenstein, Ludwig, 1889-1951Tabla de Contenidos: “…Book review of P. Coffey, The science of logic / Ludwig Wittgenstein -- Some letters of Ludwig Wittgenstein / Ludwig Wittgenstein and William Eccles -- Wittgenstein's lectures in 1930-33 / G.E. …”
Publicado 1993
Enlace del recurso
Libro -
13por Santoianni, Flavia“…The second section focuses on the language and conceptualization of time, examining the works of Cassirer, Wittgenstein, Heidegger, Lacan, Ricoeur and Foucault, while the last section addresses the science and logic of time as they appear in the works of Guillaume, Einstein, Reichenbach, Prigogine and Barbour. …”
Publicado 2016
Enlace del recurso
-
14por Le Roux, Stéphane“…Two-player win/lose games of infinite duration are involved in several disciplines including computer science and logic. If such a game has deterministic winning strategies, one may ask how simple such strategies can get. …”
Publicado 2020
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
15por Yuan, Mingrui, Wang, Qingwei, Li, Yanfeng, Xu, Yuehong, Xu, Quan, Zhang, Xueqian, Zhang, Xixiang, Han, Jiaguang, Zhang, WeiliEnlace del recurso
Publicado 2020
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
16por Nievergelt, Yves“…Adapted from Foundations of Logic and Mathematics: Applications to Science and Cryptography © 2002 Birkhӓuser, this second edition provides a modern introduction to the foundations of logic, mathematics, and computers science, developing the theory that demonstrates construction of all mathematics and theoretical computer science from logic and set theory. The focus is on foundations, with specific statements of all the associated axioms and rules of logic and set theory, and provides complete details and derivations of formal proofs. …”
Publicado 2015
Enlace del recurso
Enlace del recurso
-
17“…While electronics is a highly standardized science, genetic logic is still in its infancy, with few agreed standards. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
18
-
19“…In addition, the fields of natural sciences and logical-mathematical have been the most addressed, managing to implement their contents through object modeling. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto