Kết quả tìm kiếm - "Lógica simbólica"
Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
- Lógica simbólica 44
- Lógica matemática 39
- Matemática 10
- Teoría de conjuntos 10
- Lógica 7
- LINGUISTICA MATEMATICA 4
- Teoría de números 4
- CALCULO DE PREDICADOS 3
- DEDUCCION 3
- Inducción 3
- LOGICA DE PREDICADOS 3
- MAQUINAS DE TURING 3
- Algoritmos 2
- COMPUTABILIDAD 2
- Cálculo proposicional 2
- Ejercicios 2
- Enseñanza 2
- LOGICA ALGEBRAICA 2
- LOGICA COMBINATORIA 2
- LOGICA DE CUANTIFICADORES 2
- Lógica aristotélica 2
- Lógica formal 2
- Lógica proposicional 2
- Lógica simbólica y matemática 2
- Matemáticas 2
- Probabilidad 2
- SISTEMAS FORMALES 2
- Semántica 2
- TEORIA DE LOS MODELOS 2
- Álgebra booleana 2
-
1
Lógica formal: su alcance y sus límites.
Được phát hành 1986Những chủ đề: “…Lógica simbólica 269868…”
Sách -
2
Introducción al simbolismo lógico
Được phát hành 1970Những chủ đề: “…Lógica simbólica 269868…”
Sách -
3
-
4
Popular lectures on mathematical logic
Được phát hành 1993Những chủ đề: “…Lógica simbólica 269868…”
Sách -
5
Lógica simbólica para informáticos
Được phát hành 2005Những chủ đề: “…Lógica simbólica 269868…”
Sách -
6
Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
Được phát hành 2010Những chủ đề: “…Lógica simbólica 269868…”
Sách -
7
-
8
How to prove it. A structured approach.
Được phát hành 2006Những chủ đề: “…Lógica simbólica y matemática 866627…”
Sách -
9
Pruebas y refutaciones: la lógica del descubrimiento matemático
Được phát hành 1982Những chủ đề: “…Lógica simbólica 269868…”
Sách -
10
-
11
Introducción al simbolismo lógico
Được phát hành 1981Những chủ đề: “…Lógica simbólica 269868…”
Sách -
12
La structure algébrique des théories mathématiques
Được phát hành 1956Những chủ đề: “…Lógica simbólica 269868…”
Sách -
13
-
14
-
15
Multi-criteria decision making methods: A comparative study.
Được phát hành 2000Những chủ đề: “…Lógica simbólica y matemática 866627…”
Không biết -
16
Program logics for certified compilers.
Được phát hành 2014Những chủ đề: “…Lógica, simbólica y matemática 866627…”
Sách -
17
An introduction to Hilbert space and quantum logic
Được phát hành 1989Những chủ đề: “…Lógica simbólica 269868…”
Sách -
18
-
19
Teaching mathematical reasoning in secondary school classrooms
Được phát hành 2010Những chủ đề: “…Lógica simbólica 269868…”
Sách -
20