DALYKO SANDO KODAS | DALYKO PAVADINIMAS | KREDITŲ SKAIČIUS | |
---|---|---|---|
KSPS7124 | Simbolinio programavimo sistemos |
2 |
|
Paskirtis: 7-Magistrantūros
dalykai Eilės numeris: 1 Pasirinkimo tipas: 2-Pasirenkamasis dalykas Mokslo sritis: 4-Matematikos mokslų (fizinių mokslų) |
|||
DALYKŲ SANDŲ, KURIE TURĖJO BŪTI STUDIJUOTI ANKSČIAU, KODAI: | |||
INFO2114 | |||
STUDIJOS | STUDIJŲ BŪDAS | TRUKMĖ (akad.val.) | ATSISKAITYMO FORMA |
Teorinės | Paskaitos | 16 | Egzaminas (Žodžiu) |
Praktinės | Pratybos | 32 | |
DĖSTYTOJO, SKAITANČIO PASKAITAS | |||
Pedagoginis vardas | Vardas, pavardė | Fakultetas | Katedra |
Docentas | Vladas Tumasonis | Matematikos ir informatikos | Informatikos katedra |
KAM DĖSTOMAS DALYKAS ? | |||
Fakultetas : Matematikos ir informatikos Forma : Dieninė Programa : Informatika Kursas : 1 Semestras : 1 | |||
DALYKO SANDO TURINIO ANOTACIJA | |||
Programavimo kalba LISP. Pagrindinės sąvokos.
Atomas, sąrašas, bazinės funkcijos, sąlyginiai reiškiniai.
Programinės funkcijos. Metakalba ir "tikroji"
kalba. LAMBDA reiškiniai. Funkcija EVAL.
Interpretatorius. Šiukšlių rinktuvas. Simbolinio programavimo sistemos. Trumpa apžvalga. Sistema REDUCE. Jos realizavimo idėja. Sudėtinės dalys. Kalba RLISP. Sistemos darbo seanso sukūrimas. Dialoginis darbo režimas. Pagrindiniai sakiniai. Procedūrų aprašai. Kompiuterinės algebros algoritmų apžvalga (simbolinis diferencijavimas, integravimas, faktorizavimas, lygčių sprendimas, Koši uždavinio sprendimas, kai kurių diflygčių sprendimas ir pan.). Sistema MAPLE. Apžvalga. Lyginamoji analizė. |
|||
PAGRINDINĖS LITERATŪROS SĄRAŠAS | EGZ. SK. FAKULTETO BIBLIOTEKOJE | ||
Hearn A.C. Reduce - 2 Users Manual, UCP - 19, 1983. | 0 |