Logica e introduzione alla programmazione logica
- Editore:
Pàtron
- Data di Pubblicazione:
- 1989
- EAN:
9788855520737
- ISBN:
8855520733
- Pagine:
- 130
Descrizione Logica e introduzione alla programmazione logica
Versione con disco MS/DOS.
- Esprimersi a valutare. Connettivi a tavole di verità
- sintassi e semantica proposizionale. Tautologie e contraddizioni
- trasformare formule in formule equivalenti
- la deduzione logica. Il sistema naturale
- la deduzione logica. Il sistema risoluzione-refutazione
- il calcolo predicativo.