456-0026/01 – Úvod do programovacích jazyků (UDPJ)

Garantující katedraKatedra informatikyKredity4
Garant předmětudoc. Ing. Miroslav Beneš, Ph.D.Garant verze předmětudoc. Ing. Miroslav Beneš, Ph.D.
Úroveň studiapregraduální nebo graduálníPovinnostpovinně volitelný
RočníkSemestrletní
Jazyk výukyčeština
Rok zavedení1992/1993Rok zrušení2002/2003
Určeno pro fakultyFEIUrčeno pro typy studiamagisterské
Výuku zajišťuje
Os. čís.JménoCvičícíPřednášející
TUR03 Ing. Tomáš Tureček, Ph.D.
Rozsah výuky pro formy studia
Forma studiaZp.zak.Rozsah
prezenční Zápočet a zkouška 2+2

Cíle předmětu vyjádřené dosaženými dovednostmi a kompetencemi

Studenti získají po absolvování předmětu teoretické základy i praktické dovednosti pro práci s deklarativními programovacími jazyky a dokážou navrhovat a formálně dokazovat rekurzivní algoritmy.

Vyučovací metody

Anotace

Předmět se zabývá základními pojmy programovacích jazyků a příklady konkrétních programovacích jazyků, zvláště funkcionálních.

Povinná literatura:

S. Thompson: Haskell. The Craft of Functional Programming. Addison-Wesley, 1999. ISBN 0-201-34275-8. R. W. Sebesta: Concepts of Programming Languages. Addison-Wesley, 1999. ISBN 0-201-38596-1

Doporučená literatura:

J.Young: Programovací jazyky pro RT-aplikace. SNTL Praha, 1986.

Forma způsobu ověření studijních výsledků a další požadavky na studenta

Podmínky udělení zápočtu: Pro získání zápočtu je třeba dosáhnout alespoň 26 bodů za projekty a půlsemestrální písemnou práci.

E-learning

Další požadavky na studenta

Prerekvizity

Předmět nemá žádné prerekvizity.

Korekvizity

Předmět nemá žádné korekvizity.

Osnova předmětu

Přednášky: Význam programovacích jazyků. Klasifikace programovacích jazyků, funkcionální programovací jazyky, základní principy. Lambda kalkul, syntaxe, sémantika, funkcionální reprezentace datových typů Hodnoty, funkce, funkce vyššího řádu, seznamy, rekurze. Techniky funkcionálního programování - abstraktní datové typy, algoritmy. Aplikace funkcionálních jazyků - denotační sémantika, algebraické struktury, analýza textu, relační algebra Vývoj programovacích jazyků. Požadavky na programovací jazyk, syntax, sémantika. Překladače a interprety. Základní pojmy - abstrakce dat, řídicí abstrakce, vazba, proměnná, viditelnost, rozsah platnosti. Vestavěné typy, agregované typy, uživatelem definované typy, konverze, typová kontrola, přetěžování, abstraktní datové typy. Sekvence, výběr, opakování, uživatelem definované řídicí struktury, zpracování výjimek, konstrukce pro souběžné zpracování, synchronizační prostředky. Struktura programu, procedury, funkce, bloky, aktivační záznamy, předávání parametrů, koprogramy. Moduly, závislosti mezi moduly, třídy, dědičnost, pozdní vazba, distribuované zpracování, systémové nástroje pro vývoj programů.

Podmínky absolvování předmětu

Prezenční forma (platnost od: 1960/1961 letní semestr)
Název úlohyTyp úlohyMax. počet bodů
(akt. za podúlohy)
Min. počet bodůMax. počet pokusů
Zápočet a zkouška Zápočet a zkouška 100 (145) 51 3
        Zkouška Zkouška 100  0 3
        Zápočet Zápočet 45  0 3
Rozsah povinné účasti:

Zobrazit historii

Podmínky absolvování předmětu a účast na cvičeních v rámci ISP:

Zobrazit historii

Výskyt ve studijních plánech

Akademický rokProgramObor/spec.Spec.ZaměřeníFormaJazyk výuky Konz. stř.RočníkZLTyp povinnosti
2002/2003 (M2612) Elektrotechnika a informatika (2601T004) Měřicí a řídicí technika P čeština Ostrava povinně volitelný stu. plán
2002/2003 (M2612) Elektrotechnika a informatika (2612T018) Elektronika a sdělovací technika P čeština Ostrava povinně volitelný stu. plán
2002/2003 (M2612) Elektrotechnika a informatika (2642T004) Elektrické stroje, přístroje a pohony (10) Elektrické stroje a přístroje P čeština Ostrava povinně volitelný stu. plán
2002/2003 (M2612) Elektrotechnika a informatika (2642T004) Elektrické stroje, přístroje a pohony (20) Elektrické pohony a výkonová elektronika P čeština Ostrava povinně volitelný stu. plán
2002/2003 (M2612) Elektrotechnika a informatika (3902T023) Inženýrská informatika P čeština Ostrava povinně volitelný stu. plán
2002/2003 (M2612) Elektrotechnika a informatika (3907T001) Elektroenergetika P čeština Ostrava povinně volitelný stu. plán
2002/2003 (M2612) Elektrotechnika a informatika (3902T023) Inženýrská informatika P čeština Ostrava 3 povinně volitelný stu. plán
2001/2002 (M2612) Elektrotechnika a informatika (2601T004) Měřicí a řídicí technika P čeština Ostrava povinně volitelný stu. plán
2001/2002 (M2612) Elektrotechnika a informatika (2612T018) Elektronika a sdělovací technika P čeština Ostrava povinně volitelný stu. plán
2001/2002 (M2612) Elektrotechnika a informatika (2642T004) Elektrické stroje, přístroje a pohony (10) Elektrické stroje a přístroje P čeština Ostrava povinně volitelný stu. plán
2001/2002 (M2612) Elektrotechnika a informatika (2642T004) Elektrické stroje, přístroje a pohony (20) Elektrické pohony a výkonová elektronika P čeština Ostrava povinně volitelný stu. plán
2001/2002 (M2612) Elektrotechnika a informatika (3902T023) Inženýrská informatika P čeština Ostrava povinně volitelný stu. plán
2001/2002 (M2612) Elektrotechnika a informatika (3907T001) Elektroenergetika P čeština Ostrava povinně volitelný stu. plán
2001/2002 (M2612) Elektrotechnika a informatika (3902T023) Inženýrská informatika P čeština Ostrava 3 povinně volitelný stu. plán
2000/2001 (M2612) Elektrotechnika a informatika (3902T023) Inženýrská informatika P čeština Ostrava 3 povinně volitelný stu. plán

Výskyt ve speciálních blocích

Název blokuAkademický rokForma studiaJazyk výuky RočníkZLTyp blokuVlastník bloku

Hodnocení Výuky

Předmět neobsahuje žádné hodnocení.