Tipais grįstas programavimaskatiniukas

Type-driven Development

Įdomumas0.0
Krūvis0.0
Aktualumas0.0
Dėstymas0.0
Atmosfera0.0

Kurso informacija

Kreditai
5
Krūvis (valandomis)
64
Atsiskaitymo forma
egz.
Vykdymo būdas
kontaktinis
Vietų skaičius
15
Semestras
Pavasaris

Dėstytojas ir fakultetas

Dėstytojas
Dr. K. Petrauskas
Fakultetas
Matematikos ir informatikos fakultetas
Dalykų blokas
Studijų programos siūlomi individualieji dalykai

Aprašymas

Dalyką siūlo Programų sistemų studijų programa. Supažindinti studentus su išvystytomis programavimo kalbų tipų sistemomis, išnagrinėti jų taikymą programų sistemų inžinerijos uždaviniams spręsti, analizuoti susijusius teorinius pagrindus, ugdyti tipais grįsto programavimo ir verifikavimo įgūdžius.

Studijų programos

  • Programų sistemos [6121BX006], bakalauro, nuolatinė, 4 m., 2023 p.m.
  • Programų sistemos [6121BX006], bakalauro, nuolatinė, 4 m., 2024 p.m.

Reikalavimai

Funkcinis programavimas

Komentarai

(0)

Komentarų dar nėra. Būkite pirmas, pasidalinkite savo mintimis!