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
-
3361“…Leo-II is an automated theorem prover for classical higher-order logic. The prover has pioneered cooperative higher-order–first-order proof automation, it has influenced the development of the TPTP THF infrastructure for higher-order logic, and it has been applied in a wide array of problems. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
3362por Harris, Patrick“…Lawless et al provide a valuable narrative of using program logic to develop an evaluation of Health in All Policies (HiAP) in South Australia. …”
Publicado 2018
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
3363“…We also extend this logic to spatially distributed response patterns and functional network estimation. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
3364“…The abduction problem in logic asks whether there exists a formula that is consistent with a given set of axioms and, together with these axioms, suffices to entail a given goal. …”
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
3365“…The data belonged to the period of 1997-2019, and was taken from the Central Bank of Iran (website: https://www.cbi.ir). Fuzzy logic was used to estimate the underground economy. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
3366“…The fuzzy logic controller, which uses an analytic activation function for the defuzzification procedure, was applied to the position control of a servo pneumatic drive controlled by a proportional valve. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
3367“…Representing a chemical signal, polyelectrolyte-surfactant reaction products create various logic gate states at microfluidic chip outputs. Such systems may have potential as biochemical signal transmitters in organ-on-chip applications or chemical logic gates in cascaded microfluidic devices.…”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
3368“…A class of binary-coupled memristor oscillators provides simple integration with standard CMOS logic elements. Combining MBOs with binary logic elements ensures the operation of complex information processing algorithms. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
3369
-
3370
-
3371
-
3372
-
3373
-
3374por Russell, Bertrand“…In this brilliantly written volume, Russell attempted to give in nontechnical language and undogmatic account of his philosophical criticism as it relates to arithmetic and logic.…”
Publicado 1971
Enlace del recurso
-
3375“…Brings the researcher up to date with recent applications of mathematical logic to number theory.…”
Enlace del recurso
-
3376por Buechler, Steven“…This volume bridges the gap between a first-year graduate logic course and research papers in stability theory.…”
Publicado 2017
Enlace del recurso
-
3377
-
3378
-
3379
-
3380