2009/10. 1. félév

Programozáselmélet 1 / Algoritmusok tervezése és elemzése (régieknek és újaknak)

• Fóliák:
  • Az előadás fóliái (1. rész)
  • Az előadás fóliái (2. rész)
  • A Hoare-kalkulus (parciális) fóliái animációval (nem nyomtatható), ill. az animációk utolsó képeivel
  • A Hoare-kalkulus (totális) fóliái
• Vizsgák:
  • Nappali tagozat
    Az eddigi dolgozatok eredménye
  • Esti és levelező tagozat
    Gyakorlati feladatok.
• Jegyzetek:
  • Kidolgozott záróvizsga tétel PTI. BSc. szakos hallgatók részére.
  • Lamda-kalkulushoz kidolgozott példák
  • Kidolgozott vizsgakérdések (nem teljes)
  • Lambda-kalkulus
  • Vegyes anyagok
  • Kidolgozott szigorlati kérdések tanárszakosak számára: teljes, rövidített.

Programozáselmélet 2

• Elmélet
  • Kidolgozott kérdések nappali hallgatók számára

Nyelvek és automaták

• Fóliák:
  • Az előadás 1. fóliája
  • Markov-algoritmus
  • Az előadás 2. fóliája
  • CYK-algoritmus
  • Early-algoritmus
  • Szótávolságok
  • Az előadás 3. fóliája
  • Kidolgozott vizsgakérdések
  • Dolgozatgenerátor

Az informatika iskolai alkalmazásai

• D. E. Knuth: Dancing Links

Digitális beszédfeldolgozás

• A gyakorlat fóliái
• Kidolgozott kérdések
• Kellékek