Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Lógica
115
Lógica matemática
58
Filosofía
42
Lógica simbólica y matemática
27
Diseño lógico
23
Historia
22
Circuitos lógicos
17
Inteligencia artificial
16
Matemáticas
16
Positivismo lógico
11
Prolog (Lenguaje de programación)
11
Teoría del conocimiento
11
Metodología
10
Computadoras
9
Filosofía de las matemáticas
9
Metodología científica
9
Pensamiento crítico
9
Procesamiento de datos
9
Programación (Computadoras)
9
Electrónica digital
8
Modalidad (Lógica)
8
Programación lógica
8
Razonamiento
8
Semántica (Filosofía)
8
Filosofía de la ciencia
7
Lenguaje y lenguas
7
Lógica simbólica
7
Ética
7
Aspectos sociales
6
Filosofía del lenguaje
6
-
1201
-
1202
-
1203
-
1204
-
1205
-
1206
-
1207
-
1208por Riegel, Christian“…A hardware-based interlock system is installed on-site to prevent detector and people working at the detector from serious harm and damage. For the IBL, the logical processing of interlock signals is realised in Interlock Matrix Crates (IMCs) using Complex Programmable Logic Devices (CPLD). …”
Publicado 2014
Enlace del recurso
-
1209“…Written by world-class leaders in type-2 fuzzy logic control, this book offers a self-contained reference for both researchers and students. …”
Enlace del recurso
-
1210por Hopkins, Burt C“…Hopkins presents the first in-depth study of the work of Edmund Husserl and Jacob Klein on the philosophical foundations of the logic of modern symbolic mathematics. Accounts of the philosophical origins of formalized concepts-especially mathematical concepts and the process of mathematical abstraction that generates them-have been paramount to the development of phenomenology. …”
Publicado 2011
Enlace del recurso
-
1211por Haverkamp, Nick“…He developed a new kind of constructive mathematics, called intuitionism, which seems to allow for a rigorous refutation of widely accepted mathematical assumptions including fundamental principles of classical logic. Following an intense mathematical debate esp. in the 1920s, Brouwer's revolutionary criticism became a central philosophical concern in the 1970s, when Michael Dummett tried to substantiate it with meaning-theoretic considerations.…”
Publicado 2015
Enlace del recurso
-
1212
-
1213
-
1214“…In addition to that, logicians interested in the applications of their field and logic students in mathematics, computer science, philosophy and linguistics can use the volume to broaden their knowledge of applications of logic.…”
Enlace del recurso
Enlace del recurso
-
1215
-
1216por Nievergelt, Yves“…This text for the first or second year undergraduate in mathematics, logic, computer science, or social sciences, introduces the reader to logic, proofs, sets, and number theory. …”
Publicado 2015
Enlace del recurso
Enlace del recurso
-
1217por Czelakowski, Janusz“…This monograph introduces and explores the notions of a commutator equation and the equationally-defined commutator from the perspective of abstract algebraic logic. An account of the commutator operation associated with equational deductive systems is presented, with an emphasis placed on logical aspects of the commutator for equational systems determined by quasivarieties of algebras. …”
Publicado 2015
Enlace del recurso
Enlace del recurso
-
1218por Hooker, John“…A pioneering look at the fundamental role of logic in optimization and constraint satisfaction<br /> <br /> While recent efforts to combine optimization and constraint satisfaction have received considerable attention, little has been said about using logic in optimization as the key to unifying the two fields. …”
Publicado 2011
Enlace del recurso
-
1219por Taraate, Vaibbhav“…The book constructs the logic design story from the fundamentals of logic design to advanced RTL design concepts. …”
Publicado 2016
Enlace del recurso
Enlace del recurso
-
1220