Dalyko sando kodas

KSPS7124

Dalyko sando pavadinimas

Simbolinio programavimo sistemos

Dėstytojo (-jų) pedagoginis vardas, mokslo laipsnis, vardas ir pavardė

Doc. dr. Vladas Tumasonis

Katedra, centras

Informatikos katedra

Fakultetas, padalinys

Matematikos ir informatikos fakultetas

Dalyko sando lygis

antrosios pakopos

Semestras

rudens (1) 

ECTS kreditai

4,5

VU kreditai

3

Auditorinės valandos

viso dalyko 48

Paskaitų 16

seminarų

pratybų 32

laboratorinių darbų,

konsultacijų

Reikalavimai

Turi būti išklausytas Informatikos kursas 

Dėstomoji kalba

lietuvių

Dalyko sando tikslai ir numatomi gebėjimai

Numatoma, kad studentai įgis žinias apie simbolinį (neskaitinį) apdorojimą, susipažins su konkrečia simbolinio apdorojimo sistema, gebės naudotis jomis

Dalyko sando turinys

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.).

Pagrindinės literatūros sąrašas

1.    Hearn A.C. Reduce - 2 Users Manual, UCP - 19, 1993.

Papildomos literatūros sąrašas

Mokymo metodai

Sande numatytas kurso turinys įsisavinamas per paskaitas

Lankomumo reikalavimai

Fakulteto nustatyta tvarka

Atsiskaitymo reikalavimai

Egzaminas.

Egzaminavimo būdas – testas

Vertinimo būdas

Pažymio sudėtis: testas (70%) ir praktikos darbai (30%).

Aprobuota katedros

2004 10 04

Patvirtinta Studijų programos komiteto

2004 11 09