Functions and state

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (30)

Page 1 of 3

Programming Paradigms: Functional, OOP, Polymorphism

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

Abstract Data Structures in C++

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

Object Oriented Programming in C++: Introduction and Encapsulation

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

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.

Constructors & Destructors

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

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.