Detail předmětu

Principy programovacích jazyků a OOP

FIT-IPPAk. rok: 2010/2011

Předmět nabízí základní klasifikaci programovacích jazyků s podrobnějším představením imperativních a deklarativních jazyků. V rámci imperativních jazyků budou představeny nestrukturované jazyky, blokově a modulárně strukturované jazyky i objektové paradigma. Úvod do funkcionálních a logických jazyků bude přednesen v rámci deklarativních jazyků. Budou též zmíněny teorie ležící v základu těchto paradigmat. Studenti budou také obeznámeni se způsoby zpracování jednotlivých typů progamovacích jazyků.

Jazyk výuky

čeština

Počet kreditů

5

Garant předmětu

doc. Dr. Ing. Dušan Kolář

Zajišťuje ústav

Ústav informačních systémů (UIFS)

Výsledky učení předmětu

Studenti budou schopni rozlišovat typy a úroveň programovacích jazyků a orientovat se v problematice jak uživatelského zvládnutí daného paradigmatu, tak v problematice analýzy, či překladu daného typu programovacího jazyka.

Prerekvizity

Formální jazyky a jejich modely, gramatiky, automaty; překlady/analýza formálních jazyků. Zaměření na regulární a bezkontextové jazyky a jejich modely, gramatiky, automaty a zpracování.

Způsob a kritéria hodnocení

Student musí během semestru získat alespoň 50% bodů z možného maxima, tj. 20 bodů ze 40.

Osnovy výuky

  • Úvodní vymezení pojmů a problematiky
  • Úvod do imperativních jazyků - nestrukturované programovací jazyky
  • Blokově strukturované jazyky
  • Modulární jazyky
  • Objektově orientované jazyky
  • Některé zvláštnosti oběktově orientovaných jazyků
  • Srovnání imperativních programovacích jayzků a paradigmat
  • Úvod do deklarativních jazyků - lambda kalkul
  • Funkcionální jazyky
  • Logické programovací jazyky
  • Další typy deklarativních jazyků, srovnání
  • Hlavní rozdíly v práci a implementaci u imperativních a deklarativních jazyků
  • Shrnutí tématu, diskuze navazujících předmětů

Učební cíle

Zvládnutí: orientace v programovacích jazycích, jednotlivých programovacích paradigmat, nároků na zpracování jednotlivých typů jazyků.

Vymezení kontrolované výuky a způsob jejího provádění a formy nahrazování zameškané výuky

  • Půlsemestrální zkouška - písemně, formou testu, kde odpovědi mohou být jak větné, tak volbou 1 z N, či kombinace obou, neexistuje náhradní/opravný termín. (20 bodů)
  • Vypracování projektů - 1 projekt (vytvoření programu, dle zadání) s příslušnou dokumentací. (20 bodů)
  • Závěrečná zkouška - písemně, formou testu, kde odpovědi mohou být jak větné, tak volbou 1 z N, či kombinace obou, 2 opravné termíny. (60 bodů - pro získání bodů ze zkoušky je nutné zkoušku vypracovat tak, aby byla hodnocena nejméně 25 body, v opačném případě bude zkouška hodnocena 0 body.)

Prerekvizity a korekvizity

Základní literatura

  • Sebesta R.W.: Concepts of Programming Languages, 4th edition, ADDISON-WESLEY, 1999, ISBN 0-201-38596-1
  • MacLennan, B.J.: Principles of Programming Languages: Design, Evaluation, and Implementation (3rd Edition). Oxford University Press, 1999.

Doporučená literatura

  • Texty přednášek v elektronické podobě
  • Kolář, D.: Principy programovacích jazyků a objektově orientovaného programování - I, studijní opora pro kombinované studium, modul IPP I, VUT FIT, 2006
  • Křivka, Z., Kolář, D.: Principy programovacích jazyků a objektově orientovaného programování - II, studijní opora pro kombinované studium, modul IPP II, VUT FIT, 2008
  • Kolář, D.: Principy programovacích jazyků a objektově orientovaného programování - III, studijní opora pro kombinované studium, modul IPP III, VUT FIT, 2006

Zařazení předmětu ve studijních plánech

  • Program IT-BC-3 bakalářský

    obor BIT , 2. ročník, letní semestr, povinný

Typ (způsob) výuky

 

Přednáška

39 hod., nepovinná

Vyučující / Lektor

doc. Dr. Ing. Dušan Kolář

Osnova

  • Úvodní vymezení pojmů a problematiky
  • Úvod do imperativních jazyků - nestrukturované programovací jazyky
  • Blokově strukturované jazyky
  • Modulární jazyky
  • Objektově orientované jazyky
  • Některé zvláštnosti oběktově orientovaných jazyků
  • Srovnání imperativních programovacích jayzků a paradigmat
  • Úvod do deklarativních jazyků - lambda kalkul
  • Funkcionální jazyky
  • Logické programovací jazyky
  • Další typy deklarativních jazyků, srovnání
  • Hlavní rozdíly v práci a implementaci u imperativních a deklarativních jazyků
  • Shrnutí tématu, diskuze navazujících předmětů

Projekt

13 hod., nepovinná

Vyučující / Lektor

doc. Dr. Ing. Dušan Kolář