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
-
241
-
242
-
243
-
244
-
245
-
246
-
247
-
248
-
249
-
250
-
251
-
252
-
253“…This work is suitable for researchers and graduate students of philosophy, logic, mathematics and theoretical computer science.…”
Enlace del recurso
Enlace del recurso
-
254
-
255
-
256“…It has been, and continues to be studied across a wide range of disciplines, from the natural sciences to philosophy and logic. More than two decades ago, Pnueli in a seminal work showed the value of temporal logic in the specification and verification of computer programs. …”
Enlace del recurso
Enlace del recurso
-
257
-
258“…Many-valued logics were developed as an attempt to handle philosophical doubts about the "law of excluded middle" in classical logic. …”
Enlace del recurso
Enlace del recurso
-
259“…The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Methods was held in honor of Nerode's sixtieth birthday (4 June 1992) at the Mathematical Sciences Institute, Cornell University, 1-3 June 1992. …”
Enlace del recurso
Enlace del recurso
-
260