|
|
|
|
| LEADER |
00000nam a22000007i 4500 |
| 003 |
Ucuenca |
| 005 |
20230308224433.0 |
| 006 |
a||||fr|||| 001 0 |
| 007 |
ta |
| 008 |
160927s2010 ck aaaaf |||| 001 0 spa a |
| 020 |
|
|
|a 978-958-741-075-4
|
| 040 |
|
|
|b spa
|a UCuenca-cdrjbv
|c UCuenca
|e rda
|
| 041 |
0 |
|
|a spa
|
| 082 |
0 |
|
|2 21
|a 511.3
|c 8807332
|
| 100 |
1 |
|
|a Gutiérrez García, Ismael
|9 182833
|e autor
|
| 245 |
|
|
|a Matemáticas para informática /
|c Ismael Gutiérrez García.
|
| 250 |
|
|
|a Primera edición.
|
| 264 |
|
1 |
|a Barranquilla:
|b Ediciones Uninorte,
|c 2010.
|
| 300 |
|
|
|a x, 188 páginas:
|b dia
|c 24 cm
|e 1 CD ROM
|
| 336 |
|
|
|2 rdacontent
|a texto
|b txt
|
| 337 |
|
|
|2 rdamedia
|a no mediado
|b n
|
| 338 |
|
|
|2 rdacarrier
|a volumen
|b nc
|
| 504 |
|
|
|a incl. ref.
|
| 505 |
1 |
|
|a I Lógica Matemática 1. Cálculo Proposicional 1.1. Un poco de historia 1.2. Sintaxis 1.3. Notación libre de paréntesis o polaca 1.4 Unsistema deductivo 1.5. Semántica 1.6. Ejercicios 2. Introducción a la lógica de primer orden 2.1. Sintaxis 2.2. Semántica 2.3. El teorema de completitud de Gödel 2.4. Ejercicios II Teoría de Conjuntos 3. El sistema axiomático ZF 3.1. Preliminares y primeros axiomas 3.2. Conjunto potencia y el producto cartesiano 3.3. Relaciones 3.4. Funciones 3.5. Conjuntos parcialmente ordenados 3.6. Los números naturales 3.7. Ejercicios
|
| 520 |
3 |
|
|a Esta obra tiene su origen en los cursos de Matemáticas Discretas y Lógica Matemática ofrecidos por el autor en los programas de Ingeniería de Sistemas y Matemáticas de la Universidad del Norte (Colombia). La primera parte trata sobre el cálculo proposicional y presenta una introducción a la lógica de primer orden. La segunda parte del texto está dedicada al sistema axiomático de Zermelo -Fränkel para la teoría de conjuntos. Un aspecto relevante de esta obra es la elaboración del software educativo MaXl, que se anexa como un producto del proyecto de investigación "Dos tópicos en matemáticas discretas", financiado por la " Universidad del Norte.La segunda parte del texto está dedicada al sistema axiomático de Zermelo -Fränkel para la teoría de conjuntos. Un aspecto relevante de esta obra es la elaboración del software educativo MaXl, que se anexa como un producto del proyecto de investigación "Dos tópicos en matemáticas discretas", financiado por la " Universidad del Norte.
|
| 650 |
1 |
0 |
|a Matemática
|9 12761
|
| 650 |
1 |
7 |
|2 UCuenca-cdrjbvUCuenca-cdrjbv
|9 4922
|a Álgebra
|
| 650 |
1 |
7 |
|2 UCuenca-cdrjbv
|9 4716
|a Cálculo
|
| 942 |
|
|
|c BK
|0 1
|2 ddc
|r teodoro.astudillo@ucuenca.edu.ec
|
| 999 |
|
|
|c 148946
|d 148946
|