05. Logica Matematica

La logica matematica è il settore della matematica che studia come "trasformare" in un linguaggio formale (cioè matematico)  i concetti intuitivi fatti nei ragionamenti finalizzati a trovare la soluzione di un problema o una dimostrazione.

Essa si occupa delle parti della logica che possono essere modellate matematicamente.

Le basi di questa branca della matematica furono poste dal matematico e logico inglese George Boole (1815-1864) e il sistema algebrico su cui si basa è detto algebra booleana.

Sito:  7ecnologie

Sezione: 05. Logica Matematica

Indice delle sezioni: 01. Problem Solving - 02. Office automation - 03. Sistemi - 04. Numerazione posizionale - 05. Logica Matematica - 06. Diagrammi di flusso - 07. Scratch - 08. C language - 09. Python - 10. Algoritmi e strutture dati - 11. Base di dati - 12. SQL - 13. Reti - 14. Sicurezza informatica - 15. Blockchain e Bitcoin - 16. Calcolo numerico - 17. Robotica e domotica - 18. HTML & CSS - 19. Tecnologie e società

Indice dei capitoli: 00. Risorse - 01. Proposizioni logiche - 02. Tavola di verità - 03. Connettivi logici - 04. Implicazione inversa e contronominale - 05. Tautologia - 06. Leggi di De Morgan - 07. Proprietà distributiva - 08. Caso di studio - 09. Tutorial - 98. Esercizi