INFORMATIQUE THÉORIQUE - Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre (Niveau A) (Technosup) - Tapa blanda
Sinopsis
Une étude limitée à la logique classique à deux valeurs de vérité (logique qui est celle des circuits combinatoires) pour renforcer rigueur de raisonnement et conforter l'aptitude à raisonner, avec de nombreux exercices corrigés gradués.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
Destiné principalement aux étudiants des premiers cycles
scientifiques, un livre pour leur faire découvrir la logique,
renforcer leur rigueur et conforter leur aptitude à raisonner.
L'ouvrage ne nécessite pas de connaissances a priori en
logique, ni en mathématiques. L'étude se concentre sur la
logique classique à deux valeurs de vérité, logique qui est celle
des circuits combinatoires. Sont uniquement présentés des
résultats et algorithmes dont il existe une réalisation logicielle
permettant de les appliquer automatiquement sur des
exemples. Dans une première partie consacrée à la logique
propositionnelle sont présentés les définitions, les résultats de
base, la résolution, la stratégie complète et l'algorithme DPLL,
ainsi que la déduction naturelle. Dans la seconde partie
l'ensemble des notions, résultats et techniques est revisité pour
la logique du premier ordre. Enfin le livre comprend de
nombreux exercices gradués avec leurs corrigés détaillés, qui
permettent à chacun de tester ses connaissances et la
compréhension des concepts présentés.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para INFORMATIQUE THÉORIQUE - Logique et démonstration automatiqu...
Imagen de archivo
Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Softcover. Condición: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 2012. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 2012. Ammareal gives back up to 15% of this item's net price to charity organizations. Nº de ref. del artículo: E-241-975
Comprar usado
EUR 6,99
EUR 20,50 shipping
Se envía de Francia a Estados Unidos de America
Se envía de Francia a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Softcover. Condición: Très bon. Ancien livre de bibliothèque. Edition 2012. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2012. Ammareal gives back up to 15% of this item's net price to charity organizations. Nº de ref. del artículo: D-939-158
Comprar usado
EUR 6,99
EUR 20,50 shipping
Se envía de Francia a Estados Unidos de America
Se envía de Francia a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
INFORMATIQUE TH?ORIQUE - Logique et d?monstration automatique - Introduction ? la logique propositionnelle et ? la logique du premier ordre (Niveau A) (Technosup) (French Edition)
Librería: GoldBooks, Denver, CO, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: new. Nº de ref. del artículo: 9D79_75_2729872299
Comprar nuevo
EUR 41,12
EUR 3,62 shipping
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
INFORMATIQUE THÉORIQUE - Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre (Niveau A)
Impresión bajo demandaLibrería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 216 pp. Französisch. Nº de ref. del artículo: 9782729872298
Comprar nuevo
EUR 39,56
EUR 23,00 shipping
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Informatique théorique : Logique et démonstration automatique, Introduction à la logique propositionnelle et à la logique du premier ordre
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. French language. 10.16x6.85x0.79 inches. In Stock. Nº de ref. del artículo: zk2729872299
Comprar nuevo
EUR 77,42
EUR 11,39 shipping
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
INFORMATIQUE THÉORIQUE - Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre (Niveau A)
Impresión bajo demandaLibrería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Une étude limitée à la logique classique à deux valeurs de vérité (logique qui est celle des circuits combinatoires) pour renforcer rigueur de raisonnement et conforter l'aptitude à raisonner, avec de nombreux exercices corrigés gradués. 216 pp. Französisch. Nº de ref. del artículo: 9782729872298
Comprar nuevo
EUR 39,56
EUR 60,00 shipping
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
INFORMATIQUE THÉORIQUE - Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre (Niveau A)
Impresión bajo demandaLibrería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering. Nº de ref. del artículo: 9782729872298
Comprar nuevo
EUR 40,58
EUR 62,10 shipping
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
INFORMATIQUE THÉORIQUE - Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre (Niveau A)
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. INFORMATIQUE THÉORIQUE - Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre (Niveau A) | Pascal Lafourcade (u. a.) | Taschenbuch | Französisch | 2012 | ELLIPSES | EAN 9782729872298 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu. Nº de ref. del artículo: 133235845
Comprar nuevo
EUR 35,45
EUR 70,00 shipping
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 5 disponibles
Imagen de archivo
INFORMATIQUE TH ORIQUE - Logique et d monstration automatique - Introduction la logique propositionnelle et la logique du premier ordre (Niveau A) (Technosup) (French Edition)
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
paperback. Condición: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Nº de ref. del artículo: ERICA82927298722996
Comprar nuevo
EUR 147,81
EUR 28,47 shipping
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles