Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Logique formelle

Name: Logique formelle
Brand: epubli
SKU: 52759881
Price: 38.75 EUR
Availability: InStock
Author: Lucien Sina
ISBN: 9783565469031

Logique propositionnelle, logique des prédicats, logique modale et logiques non classiques.DE

Lucien Sina

Língua

Francês

Livro Capa mole

Código Libristo: 52759881

Editoras epubli, junho 2026

Pourquoi certaines conclusions s'imposent-elles avec nécessité, tandis que d'autres raisonnements se... Descrição completa

Código Libristo: 52759881

94 b

Novo

38.75 €

Sob encomenda da editora Envio em 17-27 dias

Até 30 dias para devoluções

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.