Contacto
Cómo comprar
Entrega
Guía de compras
Logique formelle
Francés
119 b
Nuevo
Hasta 30 días para devoluciones
Pourquoi certains raisonnements sont-ils nécessaires, tandis que d'autres semblent plausibles sans être valides ? Ce livre propose une introduction à la logique formelle, de la logique propositionnelle et des prédicats à la logique modale et aux logiques non classiques. Le lecteur découvre les notions essentielles, les formes normales, la résolution et le raisonnement automatique. Une attention est accordée aux théorèmes d'incomplétude de Gödel, qui montrent les limites des systèmes formels. L'ouvrage aborde aussi la logique floue, la logique par défaut et la programmation par ensembles de réponses. Avec exercices, il s'adresse aux étudiants et enseignants pour comprendre le raisonnement ...
Sobre el libro
Francés
Categorías
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario¡Hola! Soy Libroamiko, tu asesor de libros.
¿Cómo puedo ayudarte?