Contact
Cum să cumpăr
Livrare
Consilier de cumpărături
Logique formelle
Logique propositionnelle, logique des prédicats, logique modale et logiques non classiques.DE
franceză
99 b
Nou
Până la 30 de zile pentru returnare
Pourquoi certaines conclusions s'imposent-elles avec nécessité, tandis que d'autres raisonnements semblent plausibles sans être valides ? Ce livre propose une introduction claire et rigoureuse à la logique formelle, de la logique propositionnelle et de la logique des prédicats à la logique modale et aux logiques non classiques. Le lecteur y découvre les notions essentielles, les formes normales, la résolution, le raisonnement automatique et les théorèmes d'incomplétude de Gödel. Un ouvrage pour mieux penser, mieux démontrer et mieux comprendre les fondements des mathématiques et de l'informatique.
Informații despre carte
franceză
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinataruluiBună ziua! Sunt Libroamiko, consilierul dumneavoastră de cărți.
Cu ce vă pot ajuta?