Lògica de primer ordre
Lògica de primer ordre
12,92 €
Sense existències ara
Rep-lo a casa en 2 / 3 dies per Missatger o Eco Enviament*
1. Història de la lògica simbòlica; 2. El llenguatge de lo lògica de primer ordre; 3. Teoria semàntica; 4. Deducció natural en lògica de primer ordre; 5. Teoria axiomàtica; 6.Normalització de fórmules; 7. Tècniques de demostració automàtica; 8.Programació lògica.
Altres títols de M. Jesús Castel de Haro
Aranda Martínez, María del Carmen
Basterra Hernández, Miguel
Blasco Jover, Carolina
Fernández-Peinado Martínez, Alicia
Garrigues Giménez, María Amparo
Goerlich Peset, José Mª
Gracia Soriano, Pablo de
Heras García, Aránzazu de la
Jareño Ruiz, Diana
Juana Espinosa, Susana de
Llorens Largo, Faraón
Massa, Fabiola
Milenova-Koseva, Delyana
Parres Miralles, Rubén
Pérez Gázquez, Isabel
Santini, Fabrizia
Serrano García, Juana
Todolí Signes, Adrián
Viqueira Pérez, Carmen
Trabajo y digitalización: avances y retos para el diálogo social y la negociación colectiva
32,95 €
ENVIAMENT GRATUÏT*
Els llibres més venuts
