Articoli correlati a INFORMATIQUE THÉORIQUE - Logique et démonstration automatiqu...
INFORMATIQUE THÉORIQUE - Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre (Niveau A) - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sull?autore
Stéphane Devismes est maître de conférences à l'université Joseph-Fourier de Grenoble où il est responsable du module introduction à la logique, à l'antenne Drôme-Ardèche. Pascal Lafourcade est maître de conférences à l'université Joseph- Fourier de Grenoble où il est responsable du module introduction à la logique. Michel Lévy est maître de conférences retraité de l'université Joseph-Fourier de Grenoble où il a enseigné la logique à tous les niveaux.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 39,56
EUR 11,00 per la spedizione da Germania a Italia
Destinazione, tempi e costiRisultati della ricerca per INFORMATIQUE THÉORIQUE - Logique et démonstration automatiqu...
Foto dell'editore
Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: 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. Codice articolo D-939-158
Quantità: 1 disponibili
Foto dell'editore
Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: 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. Codice articolo E-241-975
Quantità: 1 disponibili
Foto dell'editore
Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: 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. Codice articolo E-241-970
Quantità: 1 disponibili
Foto dell'editore
INFORMATIQUE THÉORIQUE - Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre (Niveau A)
Print on DemandDa: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 216 pp. Französisch. Codice articolo 9782729872298
Quantità: 2 disponibili
Immagini fornite dal venditore
INFORMATIQUE THÉORIQUE - Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre (Niveau A)
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. 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. Codice articolo 9782729872298
Quantità: 2 disponibili
Foto dell'editore
INFORMATIQUE THÉORIQUE - Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre (Niveau A)
Print on DemandDa: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering. Codice articolo 9782729872298
Quantità: 1 disponibili
Foto dell'editore
Informatique théorique : Logique et démonstration automatique, Introduction à la logique propositionnelle et à la logique du premier ordre
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. French language. 10.16x6.85x0.79 inches. In Stock. Codice articolo zk2729872299
Quantità: 1 disponibili
Foto dell'editore
INFORMATIQUE TH ORIQUE - Logique et d monstration automatique - Introduction la logique propositionnelle et la logique du premier ordre (Niveau A) (Technosup) (French Edition)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
paperback. Condizione: New. New. book. Codice articolo ERICA82927298722996
Quantità: 1 disponibili