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
-
3081“…Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. …”
Enlace del recurso
-
3082por Wolfendale, E“…Also featured are computer aids such as logic simulation and mask layout, as well as examples on simple MOS design. …”
Publicado 2013
Enlace del recurso
-
3083por Spinks, Michael J“…The design engineer can use programmable array logic (PAL) to rep…”
Publicado 2013
Enlace del recurso
-
3084“…This monograph is intended to present the most important methods of proof theory in intuitionistic logic, assuming the reader to have mastered an introductory course in mathematical logic. …”
Enlace del recurso
-
3085“…Since the readout supervisor "ODIN" is a very complex module, the prototyping was staged by starting out with a minimal version incorporating the most critical logic and then adding the remaining logic in subsequent prototypes. …”
Enlace del recurso
Enlace del recurso
-
3086“…This article unpacks the logic of the equivalence invoked by the Government of Canada between Indigenous consent and the inclusion of Indigenous peoples and knowledges in impact assessment. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
3087por Kanazawa, Naoki, Goto, Taichi, Sekiguchi, Koji, Granovsky, Alexander B., Ross, Caroline A., Takagi, Hiroyuki, Nakamura, Yuichi, Uchida, Hironaga, Inoue, Mitsuteru“…The functional completeness of magnonic logic circuits based on the majority function was recently proved. …”
Publicado 2017
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
3088por Liu, Gilbert Chien, Odell, Jere D., Whipple, Elizabeth C., Ralston, Rick, Carroll, Aaron E., Downs, Stephen M.“…DESIGN AND SETTING: We describe an initiative in which research informationists and health services researchers employ visualization tools to map logic models for clinical decision support within an electronic health record. …”
Publicado 2015
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
3089“…We show that a closely related but finer grained space of measures arises — via Stone-Priestley duality and the notion of types from model theory — by enriching the expressive power of first-order logic with certain “probabilistic operators”. We provide a sound and complete calculus for this extended logic and expose the functorial nature of this construction. …”
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
3090“…This hybrid operation of the switching and memory functions enables FBFETs to implement memory operation in a conventional CMOS logic scheme. The inverter comprising p- and n-channel FBFETs in series can be in ternary logic states and retain these states during the hold operation owing to the switching and memory functions of FBFETs. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
3091“…Complementing these insights, we argue that MNEs should also consider the long-lasting effect that COVID-19, inter alia, had on the institutional logic underlying globalization. The U.S. and its allies have redefined their logic from pursuing cost-reduction to building partnerships based on shared value, aiming to substitute China’s role in the world economy. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
3092“…Member checking of the logic model occurred to verify interpretation. This programme logic model will be refined throughout the implementation phase, and again after three years of service delivery. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
3093Kant's metaphysic of experience : a commentary on the first half of the Kritik der reinen vernunft /por Paton, H. J. (Herbert James), 1887-1969Tabla de Contenidos: “…Sense and sensibility -- Space and time: the metaphysical exposition ; transcendental exposition and conclusions ; Kant's assumptions ; Kant's conclusions -- Formal and transcendental logic. Formal logic -- Transcendental logic -- Metaphysical deduction of the categories. …”
Publicado 1936
Libro -
3094“…This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. …”
Enlace del recurso
Enlace del recurso
-
3095por Scharenberg, L, Bortfeldt, J, Brunbauer, F, Desch, K, Garcia, F, Hracek, M, Janssens, D, Lisowska, M, Lupberger, M, Muller, H, Natal da Luz, H, Oliveri, E, Pfeiffer, D, Pulkkinen, H, Ropelewski, L, Samarati, J, van Stenis, M, Utrobicic, A, Veenhof, R“…We will highlight the advantages on the energy and the spatial resolution provided by the neighbouring-logic. In the first part, we focus on spatial resolution studies. …”
Publicado 2021
Enlace del recurso
Enlace del recurso
-
3096por Sanders, G H, Butler, H S, Cooper, M D, Hart, G W, Hoffman, C M, Hogan, G E, Hughes, E B, Matis, H S, Rolfe, J, Sandberg, V D, Williams, R A, Wilson, S, Zeman, H“…Sophisticated geometric requirements are imposed by a PROM-based matrix logic, and energy and vector-momentum cuts are imposed by a hardwired processor using LSI flash ADC's and digital arithmetic logic. …”
Publicado 1981
Enlace del recurso
Enlace del recurso
-
3097“…To address the need to register minute phase shift changes inside an FPGA, we propose a design for phase measurement logic core having resolution and precision in the range of a few picoseconds. …”
Enlace del recurso
Enlace del recurso
-
3098“…By using the inherent basicity of their strong electron donor moiety, diaryl-HTIs can be rendered into very potent tools for molecular logic applications. We demonstrate a variety of binary logic setups as well as sophisticated three- and four-input keypad locks for sequential logic operations. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
3099“…This paper presents fault diagnosis logic and signal restoration algorithms for vehicle motion sensors. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso
Online Artículo Texto -
3100“…Led by two enterprise programming experts, you'll learn how to apply the patterns and techniques that help control project complexity-and make systems easier to build, support, and upgrade-right from the start.Get pragmatic architectural guidance on how to:Build testability, maintainability, and security into your system early in the designExpose business logic through a service-oriented interfaceChoose the best pattern for organizing business logic and behaviorReview and apply the patterns…”
Enlace del recurso