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
-
521por Dissel, Stephane, Hansen, Celia N., Özkaya, Özge, Hemsley, Matthew, Kyriacou, Charalambos P., Rosato, EzioEnlace del recurso
Publicado 2014
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
522
-
523“…In modern computing, the Boolean logic operations are set by interconnect schemes between the transistors. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
524“…Recently, the logic-qubit entanglement shows its potential application in future quantum communication and quantum network. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
525por Tserkovny, Alex“…The same fuzzy logic was used for fuzzification of Euclid's first postulate. …”
Publicado 2016
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
526
-
527
-
528por Shipp, StewartEnlace del recurso
Publicado 2016
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
529
-
530
-
531por Adamatzky, Andrew“…We evaluate information processing capacity of a single actin molecule by calculating distributions of logical gates implemented by the molecule via propagating patterns of excitation. …”
Publicado 2017
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
532por Zografos, Odysseas, Manfrini, Mauricio, Vaysset, Adrien, Sorée, Bart, Ciubotaru, Florin, Adelmann, Christoph, Lauwereins, Rudy, Raghavan, Praveen, Radu, Iuliana P.“…Additionally, it can be an efficient manipulation pathway for low-powered spintronic logic devices. We present a novel logic scheme driven by exchange between two distinct regions in a composite magnetic layer containing a bistable canted magnetization configuration. …”
Publicado 2017
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
533
-
534por Badia, Guillermo“…This paper defines a Sahlqvist fragment for relevant logic and establishes that each class of frames in the Routley-Meyer semantics which is definable by a Sahlqvist formula is also elementary, that is, it coincides with the class of structures satisfying a given first order property calculable by a Sahlqvist-van Benthem algorithm. …”
Publicado 2017
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
535“…In assessing the quality of the debate in this area, we examine the validity of the use of various strategies, including the “straw man” concept, and explore a range of potential logical fallacies present in some recent prominent discussions about invasion biology and so-called “invasive” species. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
536“…Empirical evidence for the capacity to detect conflict between biased reasoning and normative principles has led to the proposal that reasoners have an intuitive grasp of some basic logical principles. In two studies, we investigate the boundary conditions of these logical intuitions by manipulating the logical complexity of problems where logical validity and conclusion believability conflict or not. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
537“…In the present paper, we introduce the backdoor set approach into the field of temporal logic for the global fragment of linear temporal logic. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
538
-
539“…We show that fragments of the logic with a fixed bound on the number of steps preserve completeness, whereas the full run-logic for rASMs becomes incomplete.…”
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
540por Vidal, Germán“…In this work, we say that a computation is reversible if one can find a procedure to undo the steps of a standard (or forward) computation in a deterministic way. While logic programs are often invertible (e.g., one can use the same predicate for adding and for subtracting natural numbers), computations are not reversible in the above sense. …”
Publicado 2020
Enlace del recurso
Enlace del recurso
Online Artículo Texto