Lógica para informáticos /

Saved in:
Bibliographic Details
Other Authors: Ferré Cirera, Rafael, Nieuwenhuis, Robert, Nivela Alós, Pilar, Oliveras Llunell, Albert, Rodríguez Carbonell, Enric, Sierra Santibáñez, Josefina
Format: Book
Language: Spanish
Published: México, D. F. : Alfaomega Grupo Editor : ©2012.
Marcombo Ediciones Técnicas,
Subjects:
Notas Contenido:
  • Definición de la lógica proposicional
  • Deducción en la lógica proposicional
  • Definición de la lógica de primer orden
  • Deducción de la lógica de primer orden
  • Fundamentos de la programación lógica
  • Ejercicios resueltos

MARC

LEADER 00000nam a2200000 a 4500
001 000068290
003 CO-BoSNA
005 20260107162854.0
008 140902s2012^^^^mx^^^^^gr^^^^^000^0^spa^d
020 |a 9786077071655 
040 |a CO-BoSNA  |b spa 
082 0 4 |a 005.131  |b L687l  |2 23 
245 0 0 |a Lógica para informáticos /  |c Rafael Farré Cirera [y otros]. 
260 |a México, D. F. :  |b Alfaomega Grupo Editor :  |b Marcombo Ediciones Técnicas,  |c ©2012. 
300 |a 206 páginas ;  |c 23 cm. 
505 0 |a Definición de la lógica proposicional -- Deducción en la lógica proposicional -- Definición de la lógica de primer orden -- Deducción de la lógica de primer orden -- Fundamentos de la programación lógica -- Ejercicios resueltos 
650 2 7 |a Lógica de primer orden  |2 Armarc 
650 2 7 |a Teoría de conjuntos  |2 Armarc 
650 1 7 |a Programación (Computadores electrónicos)  |2 Armarc 
700 1 |a Ferré Cirera, Rafael 
700 1 |a Nieuwenhuis, Robert 
700 1 |a Nivela Alós, Pilar 
700 1 |a Oliveras Llunell, Albert 
700 1 |a Rodríguez Carbonell, Enric 
700 1 |a Sierra Santibáñez, Josefina 
952 |0 0  |1 0  |4 5  |6 005_131000000000000_L687L  |7 0  |8 GENER  |9 313165  |a 05053  |b 05053  |d 2016-10-31  |i 24784  |l 0  |o 005.131 L687l  |p O53062010399  |r 2026-01-07 16:28:54  |t Ej. 1  |w 2026-01-07  |y BOOK  |z Calle 104 No. 69-120, Medellín 
952 |0 0  |1 0  |4 5  |6 005_131000000000000_L687L  |7 0  |8 GENER  |9 313166  |a 05067  |b 05067  |d 2014-12-17  |i 121995  |l 0  |o 005.131 L687l  |p 056067012719  |r 2026-01-07 16:28:54  |t Ej. 1  |w 2026-01-07  |y BOOK  |z Calle 51, No. 57-70, Torre Norte, Medellín 
952 |0 0  |1 0  |4 5  |6 005_131000000000000_L687L  |7 0  |8 GENER  |9 313167  |a 19221  |b 19221  |d 2014-10-23  |i 194221  |l 0  |o 005.131 L687l  |p 199221000516  |r 2026-01-07 16:28:54  |t Ej. 1  |w 2026-01-07  |y BOOK  |z Cra. 9 No. 71N-60, Popayán 
952 |0 0  |1 0  |4 5  |6 005_131000000000000_L687L  |7 0  |8 GENER  |9 313168  |a 19221  |b 19221  |d 2015-07-09  |i 122441  |l 0  |o 005.131 L687l  |p 199221001019  |r 2026-01-07 16:28:54  |t Ej. 2  |w 2026-01-07  |y BOOK  |z Cra. 9 No. 71N-60, Popayan 
952 |0 0  |1 0  |4 5  |6 005_131000000000000_L687L  |7 0  |8 GENER  |9 313169  |a 19221  |b 19221  |d 2015-08-06  |i 194221  |l 0  |o 005.131 L687l  |p 199221001257  |r 2026-01-07 16:28:54  |t Ej. 3  |w 2026-01-07  |y BOOK  |z Cra. 9 No. 71N-60, Popayan 
952 |0 0  |1 0  |4 5  |6 005_131000000000000_L687L  |7 0  |8 GENER  |9 313170  |a 19307  |b 19307  |d 2015-08-11  |i 136462  |l 0  |o 005.131 L687l  |p 199307000328  |r 2026-01-07 16:28:54  |t Ej. 1  |w 2026-01-07  |y BOOK  |z Calle 4 No. 2-80, Popayán 
952 |0 0  |1 0  |4 5  |6 005_131000000000000_L687L  |7 0  |8 GENER  |9 313171  |a 19307  |b 19307  |d 2015-08-11  |i 136462  |l 0  |o 005.131 L687l  |p 199307000329  |r 2026-01-07 16:28:54  |t Ej. 2  |w 2026-01-07  |y BOOK  |z Calle 4 No. 2-80, Popayán 
952 |0 0  |1 0  |4 4  |6 005_131000000000000_L687L  |7 0  |8 GENER  |9 313172  |a 73226  |b 73226  |d 2015-11-04  |i 2834  |l 0  |o 005.131 L687l  |p 732260000543  |r 2026-01-07 16:28:54  |t Ej. 1  |w 2026-01-07  |y BOOK  |z Cra. 45 Sur No. 141-05, Ibagué 
952 |0 0  |1 0  |4 4  |6 005_131000000000000_L687L  |7 0  |8 GENER  |9 313173  |a 73226  |b 73226  |d 2015-11-17  |i 2955  |l 0  |o 005.131 L687l  |p 732260000597  |r 2026-01-07 16:28:54  |t Ej. 2  |w 2026-01-07  |y BOOK  |z Cra. 45 Sur No. 141-05, Ibagué 
952 |0 0  |1 0  |4 4  |6 005_131000000000000_L687L  |7 0  |8 GENER  |9 313174  |a 73310  |b 73310  |d 2014-09-02  |l 0  |o 005.131 L687l  |p 733100006440  |r 2026-01-07 16:28:54  |t Ej. 1  |w 2026-01-07  |y BOOK  |z Transversal 1A N°. 42-244 Ibagué 
952 |0 0  |1 0  |4 4  |6 005_131000000000000_L687L  |7 0  |8 GENER  |9 313175  |a 73310  |b 73310  |d 2014-09-02  |l 0  |o 005.131 L687l  |p 733100006441  |r 2026-01-07 16:28:54  |t Ej. 2  |w 2026-01-07  |y BOOK  |z Transversal 1A N°. 42-244 Ibagué 
952 |0 0  |1 0  |4 4  |6 005_131000000000000_L687L  |7 0  |8 GENER  |9 313176  |a 73310  |b 73310  |d 2014-09-02  |l 0  |o 005.131 L687l  |p 733100006764  |r 2026-01-07 16:28:54  |t Ej. 3  |w 2026-01-07  |y BOOK  |z Transversal 1A N°. 42-244 Ibagué 
952 |0 0  |1 0  |4 4  |6 005_131000000000000_L687L  |7 0  |8 GENER  |9 313177  |a 73310  |b 73310  |d 2014-09-02  |l 0  |o 005.131 L687l  |p 733100006765  |r 2026-01-07 16:28:54  |t Ej. 4  |w 2026-01-07  |y BOOK  |z Transversal 1A N°. 42-244 Ibagué 
952 |0 0  |1 0  |4 4  |6 005_131000000000000_L687L  |7 0  |8 GENER  |9 313178  |a 73310  |b 73310  |d 2014-09-02  |l 0  |o 005.131 L687l  |p 733100006766  |r 2026-01-07 16:28:54  |t Ej. 5  |w 2026-01-07  |y BOOK  |z Transversal 1A N°. 42-244 Ibagué 
952 |0 0  |1 0  |4 5  |6 005_131000000000000_L687L  |7 0  |8 GENER  |9 313179  |a 85519  |b 85519  |d 2017-05-08  |i 42136  |l 0  |o 005.131 L687l  |p 859519000476  |r 2026-01-07 16:28:54  |t Ej. 1  |w 2026-01-07  |y BOOK  |z Cra. 19 N° 36-68, Yopal 
952 |0 0  |1 0  |4 5  |6 005_131000000000000_L687L  |7 0  |8 GENER  |9 313180  |a 85519  |b 85519  |d 2017-05-08  |i 42136  |l 0  |o 005.131 L687l  |p 859519000477  |r 2026-01-07 16:28:54  |t Ej. 2  |w 2026-01-07  |y BOOK  |z Cra. 19 N° 36-68, Yopal 
999 |c 64285  |d 64285 
942 |6 005_131000000000000__L687L