Teoria Modelelor

QUICK INFO: CU 3h / SE 0h / LAB 0h / EXAMEN SCRIS / 7.5 CREDITE

METODA DE EVALUARE

• 30%: Prezentarea unui referat, pe o temă aleasă, în timpul orelor de seminar (un referat valoreaza 3 puncte (din 10), teoretic se pot prezenta mai multe referate de-a lungul semestrului, fiecare pentru acelasi punctaj). Un subiect serios finalizat cu cercetare te poate scuti de examen.
• 70%: examen scris cu orice material pe banca, la biblioteca sau cafenea, sau poate cu subiecte date seara si lucrarea predata a doua zi. Domnul profesor e deschis la sugestii.

Structura referat:

• titlu
• nume alcatuitor
• surse
• formularea problemei
• notiuni si rezultate folosite
• enuntarea teoremelor
• demonstratia sau schita demonstratiei

BIBLIOGRAFIE

1. C.C. Chang, H.J. Keislev, Model Theory, North-Holland, (biblioteca sau secțiunea Files)
2. S. Burris, H. P. Sankappanavar, A course in universal algebra
3. D. Marker, Model theory: an introduction, Springer 2002
4. Ph. Rothmaler, Introduction to model theory, 2000(biblioteca)
5. W. Wiess, C.D'. Mello, Fundamentals of model theory
6. D. Busneag, Categories of algebraic logic, Ed. Academiei (biblioteca sau http://inf.ucv.ro/~busneag/books/Acadtot-1.pdf )
7. D. Piciu, Algebras of fuzzy logic, Ed Universitaria 2007 (biblioteca)
8. G. Gratzer General lattice theory( http://www.scribd.com/doc/53706531/General-Lattice-Theory-George-Gratzer sau secțiunea Files)

O parte din materiale le-am uploadat, dar altele, domnul profesor m-a rugat sa nu le postez pe internet. Cei care le doresc pot sa imi trimita un email la adresa moc.oohay|1082ugaenitsirc#moc.oohay|1082ugaenitsirc . Carti nepostate: Cartea de logica 2010; D. Marker, Model theory: an introduction;