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
-
121
-
122
-
123“…Here is an introduction to modern logic that differs from others by treating logic from an algebraic perspective. …”
Enlace del recurso
-
124
-
125
-
126
-
127por Bornemark, Jonna“…The question this article poses is what kind of logic this experience is an expression of, as there seems to be a discrepancy in relation to the classical Aristotelian logic of identity. …”
Publicado 2023
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
128
-
129
-
130
-
131“…The logic of domains has become a key organizing principle for contemporary computing projects and in broader science policy. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
132por Neocleous, Mark“…This is a police war carried out as a logic of containment against the enemy within—within the kettle and within society. …”
Publicado 2021
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
133“…Lindström’s Theorem characterizes first order logic as the maximal logic satisfying the Compactness Theorem and the Downward Löwenheim-Skolem Theorem. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
134
-
135por Väänänen, Jouko“…A systematic logical study of dependence also providing a precise treatment of independence friendly logic.…”
Publicado 2007
Enlace del recurso
-
136
-
137“…This book proposes a new way of formalizing in logic and mathematics - a "pyramidal graph system," devised by the author and based on Porphyrian trees and modern concepts of classification, in both of which pyramids act as the organizing schema.…”
Enlace del recurso
-
138
-
139“…A typology of existing logic models is proposed, as well as a formal methodology for deriving more flexible and dynamic logic models. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
140por Kohlhase, Michael, Rabe, Florian, Sacerdoti Coen, Claudio, Schaefer, Jan Frederik“…Logical frameworks like LF allow to specify the syntax and (natural deduction) inference rules for syntax/proof-checking a wide variety of logical systems. …”
Publicado 2020
Enlace del recurso
Enlace del recurso
Online Artículo Texto