|
|
|
|
| LEADER |
00000nac a22000007i 4500 |
| 003 |
Ucuenca |
| 005 |
20230308224436.0 |
| 006 |
a||||fr|||| 001 0 |
| 007 |
ta |
| 008 |
160928s2012 ck aaaaf |||| 001 0 spa a |
| 020 |
|
|
|a 978-958-8782-15-7
|
| 040 |
|
|
|b spa
|a UCuenca-cdrjbv
|c UCuenca
|e rda
|
| 041 |
0 |
|
|a spa
|
| 082 |
|
|
|2 21
|8 8810579
|a 511.3
|
| 100 |
1 |
|
|a Becerra Correa, Nelson.
|e autor
|9 182860
|
| 245 |
|
|
|a Conceptos elementales de lógica informática /
|c Nelson Becerra Correa.
|
| 250 |
|
|
|a Primera edición.
|
| 264 |
|
1 |
|a Bogotá:
|b Ecoe Ediciones,
|c 2012.
|
| 300 |
|
|
|a 198 páginas:
|b tab
|c 23 cm
|
| 336 |
|
|
|2 rdacontent
|a texto
|b txt
|
| 337 |
|
|
|2 rdamedia
|a no mediado
|b n
|
| 338 |
|
|
|2 rdacarrier
|a volumen
|b nc
|
| 490 |
0 |
|
|a Libro Universitario.
|
| 504 |
|
|
|a incl. ref.
|
| 520 |
3 |
|
|a Este libro está dividido en seis capítulos: el primero habla de los conceptos generales de la lógica; en el segundo se tratan los conceptos generales de la lógica de proposiciones; el tercero trata sobre la lógica de predicados; posteriormente, se desarrollan los procedimientos de prueba de la lógica de predicados ; en el quinto se aborda la deducción natural y por último, se trata el tema de la resolución del problema SAT de una manera muy elemental.
|
| 650 |
1 |
0 |
|a Matemática
|9 12761
|
| 650 |
1 |
7 |
|2 UCuenca-cdrjbv
|9 4922
|a Álgebra
|
| 650 |
1 |
7 |
|2 UCuenca-cdrjbv
|9 4716
|a Cálculo
|
| 942 |
|
|
|c CR
|2 ddc
|0 1
|r teodoro.astudillo@ucuenca.edu.ec
|
| 999 |
|
|
|c 148959
|d 148959
|