Course Instructors: Mihnea Muraru, Andrei Olaru.

Discussing the effects that different paradigms of programming have on the process of solving problems and the characteristics of programs. Presentation of how the main concepts related to programming are materialized and used for programming. Presentation of Comparative essential elements of functional programming languages, associative logic and discussion of specific techniques of the programming languages being studied.

Syllabus:

• Elements of Lambda calculus.
• Reduction.
• Theorem Curchi-Roser.
• Ways of evaluating expressions.
• Lambda calculus regarded as programming language.
• Functional programming in Scheme.
• Functions as a first-rank, closures of functions, functional assessment sloven, continued.
• Coroutine and implemented using the exceptions below.
• Programming with the transfer to continue.
• Polymorphism parameters. Scheme type and basic notions of inference types. Elements of logic I, resolution and the removal control back. Restriction closed world. Programming logic in Prolog. Procedures, declarative versus procedurality  Metaprogramming.
• Markov algorithmic car.
• Associative programming.
• Programming in CLIPS / Jess.
• Factually and rules, control data, declarativitate.
• Rules with automatic activation, nondeterminism.
• Control logical consistency of the data.