Cursuri Logica Computationala

Click pentru a vedea toate cursurile

Download Cursuri Logica Computationala

Ce 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ţii

1. 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ţiilor

1. 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 logice

Capitolul 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 II

Capitolul 5. : Logica predicatelor

1. Cuantificatorii predicatului
2. Operaţii cu predicate
3. Formule predicative
4. Deductibilitate. Decidabilitate.


 
Cursuri Logica Computationala




Daca ti-a placut acest articol nu uita sa te abonezi la feedul RSS!

Tags:
0 Comentarii

Lasă un răspuns

Adresa ta de email nu va fi publicată. Câmpurile obligatorii sunt marcate cu *

*