in Romanian

LOGICA Cod : CS1103   Semestrul : 1   Credite : 5   Tip : obligatoriu Titular: Cristian Masalagiu Asistenţi: Virlan Nicolae-Cosmin Oana Prisecaru Ore/sapt: Curs: 2, Seminar: 2 Evaluare Nota finală se obţine în urma acumulării unui număr de puncte (maxim 120) şi în urma aplicării unui algoritm de tip Gauss (conform regulamentului în vigoare). Cele 120 de puncte se pot obţine în urma activităţii din timpul semestrului: 60p pentru rezolvarea de exerciţii (ieşiri la tablă) şi participarea la lucrări (neanunţate) 60p (30p + 30p) pentru lucrările din săptămânile 7 şi 14 pentru informaţii suplimentare se va consulta fişa disciplinei Promovarea este asigurată de un minim de 40 de puncte. 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) se pot reface doar lucrările din săptămânile 7 şi 14.

Descriere si Obiective Acest curs are drept scop principal insusirea de catre studenti a conceptelor si rezultatelor de baza privind utilizarea LOGICII in INFORMATICA. 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 , Editura 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 Cursuri ulterioare Acestea sunt doar Opţionale, prin urmare sunt destinate celor care dupa primul an nu vor fi neplăcut impresionaţi (de conţinut, de profesori, de perspective): Programare logică, anul II, semestrul II Capitole speciale de logică, Master Sisteme Distribuite (MSD) Noutăţi Slide-uri Bibliografie de bază Cuprins Capitolul 1 Capitolul 2 Capitolul 3 Capitolul 4 Capitolul 5 Anexa 1 Bibliografie