Click pentru a vedea toate cursurile
Download Cursuri Logica Computationala
Tags: Cursuri facultate informatica IT logica computationala matematica prolog Vanzare PCCe contin cursurile?
Capitolul 1. : Noţiuni introductive de teoria mulţimilor
1. Relaţii intre mulţimi
2. Operaţii cu mulţimi
3. Paradoxurile teoriei mulţimilor
4. Latice şi algebre Boole
5. Alte operaţii cu mulţimi
6. Diferenţa şi diferenţa simetrică
7. Funcţia lui Sheffer
Capitolul 2. : Relaţii1. Definiţia relaţiilor
2. Proprietăţile relaţiilor
3. Partiţia unei mulţimi
4. Relaţii de ordine
5. Produsul relaţiilor
6. Aplicaţii
7. Produsul aplicaţiilor
Capitolul 3. : Logica propoziţiilor1. Principiile din logica matematică
2. Formarea propoziţiilor
3. Valoarea propoziţiilor
4. Scheme de construire a unor propoziţii din alte propoziţii
5. Construirea mulţimii propoziţiilor
6. Ierarhizarea functorilor logici
7. Formule propoziţionale
8. Scheme cu contacte
9. Funcţia de lucru a unui dipol cu contacte
10. Prima problemă de analiză
11. Inferenţe logiceCapitolul 4. : Forme normale
1. Problema deciziei I
2. Forma normală conjunctivă
3. Forma normală disjunctivă
4. Algoritm de aducere a unei funcţii logice la forma normală
5. Forme normale perfecte
6. Algoritm de aducere a unei funcţii logice la formă normală perfectă
7. Problema deciziei IICapitolul 5. : Logica predicatelor
1. Cuantificatorii predicatului
2. Operaţii cu predicate
3. Formule predicative
4. Deductibilitate. Decidabilitate.
