Non-procedural programming - NMIN262

• Title: Neprocedurální programování
• Guaranteed by: Department of Software and Computer Science Education (32-KSVI)
• Faculty: Faculty of Mathematics and Physics
• Actual: from 2014
• Semester: summer
• E-Credits: 5
• Hours per week, examination: summer s.:2/2, C+Ex [HT]
• Capacity: unlimited
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: cancelled
• Language: Czech
• Teaching methods: full-time
• Guarantor: RNDr. Rudolf Kryl
• Class: M Bc. MMIB; M Bc. MMIB > Doporučené volitelné; M Bc. OM; M Bc. OM > Doporučené volitelné
• Classification: Informatics > Programming
• Incompatibility : NPRM046

Annotation

English

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).

Last update: G_M (27.04.2012)

Czech

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).

Last update: G_M (16.05.2012)

Literature

• 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/

Last update: G_M (27.04.2012)

Syllabus

English

1. Nonprocedural Programming.

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

3. LISP as an example of functional language.

4. Haskell.

Last update: G_M (27.04.2012)

Czech

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.

Last update: G_M (27.04.2012)