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
-
641
-
642
-
643Publicado 2017“…A logic analyzer is an electronic instrument that captures and displays multiple signals from a digital system or digital circuit. …”
Enlace del recurso
-
644
-
645por Centrone, Stefania“…This text focuses on the first ten years of Edmund Husserl's work, from the publication of his Philosophy of Arithmetic to that of Logical Investigations. It aims to locate this work in the fields of logic, philosophy of logic and philosophy of mathematics.…”
Publicado 2010
Enlace del recurso
-
646por Ye, Feng“…Exploring the logic behind applied mathematics to the physical world, this volume illustrates how radical naturalism, nominalism and strict finitism can account for the applications of classical mathematics in current theories about natural phenomena.…”
Publicado 2011
Enlace del recurso
-
647por Agler, David“…Brimming with visual examples of concepts, derivation rules, and proof strategies, this introductory text is ideal for students with no previous experience in logic. Students will learn translation both from formal language into English and from English into formal language; how to use truth trees and truth tables to test propositions for logical properties; and how to construct and strategically use derivation rules in proofs.…”
Publicado 2012
Enlace del recurso
-
648“…While straightforward representations are restricted due to their (exponentially) large matrix descriptions and other decision diagram-like structures for quantum logic suffer from not comprehensively supporting typical characteristics, QMDDs employ a decomposition scheme that more naturally models quantum systems. …”
Enlace del recurso
Enlace del recurso
-
649“…Fuzzy Logic, at present is a hot topic, among academicians as well various programmers. …”
Enlace del recurso
-
650“…With a free, downloadable software package available to help solve the exercises, this book focuses on practical and relevant problems that arise in the field of binary logics, with its two main applications - digital circuit design, and propositional logics.…”
Enlace del recurso
-
651por Li, Wei“…This book presents the basic principles and formal calculus of mathematical logic. It covers core contents, extensions and developments of classical mathematical logic, and it offers formal proofs and concrete examples for all theoretical results.…”
Publicado 2010
Enlace del recurso
-
652
-
653“…The volume illuminates Feferman’s distinctive work and, in the process, provides an enlightening perspective on the foundations of mathematics and logic.…”
Enlace del recurso
Enlace del recurso
-
654
-
655“…This unique volume presents mathematical game theory as an interface between logic and philosophy. It provides a discussion of various aspects of this interaction, covers new technical results and examines the philosophical insights that these have yielded.…”
Enlace del recurso
-
656
-
657
-
658
-
659
-
660“…The aim of this book is to present mathematical logic to students who are interested in what this field is but have no intention of specializing in it. …”
Enlace del recurso