Documente Academic
Documente Profesional
Documente Cultură
CURRICULUM
la disciplina
LOGICA
Ciclul I, licen
Specialitile: 526.2 Tehnologii informaionale
AUTOR:
Gheorghe Cpn
profesor universitar, dr. ing.
CHIINU 2014
APROBAT
Directorul Departamentului,
PRELIMINARII
Logica
Gheorghe
Cpn
120
Total ore
inclusiv
C
30
15
LI
75
crediteNr. de
U03O023
Responsabil
de disciplin
Evaluarea
Denumirea
disciplinei
Total
Codul
disciplinei
din planul
de studii
ADMINISTRAREA DISCIPLINEI
Semestrul
I.
Examen
C - curs
S - seminarii
L - laborator
LI - lucrul individual
Denumirea temei
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
Ore
Curs Seminar Individual
2
1
5
2
5
1
2
5
1
2
2
2
2
2
2
2
1
1
1
1
1
1
1
5
5
5
5
5
5
5
5
1
2
5
1
2
2
2
30
1
1
1
15
5
5
5
75
III. COMPETENE
Competene specifice
demonstreaz cunoaterea metodelor logice de studiere a informaticii i a domeniilor de
aplicare a informaticii
utilizeaz metodele logice la elaborarea i implementarea produselor program performante
demonstreaz capaciti de comunicare i transmitere a cunotinelor acumulate n
domeniul logicii
demonstreaz autonomie n nvarea i s aplicarea metodologiei cercetrii tiinifice n
domeniul informaticii
identific problemele de cercetare n domeniul logicii sistemelor informaionale.
Competene generale
cunoate esena metodelor logice n soluionarea problemelor cu caracter teoretic i practic;
cunoate logica tehnologiile informaionale convenionale i inteligente;
pronostic evoluia tehnicii de calcul i a informaticii, n contextul realizrilor moderne de
ordin tehnico-tiinific precum i sub presiunea problemelor de ordin practic din economie,
sociologie, jurispruden etc.
evalueaz perspectivele implementrii SSI n soluionarea problemelor cu caracter
tiinific, social, cultural etc.
eficientizeaz activiti profesionale prin implementarea metodelor logice n cercetrile de
profil
adapteaz logica la situaiile activitii practice.
La nivel de aplicare:
La nivel de integrare:
inteligena
artificial forte
s aprecieze impactul curentelor filosofice
camera chinez
diluat asupra evoluiei informaticii i gndirii
umane
s cunoasc cele cinci tipuri de neuroni i Tema 5. Noiune despre programarea
principiul de funcionare a neuronilor
logic
s cunoasc alfabetul i operaiile logice ale principiul de funcionare a neuronului
calculatorului electronic
alfabetul i operaiile logice fundamentale ale
sa reproduc raonamentele unor exemple simple
calculatorului electronic
de programare logic
fapte i reguli n Prolog
polimorfismul n Prolog
s cunoasc definiia conceptelor date, Tema 6. Sisteme informatice
informaii, cunotine, sistem informatic
date
s poat integra cunotinele temei la realizarea
informaii
sistemelor informatice i n managementul
cunotine
proiectelor
sisteme informatice
s cunoasc legea lui Moore
Tema 7. Legea lui Moore. Performane ale
sa cunoasc performantele n domeniul
inteligenei artificiale
inteligenei artifiale:
legea lui Moore
sistemul SONARES,
performante n performantele n domeniul
dicionarul morfologic al limbii romane
inteligenei artifiale:
P-sistemele
sistemul SONARES
sistemul de e-learning orientat pe familii de
dicionarul morfologic al limbii romane
probleme
P-sistemele
sistemul suport inteligent pentru rezolvarea
sistemul de e-Learning orientat pe familii
aproximativ a ecuaiilor integrale
de probleme
s aplice cunotinele temei la elaborarea unor
sistemul suport inteligent pentru rezolvarea
produse software performante
aproximativ a ecuaiilor integrale
s cunoasc termenii referitori la prezentarea
Tema 8. Prezentarea cunoaterii prin
cunoaterii prin reele semantice
s aplice sistemele logice la elaborarea produselor reele semantice
software inteligente
s cunoasc termenii: teorie, teorie formalizat Tema 9. Teorii i sisteme formale
forte,
teorie
formalizat
diluat,
teorie definiia conceptului teorie
nonformalizat,
teorie
complet,
teorie definiia conceptului sistem formal
noncontradictorie, sistem formal
s aplice conceptele temei la elaborarea
produselor software inteligente
s cunoasc formularea teoremei Gdel
Tema 10. Teorema Gdel referitoare la
Strategii de realizare
Elaborarea referatelor:
Coninutului referatelor.
1. Homologia tiina despre om
Rezumatele referatelor.
2. Logica uman i cea artificial
Bibliografia la temele referatelor.
3. Logica calculatoarelor electronice
4. Logica nuanat
5. Logica algoritmilor genetici
6. Logica sistemelor expert
7. Logica reelelor neuronale artificiale
8. Performane ale sistemelor de inteligen artificial
9. Logica predicatelor
10. Logica limbajului PROLOG
11. Sistemul de inteligen artificial NASA CLIPS
12. Logica DATA MINING
13. Logica P Sistemelor
14. Aspecte filosofice n Revista Curtea de la Arge
15. Logica propoziiilor
16. Sisteme axiomatic
17. Prezentarea cunoaterii prin cadre i scenarii
18. Prezentarea cunoaterii prin reele semantice
19. Logica roboilor
20. Performane ale roboticii
21. Teorii i sisteme formale
22. Teorema lui Gdel i impactul ei asupra progresului tehnicotiinific
23. Modelarea matematic i realitatea obiectiv
24. Monografia: Sharden Fenomenul OM
25. Monografia: .
http://www.evolbiol.ru/sagan.htm
26. Sistemul SONARES
27. Sistemul expert MYSIN
28. Sistemul expert PROSPECTOR
29. Logica sistemului de inteligen artificial Dicionarul
Criterii de evaluare
Profunzimea
studiului.
Diversitatea surselor
bibliografice utilizate
Analiza critic a
rezultatelor prezentate.
Volumul.
Identificarea
posibilitilor de aplicare a
rezultatelor.
Termen de
realizare
Cu cel puin dou
sptmni nainte
de examen.
30.
31.
32.
33.
34.
35.
36.
37.
38.
39.
40.
41.
42.
43.
44.
45.
46.
47.
48.
49.
50.
51.
52.
53.
54.
55.
56.
57.
58.
59.
60.
61.
62.
63.
64.
65.
66.
Cercetarea i descrierea
posibilitilor sistemului MS
PowerPoint.
Proiectarea prezentrii.
Realizarea aspectele statice i
dinamice a prezentrii.
Crearea prezentrii pentru referatul
elaborat.
Elaborarea structurii logice a
coninutului referatului.
Alctuirea rezumatului referatului.
Structura logic a
prezentrii.
Calitatea cadrelor
prezentrii.
Calitatea vizualizrii
cadrelor prezentrii.
Calitatea rulrii
cadrelor prezentrii.
Raportul dintre
numrul de cadre statice i
dinamice.
Actualitatea temei de
cercetat.
Nivelul inovaional al
rezultatului.
Pn la nceputul
conferinei
tiinifice.
Portofoliu
10
Nivelul calitativ al
rezultatelor.
Relevana concluziilor.
Calitatea structurilor
rapoartelor.
Concordana dintre
obiective i coninut.
Utilitatea/actualitatea
materialelor acumulate.
Volumul.
Forma de prezentare.
Pn la nceputul
sesiunii de
examinare
(25 p.)
(25 p.)
(25 p.)
(25 p.)
Baremul de notare
Punctaj
Nota
0-10
1
11-20
21-30
31-40
41-50
51-60
61-72
73-84
85-95
96-100
10
6.
Bibliografie
52. http://www.tora-centre.ru/library/fuzzy/fuzzy-.htm
53. http://www.umsl.edu/~sauter/DSS/creativitymachine_12504.html
54. Ishiguro, H., Ono, T., Imai, M., Maeda, T., Kanda, T., and Nakatsu, R., Robovie: an interactive
humanoid robot", Int. J. Industrial Robot, Vol. 28, No. 6, pp. 498-503, 2001.
55. Jean Carper. Cum s-i pstrezi sntatea creierului. Curtea Veche, Bucureti, 2004.
56. Kurt Gdel (1931), "ber formal unentscheidbare Stze der Principia Mathematica und
verwandter Systeme, I." Monatshefte fr Mathematik und Physik 38: 173-98. DOI
10.1007/BF01700692
57. Legea lui MOOORE: http://en.wikipedia.org/wiki/Moore's_law
58. Legea nr. 467-XV din 21.11.2003 cu privire la informatizare i resursele informaionale de stat.
59. Leonard M. Adleman (1994-11-11). "Molecular Computation Of Solutions To Combinatorial
Problems". Science 266 (11): 10211024. doi:10.1126/science.7973651.
60. Margenstern M., Rogozhin Yu. (Editors). Machines, Computations and Universality, Lecture
Notes in Computer Science, Springer, vol. 2055, Third International Conference, MCU
2001, Chisinau, Moldavia, May 23-27, 2001, Proceedings, 2001. - 320 p.
61. Melnic B. Capitalul uman. Chiinu, 2001.
62. Melnic B. Creierul uman computer biologic enigmatic. Chiinu, 2006.
63. Melnic B. Nouti ale tiinei despre om i natur. Chiinu, 1999.
64. Melnic B. Omul n obiectivul tiinei. Chiinu, 1996.
65. Melnic B. Omul. Geneza existenei umane. 1998.
66. Melnic B. Probleme stringente ale tiinei moderne despre om i pentru om. Chiinu, 2002.
67. Melnic B., Cpn Gh., Cojocaru I., Miroliubov T., Sitari A. Conceptul sistemului suport
pentru expertiza proiectelor. n: Studia Universitatis. Seria tiine exacte i economice. Chiinu: CEP USM, 2007, Nr. 8, p. 37-50, ISSN 1857-2073.
68. Melnic B., Crivoi A. Bioritmologia contemporan. Chiinu, 2004.
69. Melnic B., Curea N. Munca - stimulent fiziologic al sntii, dezvoltrii i perfecionrii
omului. Chiinu, 2004.
70. Melnic B., Miroliubov T. Omul . Chiinu, 2006.
71. Miroliubov T. Cu gndul la om, ed. Labirint, Chiinu, 2014.
72. Miroliubov T. Cu privire la studiul complex al omului, revista Univers Om, nr.3, 2009, p. 5258.
73. Miroliubov T. Enigma enigmelor,Chiinu,2004.
74. Miroliubov T., Corlteanu S. Omul: Puterea i politica. Ed. Labirint.
75. Moisil Gr. G. Lecii despre logica raionamentului nuanat. - Bucureti: Editura tiinific i
Enciclopedic, 1975. 179 p.
76. Moore G. E. Progress in digital integrated electronics - 1975.
http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1478174
77. Nanotehnologiile: http://www.asociatia-profesorilor.ro/Nanotehnologiile-notiuniintroductive.html
78. NASA CLIPS: http://www.siliconvalleyone.com/clips.htm
79. Pun G., Rozenberg G., Salomaa A. DNA Computing. New Computing Paradigms. SpringerVerlag, Berlin, Heidelberg, 1998.
80. Pun G., Rozenberg G., Salomaa A. DNA Computing. New Computing Paradigms. SpringerVerlag, Berlin, Heidelberg, 1998. 402 p.
81. Pun Gheorghe. P-sisteme: http://www.imar.ro/~gpaun/
82. Pun, Gheorghe (1998). "Computing with membranes". TUCS Report 208, Turku Center for
Computer Science.
83. Pun, Gheorghe (2001). "P systems with active membranes: attacking NP compete problems".
Automata,
Languages
and
Combinatorics
6
(1):
7590.
http://www.cs.auckland.ac.nz/CDMTCS/researchreports/102paun.pdf. Retrieved 2008-0203.
.
http://www.membrana.ru/articles/technic/2001/12/24/122700.html
118. .
http://www.membrana.ru/articles/technic/2001/12/24/122700.html
119. . ., .., . ., . .
. , , 1996. - 319 .
120. . IT-: ?
http://www.3dnews.ru/editorial/androids_2006
121. : http://www.prorobot.ru/06/robot-sii.php
122. ., .
. , , 1990, 319 .
123.
http://www.vesti.ru/doc.html?id=156880
124. . . , , 1978. - 558 .
125. . . Data Mining: . - .: -
: : , 2006. 382 .
http://www.intuit.ru/lector/118.html