2011/12. 2. félév

Algoritmusok tervezése és elemzése

• Fóliák:
  • Bevezető
  • Matematikai bevezető
  • Operációs és denotációs szemantika
  • Axiomatikus szemantika
  • Parciális Hoare-kalkulus
  • Nemdeterminisztikus programok
• Jegyzetek:
  • Kidolgozott záróvizsga tétel PTI. BSc. szakos hallgatók részére.
  • Kidolgozott vizsgakérdések (nem teljes)
  • Wp-kalkulushoz feladatsor
  • Rekurzió
  • Rekurzióhoz feladatsor
  • Lambda-kalkulus
  • Lamda-kalkulushoz kidolgozott példák

Digitális beszédfeldolgozás

• Az előadás fóliái
• Kidolgozott kérdések