Subjects

Your browser does not support JavaScript, or its support is disabled. Some features may not be available.

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

Opinion survey results Examination dates Schedule Noticeboard

Annotation -

Last update: G_M (27.04.2012)

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

Literature - Czech

Last update: G_M (27.04.2012)

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 -

Last update: G_M (27.04.2012)

1. Nonprocedural Programming.

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

3. LISP as an example of functional language.

4. Haskell.