Conceptos elementales de lógica informática /
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ógic...
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Օժանդակ հավաքածու |
| Լեզու: | Spanish |
| Հրապարակվել է: |
Bogotá:
Ecoe Ediciones,
2012.
|
| Հրատարակություն: | Primera edición. |
| Շարք: | Libro Universitario.
|
| Խորագրեր: |
| Ամփոփում: | 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. |
|---|---|
| Ֆիզիկական նկարագրություն: | 198 páginas: tab 23 cm |
| Մատենագիտություն: | incl. ref. |
| ISBN: | 978-958-8782-15-7 |