in Romanian

LOGICA Cod : CS1103   Semestrul : 1   Credite : 5   Tip : obligatoriu Titular: Cristian Masalagiu Asistenţi: Cosmin Vârlan Vasile Alaiba Marius Barat Ore/sapt: Curs: 2 Seminar: 2 Structura semestrului: conform sitului facultăţii Evaluare Nota finală se obţine în urma acumulării unui număr de puncte (maxim 100) şi în urma aplicării unui algoritm de tip Gauss (conform regulamentului în vigoare, disponibil pe pagina Facultăţii) Cele 100 de puncte se pot obţine în urma activităţii din timpul semestrului: 40p pentru rezolvarea de exerciţii (ieşiri la tablă) şi participarea la lucrări (neanunţate) 60p (30p + 30p) pentru lucrările anunţate din săptămânile 8 şi 16 Promovarea este asigurată de un minim de 30 de puncte. Punctele trebuie să fie obţinute din ambele activităţi menţionate anterior. Observaţie: Studenţii din anii mai mari care nu au promovat, se supun regulamentului de faţă (punctele acumulate în anii precedenţi se anulează). La reexaminări (restanţe + măriri, ultima săptămână înainte de începerea semestrului II) se pot reface doar lucrările anunţate. Punctajele studenţilor vor fi contabilizate doar la grupa la care au fost repartizaţi de secretariat.

Descriere şi obiective Acest curs are drept scop principal însuşirea de către studenţi a conceptelor şi rezultatelor de bază privind utilizarea LOGICII în INFORMATICĂ. In timp, LOGICA s-a transformat dintr-o disciplina pur teoretica intr-una cu deosebite aplicatii practice. Aria de aplicabilitate se intinde de la conceperea porturilor de baza in proiectarea cip-urilor la specificarea si verificarea comportarii mecanismelor reale complexe (sistemele de dirijare a rachetelor, modelarea sistemelor biologice, etc.). Demonstratoarele automate, robotii de orice natura (soft, hard, mecanici), limbajele de programare specifice, reprezinta doar citeva dintre consecintele utilizarii LOGICII in scopuri pur practice. Atuurile utilizarii acestui "limbaj virtual" il constituie atit simplitatea constructiilor (posibil chiar apropiate de limbajul natural) cit si fundamentarea teoretica precisa (prin care se evita numeroase greseli de interpretare si implementare). Capitolele tematice Logica în Informatică (introducere, motivaţie) Algebre booleene (spaţii semantice) Logica propoziţională Logica cu predicate de ordinul I Introducere în Sisteme deductive şi teorii logice Introducere în Programarea logică Conceptul de verificare Cursuri anterioare necesare Nici unul, dar este un avantaj pentru cei care au urmat un curs de "Logica filozofică" în Liceu. Bibliografie selectivă Masalagiu, C. - Fundamentele logice ale Informaticii , Ed. Universitatii "Al. I. Cuza", Iasi, 2004, ISBN 973-703-015-X. Masalagiu, C. - Introducere în programarea logica si limbajele de programare logica , Ed. Universitatii "Al. I. Cuza", Iasi, 1996. Cazacu, C., Slabu, V. - Logica matematica , Editura Stefan Lupascu, Iasi, 1999, ISBN 973-99044-0-8. http://onelook.com/ http://www.cs.umb.edu/ http://www.earlham.edu/~peters/courses/logsys/glossary.htm http://en.wikipedia.org/wiki/Logic http://en.wikibooks.org/wiki/Logic_for_Computer_Scientists http://profs.info.uaic.ro/~vcosmin/WikiLogica Cursuri ulterioare Acestea sunt doar opţionale, destinate studenţilor care după primul an doresc să aprofundeze subiectele menţionate: Programare logică, anul II, semestrul II Specificarea şi verificarea sistemelor reale (la Master). Bibliografie de bază* Cuprins Capitolul 1 Capitolul 2 Capitolul 3 Capitolul 4 Capitolul 5 Anexa 1 Bibliografie Slide-uri curs Probleme seminar (1-3) Probleme seminar (4-7) Probleme seminar (8-14) * Resursele bibliografice pot fi descărcate numai din laboratoarele Facultăţii de Informatică