Neprocedurální programování - NMIN262

• Anglický název: Non-procedural programming
• Zajišťuje: Katedra softwaru a výuky informatiky (32-KSVI)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2014
• Semestr: letní
• E-Kredity: 5
• Rozsah, examinace: letní s.:2/2, Z+Zk [HT]
• Počet míst: neomezen
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: zrušen
• Jazyk výuky: čeština
• Způsob výuky: prezenční
• Garant: RNDr. Rudolf Kryl
• Třída: M Bc. MMIB; M Bc. MMIB > Doporučené volitelné; M Bc. OM; M Bc. OM > Doporučené volitelné
• Kategorizace předmětu: Informatika > Programování
• Neslučitelnost : NPRM046

Anotace

čeština

Předmět předpokládá znalost programování v rozsahu základního kursu programování na oboru matematika (NMIN101-102). Studenti se na přednášce seznámí se základy neprocedurálního programování - logické programování na bázi jazyka Prolog, funcionální programování (přehledově LISP a principy v Haskellu).

Poslední úprava: G_M (16.05.2012)

angličtina

The lecture is a continuation of basic course of programming for students of mathematics and physics. Main thema is nonprocedural programming (logic programming based on Prolog, functional programming based on Haskell and some knowledge of LISP).

Poslední úprava: G_M (27.04.2012)

Literatura

• Bratko I.: PROLOG Programming for Artificial Intelligence Addison-Wesley, Reading, Massachussets, 1986 ISBN 0-201-14224-4

• Petr Jirků a kol: Programování v jazyce PROLOG Praha SNTL 1991, ISBN 80-03-00609-0

• Abelson H., Sussman G.J.: Structure and Interpretation of Computer Programs McGraw-Hill Cambridge, Massachusetts 1985 ISBN 0-07-000-422-6

• Kalaš Ivan: Iné programovanie - Stretnutie s jazykom LISP ALFA Bratislava 1990, ISBN 80-05-00866-X

• Paul Hudak, Joseph H. Fasel: A Gentle Introduction to Haskell, http://www.haskell.org/tutorial/

Poslední úprava: G_M (27.04.2012)

Sylabus

čeština

1. Neprocedurální programování.

2. Prolog. Programovací jazyk, programovací techniky, řešení konkrétních úloh. Vztah k logickému programování.

3. LISP jako příklad funkcionálního jazyka.

4. Haskell jako příklad moderního funkcionálního programovacího jazyka.

Poslední úprava: G_M (27.04.2012)

angličtina

1. Nonprocedural Programming.

2. Prolog, programming methods, solving concrete problems. Logical Programming.

3. LISP as an example of functional language.

4. Haskell.

Poslední úprava: G_M (27.04.2012)