Lectures related to Functions and state

Covers procedural and object-oriented programming, abstract data structures, templates, and the C++ standard library.

Termination Analysis using Dependency Pairs

Explores automated termination analysis using dependency pairs, covering classical and modern techniques, annual competitions, and tools like AProVE.

C++ Standard Library: Containers and Algorithms

Covers the basics of C++ standard library containers, algorithms, and iterators.

First Steps with Stainless

Introduces Stainless, a verifier for Scala, emphasizing bug prevention and library access.

Object-Oriented Programming: Polymorphism and Pointers

Explores object-oriented programming concepts like polymorphism and pointers in C++.

Introduction to Object-Oriented Programming in Java

Covers the basic concepts of object-oriented programming in Java, emphasizing encapsulation, abstraction, and the importance of organizing complex programs.

Java Interfaces: Enumerated Types and Interfaces

Explores the principle of coding to an interface, Java enumerated types, and the benefits of using interfaces for encapsulation.

Object-Oriented Programming: Introduction to OOP

Introduces the fundamental concepts of object-oriented programming in C++ and emphasizes communication, forum messages, project registrations, and installations.

Heterogeneous Collections in C++

Explores the implementation of heterogeneous collections in C++, emphasizing clean design choices for users.

Object-Oriented Programming: Error Management and Course Logistics

Outlines the course logistics and objectives for Object-Oriented Programming, focusing on error management and the integration of practical sessions with theoretical learning.

Object-Oriented Programming Fundamentals

Covers the basics of object-oriented programming in Python, including objects, classes, inheritance, and input/output handling.

Object-Oriented Programming: Exam Instructions

Covers exam instructions and programming exercises on simulating a blood vessel.

Standard Library: Containers and Algorithms

Explores C++ standard library containers and algorithms, including associative tables, stacks, queues, and random number generation.

Value Definitions and Conditionals

Covers conditional and Boolean expressions, rewrite rules, and value definitions.

Object-Oriented Programming: Fundamentals and Examples

Covers the fundamentals of Object-Oriented Programming in C++, including encapsulation, inheritance, and polymorphism, with examples in various OOP languages.

Object-Oriented Programming: Core Features Analysis

Explores the core features of object-oriented programming, including dynamic dispatch, encapsulation, inheritance, and subtyping, using Java examples and practical insights.

Programming Paradigms: Functional, OOP, Polymorphism Log in to Mediaspace to watch this video

Explores programming paradigms like procedural, functional, and OOP, with examples in Python.

Object Oriented Programming in C++: Introduction and Encapsulation Log in to Mediaspace to watch this video

Covers the basics of object-oriented programming in C++, including encapsulation and complex number representation.

Constructors & Destructors Log in to Mediaspace to watch this video

Explores object-oriented programming concepts in C++ focusing on constructors, destructors, initialization lists, and constructor design in Cartesian and polar coordinates.

Object-Oriented Programming: Operator Overloading & Project Description Log in to Mediaspace to watch this video

Covers operator overloading in C++ and introduces a project simulating intelligent behavior in bee colonies.