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
-
1661
-
1662“…Proposing a power and throughput-aware fuzzy-logic-based reconfiguration for Multi-Processor Systems on Chip (MPSoCs) in both simulation and real-time environments, it is divided into two major parts. …”
Enlace del recurso
Enlace del recurso
-
1663por von Plato, Jan“…Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus, central in many areas of logic and computer science today. Another noteworthy achievement is his resolution of the embarrassing situation created by Gödel's incompleteness results, especially the second one about the unprovability of consistency of elementary arithmetic. …”
Publicado 2017
Enlace del recurso
Enlace del recurso
-
1664
-
1665
-
1666
-
1667
-
1668
-
1669
-
1670
-
1671por Montali, Marco“…Addressing fundamental questions on modeling abstractions, this volume explores the integration and extension of diverse approaches to logic-based frameworks. This framework allows non-experts to graphically specify interaction models, which are then transformed into a corresponding formal representation.…”
Publicado 2010
Enlace del recurso
-
1672
-
1673por Mitsumori, Yuki“…The design of the Sector Logic (SL) for the ATLAS Level-0 muon trigger at HL-LHC and the milestones achieved on the hardware and firmware developments are presented. …”
Publicado 2022
Enlace del recurso
-
1674por Mitsumori, Yuki“…The design of the Sector Logic (SL) for the ATLAS Level-0 muon trigger at HL-LHC and the milestones achieved on the hardware and firmware developments are presented. …”
Publicado 2022
Enlace del recurso
Enlace del recurso
-
1675
-
1676Towards automated homomorphic encryption parameter selection with fuzzy logic and linear programming“…Concretely, we present an expert system combining Fuzzy Logic and Linear Programming. The Fuzzy Logic Modules receive a user selection of high-level priorities for the security, efficiency, and performance of the cryptosystem. …”
Enlace del recurso
Enlace del recurso
-
1677
-
1678
-
1679
-
1680