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
-
321“…In this article, we aim to give an understanding of all the processes associated with hair transplantation and the logic behind the same.…”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
322por Smith, Martin“…But these closure principles are only a small sample of the logical principles that we might consider. In this paper, I will outline four further logical principles that plausibly hold for justification and two which plausibly do not. …”
Publicado 2017
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
323por Datteri, Edoardo“…Distal studies involve logical steps which may be particularly hard to justify. …”
Publicado 2020
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
324por Inglis, Timothy J. J.“…We now need to take a step back to examine the logic underlying the use of our limited COVID-19 countermeasures. …”
Publicado 2020
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
325“…We thus develop Constructive Game Logic, which extends Parikh’s Game Logic (GL) with constructivity and with first-order programs à la Pratt’s first-order dynamic logic (DL). …”
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
326“…Most automated verifiers for separation logic are based on the symbolic-heap fragment, which disallows both the magic-wand operator and the application of classical Boolean operators to spatial formulas. …”
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
327“…In this paper we show that, when analyzed with contemporary tools in logic—such as Dunn-style semantics, Reichenbach’s three-valued logic exhibits many interesting features, and even new responses to some of the old objections to it can be attempted. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
328por Rajappan, Anoop, Jumet, Barclay, Shveda, Rachel A., Decker, Colter J., Liu, Zhen, Yap, Te Faye, Sanchez, Vanessa, Preston, Daniel J.“…Here, we develop a fully textile platform for embedding pneumatic digital logic in wearable devices. Our logic-enabled textiles support combinational and sequential logic functions, onboard memory storage, user interaction, and direct interfacing with pneumatic actuators. …”
Publicado 2022
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
329
-
330por Zhang, Yi, Wang, Yadong, Dai, Yunyun, Bai, Xueyin, Hu, Xuerong, Du, Luojun, Hu, Hai, Yang, Xiaoxia, Li, Diao, Dai, Qing, Hasan, Tawfique, Sun, Zhipei“…Our first demonstrations of logic gates using chiral selection rules suggest that optical chirality could provide a powerful degree of freedom for future optical computing.…”
Publicado 2022
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
331por Dalla Chiara, Maria Luisa, Giuntini, Roberto, Leporini, Roberto, Sergioli, Giuseppe“…It then gives a synthetic presentation of the main “mathematical characters” of the quantum computational game: qubits, quregisters, mixtures of quregisters, quantum logical gates. Next, the book investigates the puzzling entanglement-phenomena and logically analyses the Einstein–Podolsky–Rosen paradox and introduces the reader to quantum computational logics, and new forms of quantum logic. …”
Publicado 2018
Enlace del recurso
Enlace del recurso
-
332
-
333“…We extend the methodology in Baaz and Fermüller (1999) [5] to systematically construct analytic calculi for semi-projective logics—a large family of (propositional) locally finite many-valued logics. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
334por Mansutti, Alessio“…We describe a set of simple features that are sufficient in order to make the satisfiability problem of logics interpreted on trees Tower-hard. We exhibit these features through an Auxiliary Logic on Trees (ALT), a modal logic that essentially deals with reachability of a fixed node inside a forest and features modalities from sabotage modal logic to reason on submodels. …”
Publicado 2020
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
335“…Here, we report a novel “AND” molecular logic gate, enabling a double-controlled release of intact functional molecules. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
336
-
337“…Among the promising approaches for implementing high-performance computing, reconfigurable logic gates and logic-in-memory (LIM) approaches have been drawing increased research attention. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
338“…MOTIVATION: The gene regulatory process resembles a logic system in which a target gene is regulated by a logic gate among its regulators. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
339
-
340“…Recent studies on logical reasoning have suggested that people are intuitively aware of the logical validity of syllogisms or that they intuitively detect conflict between heuristic responses and logical norms via slight changes in their feelings. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto