Ministerul Educaţiei Naţionale Universitatea “Lucian Blaga” din Sibiu Facultatea de Ştiinţe
FIŞA DISCIPLINEI Course title/ Titlul cursului: Course code/ Codul cursului:
38060210 Name of lecturer/ Numele profesorului: Department/ Departament (ce coordonează disciplina): Lecture/Curs 28
Logică computaţională Type of course/ Tipul cursului: Obligatoriu
Level of course/ Nivelul cursului: Studii de licență
Year of study/ An de studiu:
Semester/ Semestru:
Number of credits/ Nr. credite:
1
2
5
Titular curs/seminar/laborator/proiect: Conf. univ.dr. Ioan POP/asist. dr. Ionela Maniu
DEPARTAMENTUL DE MATEMATICĂ SI INFORMATICĂ
Seminar
Type of activities / Denumirea activităţii 1. Studierea notiţelor de curs 2. Studiul după suport de curs 3. Studierea bibliografiei minimale 4. Documentare suplimentară (internet, bibliotecă ş.a.)
Extinderea disciplinei în planul de învăţământ Lab/Laborator Project/Proiect Total (NOADsem) 28 56 Bugetul de timp pentru studiu individual Hours/Nr. Ore Type of activities / Denumirea Hours/Nr. Ore activităţii 5. Pregătirea 10 9 seminariilor/laboratoarelor 6. Elaborarea referatelor, 10 8 temelor individuale 7. Pregătirea pentru evaluările 10 13 periodice 5
8. Participarea la consultaţii Total ore alocate studiului individual NOSIsem
Objectives of the course/ Obiectivele cursului:
Cursul 1 Cursul 2 Cursul 3 Cursul 4 Cursul 5 Cursul
Adresa: Str. Ion Raţiu, nr. 5-7 Sibiu, 550024, România e-mail:
[email protected] web: stiinte.ulbsibiu.ro
84
Se urmăreşte cunoaşterea posibilităţilor de identificare şi folosire a legilor raţionamentului uman. Insuşirea noţiunilor de bază din logica formală. Formalizarea conceptuală pentru: limbajul propoziţional, limbajul predicativ, limbajul relaţional. Prezentarea aplicabilităţii acestor cunoştinţe pentru: demonstrării automate a teoremelor, programarea logică, inteligenţa artificială.
Prerequisites/ Discipline precursoare obligatorii:
Course contents/ Conţinutul cursului:
14
Obiectul logicii. Logica intuiţionistă şi logica formală. Sisteme formale. Semantică şi sintaxă. Judecăţi şi propoziţii. Clasificare. Opoziţia şi conversia judecăţilor. Principiile logicii. Silogistica. Silogismele ipotetice. Modus ponens şi modus tollens. Logica propozitiilor bivalente. Simboluri şi formule. Funcţie de adevăr. Minimizarea funcţiilor logice. Valori de adevar si deductie logică. Elemente de logică polivalentă. Algebra Lukasiewicz-Moisil. Logici n-valente. Sistemul deductiv al calculului propoziţiilor. Demonstraţie şi deducţie. Teorema deducţiei. Inducţie şi recurenţă. Arbori de deducţie. Teorii formalizate. Tel: +40 (269) 216 642 Fax: +40 (269) 216 617
Ministerul Educaţiei Naţionale Universitatea “Lucian Blaga” din Sibiu Facultatea de Ştiinţe
6 Cursul 7 Cursul 8 Cursul 9 Cursul 10 Cursul 11 Cursul 12 Cursul 13 Cursul 14
Limbajul logicii propoziţiilor (LP) Tabele de adevar. Forme normale. Tablouri semantice. Problema deciziei. Elemente de logica predicatelor. Variabile, cuantificatori, formule si transformarea lor. Bazele axiomatice ale logicii propozitiilor Limbajul logicii predicatelor (LPr) Forme normale. Tablouri semantice. Notatii in programarea logica. Interpretari. Programarea logică. Generarea răspunsurilor. Strategii de evaluare. Limbajul PROLOG. Reprezentări ale structurilor de date. Aplicaţii ale listelor. Arbori binari de căutare. Evaluarea expresiilor.
Seminarizarea limbajului logicii propoziţiilor Cursul 1 Metode de determinare a unei teorii formalizate Cursul 2 Lucrul cu toolbox-ul Visual-prolog v.7.2 Cursul 3 Fapte, reguli în Visual-prolog Cursul 4 Predicate în Prolog. Construirea teoriilor. Cursul 5 Lucrul cu structuri în Prolog. Cursul 6 Lucrul cu structuri complexe în Prolog. Cursul Lab/Seminary contents/ 7 Conţinutul Motorul de inferenţă Prolog. Cursul laboratorului/seminarului: 8 Interogări în Prolog. Cursul 9 Programarea simplă în Prolog Cursul 10 Programarea unei baze de cunoştinţe în Prolog Cursul 11 Cursul Programarea orientată obiect cu Visual-prolog. 12 Cursul Crearea unui proiect cu Visual-prolog. 13 Cursul Finalizarea unui proiect 14 Teaching methods/ Language of instruction/ Metode de predare: expunerea, explicatia, exemplificarea si conversatia Limba de predare: Româna frontala. Activităţi aplicative - 30 % 1. Teme de curs/pondere= 10 %(nCPC) Assesment methods/ 2. Referate de disciplină= 10 %(nCPC) Sisteme de evaluare: 3. Lucrări practice= 10 %(CPC) Proiect - 20 % CPE (CPE – condiţionează participarea la
Adresa: Str. Ion Raţiu, nr. 5-7 Sibiu, 550024, România e-mail:
[email protected] web: stiinte.ulbsibiu.ro
Tel: +40 (269) 216 642 Fax: +40 (269) 216 617
Ministerul Educaţiei Naţionale Universitatea “Lucian Blaga” din Sibiu Facultatea de Ştiinţe
Examen parţial -
%
Examen de semestru - 50 %
examen) (nCPE – nu condiţionează participarea la examen) (condiţionează evaluarea finală)
Competenţe specifice disciplinei Competenţe privind cunoaşterea şi Cunoaşterea şi utilizarea adecvată a noţiunilor specifice LC înţelegerea Capacitatea de a realiza descrieri formale 2. Competenţe în domeniul explicării şi Capacitatea de a crea predicate logice. interpretării Capacitatea de a înţelege tehnicile de lucru pentru a descrie teorii formalizate. Capacitatea de a realiza programe cu limbajul Prolog. 3. Competenţe instrumental - aplicative Capacitatea de a crea aplicaţii cu interogări inferenţiale. Capacitatea de a construi un proiect în Prolog. Dezvoltarea atitudinii pozitive faţă de muncă şi responsabilitate 4. Competenţe atitudinale pentru propria pregătire profesională Competenţele generale sunt menţionate în Fişa specializării 1. Ioan Pop, Logica formala si elemente de programare functionala, ed. Alma Recommended Mater, 2003; reading/ 2. Ioan Pop, Logica Computaţională, 2013 – curs în format electronic. Referinţe bibliografice 3. ***, Mediul de dezvoltare Visual-Prolog. recomandate (max. 10): 1.
More references/ Referinţe bibliografice suplimentare:
4.
G. Metakides, Principii de logica si programare logica, ed. Tehnica, 1996;
Regulamentul disciplinei Data elaborării: 05.10.2013 Titulari disciplină: Conf. Dr. Ioan Pop
Adresa: Str. Ion Raţiu, nr. 5-7 Sibiu, 550024, România e-mail:
[email protected] web: stiinte.ulbsibiu.ro
Tel: +40 (269) 216 642 Fax: +40 (269) 216 617
