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

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: T_KSVI (24.05.2006)

Czech

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.

Last update: G_I (09.05.2007)

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: T_KSVI (17.04.2008)

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: T_KSVI (17.04.2008)

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: T_KSVI (17.04.2008)