List of courses (latest first)

• Software Construction 2011–2012 (Dr. Tijs van der Storm), Universiteit van Amsterdam, Amsterdam, The Netherlands
• Software Evolution 2011 (Prof. Dr. Paul Klint, Dr. Tijs van der Storm, Dr. Jurgen Vinju), Universiteit van Amsterdam, Amsterdam, The Netherlands
• Programming Paradigms and Formal Semantics 2009–2010 (Prof. Dr. Ralf Lämmel), Universität Koblenz-Landau, Koblenz, Germany
  • Lab: Definite Clause Grammars. B016, 2 November 2009. [Outline] [Slides] [Code] [Code] [SWI]
  • Lab: Operational Semantics in Prolog. B016, 9 November 2009. [Outline] [Code] [Code] [Code] [Twitter] [Twitter]
  • Lab: Untyped Lambda Calculus in Prolog. B016, 16 November 2009. [Outline] [Code] [Code] [Code] [Twitter]
  • Lab: Typed Lambda Calculus in Prolog. B016, 23 November 2009. [Outline] [Code] [Code] [Code] [Twitter] [Twitter]
  • Lab: First Steps in Haskell. B016, 30 November 2009. [Outline] [Code] [Code] [GHC] [Twitter] [Twitter]
  • Lab: More Steps in Haskell. B016, 7 December 2009. [Outline] [Code] [Slides] [Code] [Code] [Twitter]
  • Lab: Denotational Semantics in Haskell. B016, 14 December 2009. [Outline] [Code] [Code]
  • Exam: Midterm. B013, 15 December 2009. [Preparation] [Twitter] [Twitter] [Twitter] [Twitter]
  • Lab: Denotational Semantics in Haskell Cont'd. B016, 18 January 2010. [Outline] [Code] [Code] [Twitter] [Twitter] [Twitter] [Twitter]
  • Lab: Program Analysis in Haskell. B016, 25 January 2010. [Code] [Outline] [Code] [Twitter] [Twitter]
  • Lab: Advanced Prolog & Haskell exercises. B016, 1 February 2010. [Outline] [Code] [Code] [Twitter]
  • Lab: Constraint-Logic Programming and Calculus of Communicating Systems. B016, 8 February 2010. [Outline] [Code] [Code]
  • Exam: Final. D238, 17 February 2010. [Preparation] [Twitter]
  • Exam: Reexamination. B016, 2 June 2010. [Announcement]
• Advanced Programming 2009 (Prof. Dr. Ralf Lämmel), Universität Koblenz-Landau, Koblenz, Germany
  • Guest: Eclipse Modeling Framework. F313, 14 July 2009. [Slides] [Code]
• Programming 2008 (Prof. Dr. Ralf Lämmel), Universität Koblenz-Landau, Koblenz, Germany
  • Guest: Concurrent Programming. K101, 19 June 2008. [Slides]
• Practicum Software Engineering 2007 (prof.dr. J. C. van Vliet), Vrije Universiteit, Amsterdam, The Netherlands
  • Event: Awarding ceremony. Getronics/PinkRoccade HQ, [Facebook]
• Project ISO 2006 (prof.dr.ir. J. L. Top), Vrije Universiteit, Amsterdam, The Netherlands
• Practicum Programming Languages: Smalltalk 2005, Vrije Universiteit, Amsterdam, The Netherlands
• Principles of Object-Oriented Software Development 2004 (Dr.ing. Ralf Lämmel), Vrije Universiteit, Amsterdam, The Netherlands
  • Guest: The .NET Framework. Q105, 19 October 2004. [Slides]
  • Guest: Design Patterns: History, Theory and Practice. Q105, 7 September 2004. [Slides]
• Java Refresher Course 2003, Universiteit Twente, Enschede, The Netherlands
• Python Programming (in Russian) 2002, self-designed lecture course at Rostov State University, Rostov-on-Don, Russia
  • Lecture: Introduction. [Notes]
  • Lecture: Programming Languages Evolution. [Notes]
  • Lecture: Hello World, Variables, I/O. [Notes]
  • Lecture: Data Types in the Untyped Language. [Notes]
  • Lecture: Composite Data Structures, Data Comparison. [Notes]
  • Lecture: Booleans, Conditional Operator, Control Flow. [Notes]
  • Lecture: Functions, Namespaces. [Notes]
  • Lecture: λ-calculus. [Notes]
  • Lecture: Object Model, OOP, OOD, OOA, Programming in the Large. [Notes]
  • Lecture: Abstraction, Contracts, Exceptions. [Notes]
  • Lecture: Incapsulation, Defining Data Types. [Notes]
  • Lecture: Modules, System Decomposition. [Notes]
  • Lecture: Numeric, SciPy.
  • Lecture: Hierarchy, Inheritance, Typing, Type Conversion and Inference, Polymorphism. [Notes]
  • Lecture: Program Robustness, Distributed Programming, OO Benefits and Pitfalls.
  • Lecture: Beyond Standard Data Types and Programming Paradigms.

[Back] Page generated on 05/09/2012. All material on this website is created by Vadim Zaytsev unless stated otherwise.