Symbolic computation II


Aim of the course

The aim of the course, "Symbolic computation II" is to acquaint with general assumptions of functional programming languages ​​on the example of Erlang language. Functional approach, as opposed to imperative, focuses on function valuation. Many computational problems can be solved easier using recursive function calls and higher order functions. Erlang Technology and language can be used for creating high-reliability systems for large-scale problems. Several large companies are using the technology, including Facebook, T-Mobile. Yahoo, Amazon, Our-Class, Ericsson and many others.

Lecture programme

The basic assumptions of functional programming second. The basic syntax of the Erlang language. Modules, functions, pattern matching, recursion, tail calls. Higher-order functions. Actors model, concurrency. Design Patterns. Additional features of the Erlang technology

Overview of the course elements

Classes are held in the form of laboratories.

Reading list

Programming Erlang: Software for a Concurrent World, Joe Armstrong.
Erlang Programming, Francesco Cesarini

Copyright © 2010 Department of Computer Science   |   AGH University of Science and Technology   |   Created by Creative Bastards