Programming III for Non-Computer Scientists - NPRM046

• Title: Programování III pro neinformatiky
• Guaranteed by: Department of Software and Computer Science Education (32-KSVI)
• Faculty: Faculty of Mathematics and Physics
• Actual: from 2014
• Semester: summer
• E-Credits: 6
• 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
• Teaching methods: full-time
• Guarantor: RNDr. Rudolf Kryl
• Classification: Informatics > Programming; Mathematics > Mathematics, Algebra, Differential Equations, Potential Theory, Didactics of Mathematics, Discrete Mathematics, Math. Econ. and Econometrics, External Subjects, Financial and Insurance Math., Functional Analysis, Geometry, General Subjects, , Real and Complex Analysis, Mathematics General, Mathematical Modeling in Physics, Numerical Analysis, Optimization, Probability and Statistics, Topology and Category
• Incompatibility : NPRG005
• Is incompatible with: NMIN262

Annotation

English

Last update: T_KSVI (24.05.2006)

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

Czech

Last update: G_I (09.05.2007)

Předmět předpokládá znalost programování v rozsahu základního kursu programování na oboru matematika (PRM044+PRM045). 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). Případně je možné doplňkově se věnovat i některým aspektům procedurálního programování, které základní kurs nemohl pokrýt.

Literature

Last update: T_KSVI (17.04.2008)

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

Syllabus

English

Last update: T_KSVI (17.04.2008)

1. Nonprocedural Programming.

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

3. LISP as an example of functional language.

4. Haskell.

Czech

Last update: T_KSVI (17.04.2008)

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.