Nyelvek Típusrendszere

Az ELTE IK Programtervező Informatikus MSc képzésén található Nyelvek Típusrendszere (Lambda Kalkulus) nevű tantárgy jegyzetei. 1. Vizsga Az első Nyelvek Típusrendszere…


Lájk2 Hozzászólás2 Perc

Ismeretalapú Modellezés

Az ELTE IK Programtervező Informatikus MSc képzésén található Ismeretalapú Modellezés nevű tantárgy jegyzetei. Összefoglaló Egy névtelen jóakarótok kigyűjtötte a lényeget az…


Lájk0 Hozzászólás1 Perc

Szintézis és Verifikáció

Az ELTE IK Programtervező Informatikus MSc képzésén található Szintézis és Verifikáció nevű tantárgy jegyzetei. A Dr. Gregorics Tibor által tartott előadások tőle származó órai…


Lájk0 Hozzászólás1 Perc

Számítógépes Grafika Matematikai Alapjai

Az ELTE IK Programtervező Informatikus MSc képzésén található Számítógépes Grafika Matematikai Alapjai nevű tantárgy jegyzetei. Az órán kézzel készült jegyzeteket ebbe a listába…


Lájk0 Hozzászólás1 Perc

Osztott Rendszerek Analízise

Az ELTE IK Programtervező Informatikus MSc képzésén található Osztott Rendszerek Analízise nevű tantárgy jegyzetei. Ealőadás Ebbe a listába töltöm fel az előadáson készült kézzel…


Lájk0 Hozzászólás1 Perc

Projekt- és Vállalatirányítás az Informatikában

Az ELTE IK Programtervező Informatikus MSc képzésén található Projekt- és Vállalatirányítás az Informatikában nevű tantárgy jegyzetei. Az első óra jegyzete, amelyben…


Lájk0 Hozzászólás1 Perc

Modellek és Formális Eszközök

Az ELTE IK Programtervező Informatikus MSc képzésén található Modellek és Formális Eszközök nevű tantárgy jegyzetei. Kidolgozott tételsor A 15 szóbeli tétel (ahogy látom,…


Lájk0 Hozzászólás1 Perc

Tervezés és Elemzés Elmélete

Az ELTE IK Programtervező Informatikus MSc képzésén található Tervezés és Elemzés Elmélete nevű tantárgy jegyzetei. Vizsgakérdések 1. vizsga Csövek és szűrők előnyei és hátrányai…


Lájk0 Hozzászólás1 Perc