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
-
3581
-
3582
-
3583por Ascher, Marcia, 1935-Tabla de Contenidos: “…Numbers: words and symbols -- Tracing graphs in the sand -- Logic of kin relations -- Chance and strategy in games and puzzles -- Organization and modeling of space -- Symmetric strip decorations -- In conclusion: ethnomathematics.…”
Publicado 1991
Libro -
3584
-
3585
-
3586por Strawson, P. F.Tabla de Contenidos: “…. -- Transcendent metaphysics. The logic of illusion: Soul ; Cosmos. -- The metaphysics of transcendental idealism. -- Kant's theory of geometry.…”
Publicado 1966
Libro -
3587
-
3588Publicado 1979Tabla de Contenidos: “…Elementary logic -- Predicate calculus and sets -- Further logical notions -- Assertions, sentences, and propositions -- Extensional and intensional sentences -- The analytic-synthetic and a priori-a posteriori distinctions -- Definition and philosophical analysis -- Reading and writing philosophy -- Divisions of philosophy.…”
Libro -
3589
-
3590
-
3591“…Details developments in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems.…”
Enlace del recurso
-
3592por Akinshin, Andrey“…This book is intended for .NET developers who want to use the MVVM design pattern to create powerful client-side JavaScript linked to server-side C# logic. Basic experience with ASP.NET, Razor, and creating web applications is needed.…”
Publicado 2015
Enlace del recurso
-
3593por Kennedy, Hubert, C“…In the decade before 1900, the Italian mathematician Giuseppe Peano was one of the most original and influential pioneers of modern mathematical logic. He made significant contributions to the development of the foundations of mathematics and the axiomatic method, dimension theory, measure theory, and vector analysis, among other areas. …”
Publicado 1973
Enlace del recurso
-
3594por MacHale, Desmond“…This book, aimed at the general reader and now available again, is the first full-length biography of George Boole (1815-1864) who has been variously described as the founder of pure mathematics, one of the fathers of computer science and discoverer of symbolic logic.…”
Publicado 2014
Enlace del recurso
-
3595“…The focus is on his teaching subjects: algebra, linear algebra, mathematical logic, number theory, automata theory, tree languages and series, algebraic semantics, and fuzzy languages.…”
Enlace del recurso
-
3596por Fierz, Markus“…He rejects in particular Weizsäcker's suggestion of a modified logic for the explanation of the dualism wave-particle.…”
Publicado 2001
Enlace del recurso
-
3597por Di Guglielmo, Giuseppe, Fahim, Farah, Herwig, Christian, Valentin, Manuel Blanco, Duarte, Javier, Gingu, Cristian, Harris, Philip, Hirschauer, James, Kwok, Martin, Loncar, Vladimir, Luo, Yingyi, Miranda, Llovizna, Ngadiuba, Jennifer, Noonan, Daniel, Ogrenci-Memik, Seda, Pierini, Maurizio, Summers, Sioni, Tran, Nhan“…Despite advances in the programmable logic capabilities of modern trigger systems, a significant bottleneck remains in the amount of data to be transported from the detector to off-detector logic where trigger decisions are made. …”
Publicado 2021
Enlace del recurso
Enlace del recurso
-
3598
-
3599
-
3600