Programování III pro neinformatiky - NPRM046

• Anglický název: Programming III for Non-Computer Scientists
• Zajišťuje: Katedra softwaru a výuky informatiky (32-KSVI)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2014
• Semestr: letní
• E-Kredity: 6
• 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í
• Způsob výuky: prezenční
• Garant: RNDr. Rudolf Kryl
• Kategorizace předmětu: Informatika > Programování; Matematika > Matematika, Algebra, Diferenciální rovnice, teorie potenciálu, Didaktika matematiky, Diskrétní matematika, Matematická ekonomie a ekonometrie, Předměty širšího základu, Finanční a pojistná matematika, Funkční analýza, Geometrie, Předměty obecného základu, , Reálná a komplexní analýza, Matematika, Matematické modelování ve fyzice, Numerická analýza, Optimalizace, Pravděpodobnost a statistika, Topologie a kategorie
• Neslučitelnost : NPRG005
• Je neslučitelnost pro: NMIN262

Anotace

čeština

Poslední úprava: 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.

angličtina

Poslední úprava: 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).

Literatura

Poslední úprava: 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/

Sylabus

čeština

Poslední úprava: 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.

angličtina

Poslední úprava: 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.