Colecția conține sarcini și exerciții pe toate secțiunile tradiționale ale cursului de logică matematică și teoria algoritmilor. În fiecare paragraf sunt prezentate în detaliu diferite exemple tipice și sunt prezentate numeroase probleme cu un nivel diferit de complexitate pentru soluția independentă.
Colecția conține paisprezece paragrafe din capitolul 5.
Operațiile logice ale lui Boole.
Forme de reprezentare a operațiilor booleene.
Metode de probă în logica lui Boole.
Sarcini pentru lucrul practic pe logica afirmațiilor.
Introducere în logica pronunțărilor.
Construirea dovezilor în logica afirmațiilor.
Metoda axiomatică.
Tabele de adevăr.
Metoda lui Wong.
Metoda.
Tematica manualului:
1. Algebra propozițiilor.
2. Calculul pronunțărilor tipului IP Gentsen.
3. Calculul pronunțărilor tipului IV Hilbert.
4. Valabilitatea generală a formulelor.
5. Programe logice.
Răspunsuri pe teme pentru 1 semestru de logică matematică.
Răspunsurile la biletele de examen din logica matematică sunt doar 24 de întrebări.
Întrebări după subiecte:
1) Logica cu două valori, funcții booleene, până la
24) Seturi și operații pe ele.
Cursuri pe logica matematică. Concepte de bază cu exemple.
Teoria algoritmilor, funcțiile booleene, calculul logic, predicatele și cuantificatorii