Logica computationala


Fisa disciplinei

   Departament Home
Programa analitica
  1. Introducere
  2. Logica propozitiilor
  3. Validitate, contingenta, nesatisfiabilitate
  4. Consecinta logica
  5. Echivalente propozitionale
  6. Rationament semantic
  7. Deductia naturala
  8. Logica predicatelor
  9. Reguli de inferenta
  10. Demonstratii – metode si strategii


Prezentari curs (in curs de completare)
Introducere Validitate, contingenta, nesatisfiabilitate
Echivalente propozitionale Deductia naturala
Rationament semantic (cont) Logica predicatelor - sintaxa
Logica predicatelor - semantica Demonstratii in logica predicatelor

Bibliografie

  1. Kenneth H. Rosen, Discrete Mathematics and Its Applications, 6th edition, McGraw-Hill, 2007.

  2. S. Russell, P. Norvig, Artificial Intelligence. A Modern Approach, Prentice Hall, 1995.

  3. P.D. Magnus, forallx. An Introduction to Formal Logic, link.

  4. Patrick J. Hurley, A Concise Introduction to Logic (7th Edition), Wadsworth Publishing, 2000.

  5. Holly P. Hirst, Jerry L. Hirst, A Primer for Logic and Proof, link.
Ultima actualizare: noiembrie 2012