Lógica para informáticos /
Farré Cirera, Rafael,
Lógica para informáticos / - Primera ediciónn: Alfaomega Grupo Editor, México, mayo 2012. - México: Alfaomega; 2012. - xii, 206 páginas : informatica; libro.
"Área: Computación. Sub área: Teoría de la computación".
Preliminares.-- Definición de la lógica profesional.-- Deducción en la lógica proporcional.-- Definición de la lógica de primer orden.--Deducción en la lógica de primer orden.-- Fundamentos de la programación lógica.-- Ejercicio resueltos.
9786077071655
Computer logic.
Lógica computacional.
510.6 / / F245L / C,G.
Lógica para informáticos / - Primera ediciónn: Alfaomega Grupo Editor, México, mayo 2012. - México: Alfaomega; 2012. - xii, 206 páginas : informatica; libro.
"Área: Computación. Sub área: Teoría de la computación".
Preliminares.-- Definición de la lógica profesional.-- Deducción en la lógica proporcional.-- Definición de la lógica de primer orden.--Deducción en la lógica de primer orden.-- Fundamentos de la programación lógica.-- Ejercicio resueltos.
9786077071655
Computer logic.
Lógica computacional.
510.6 / / F245L / C,G.