Séances de cours associées à Premiers pas avec Stainless

Tutoriel du système de vérification inoxydable

Introduit Stainless, un outil open-source pour vérifier les programmes Scala, couvrant le langage, la modélisation, les conseils de vérification et les travaux intérieurs.

Structures de données abstraites en C++

Couvre la programmation procédurale et orientée objet, les structures de données abstraites, les modèles et la bibliothèque standard C++.

C++ Bibliothèque standard: Conteneurs et Algorithmes

Couvre les bases des conteneurs de bibliothèque standard C++, des algorithmes et des itérateurs.

Principes fondamentaux de la programmation orientée objet

Couvre les bases de la programmation orientée objet en Python, y compris les objets, les classes, l'héritage et la gestion des entrées/sorties.

Programmation orientée objet : Polymorphisme et pointeurs

Explore des concepts de programmation orientés objet comme le polymorphisme et les pointeurs en C++.

Programmation Fonctionnelle Vérifiée : Nicolas Voirol défense de thèse de doctorat publique

Explore la programmation fonctionnelle vérifiée, la vérification formelle, les résolveurs SMT, la vérification de type, les fonctionnalités Scala, l'automatisation et les types dépendants.

Fonctions et état

Explore les fonctions, l'état, la réécriture et les objets stateful dans la programmation.

Interfaces Java : Types et interfaces énumérés

Explore le principe du codage vers une interface, les types de Java énumérés, et les avantages de l'utilisation d'interfaces pour l'encapsulation.

Introduction à la programmation orientée objet en Java

Couvre les concepts de base de la programmation orientée objet en Java, mettant l'accent sur l'encapsulation, l'abstraction et l'importance d'organiser des programmes complexes.

Programmation orientée objet: Introduction à l'OPO

Introduit les concepts fondamentaux de programmation orientée objet en C++ et met l'accent sur la communication, les messages de forum, les enregistrements de projets et les installations.

Collections hétérogéniques en C++

Explore la mise en œuvre de collections hétérogènes en C++, en mettant l'accent sur des choix de design propres pour les utilisateurs.

Programmation orientée objet: Instructions pour l'examen

Couvre les instructions d'examen et les exercices de programmation sur la simulation d'un vaisseau sanguin.

Programmation orientée objet : gestion des erreurs et logistique des cours

Décrit la logistique du cours et les objectifs de la programmation orientée objet, en mettant l'accent sur la gestion des erreurs et l'intégration de sessions pratiques avec l'apprentissage théorique.

Classes et encapsulation : principes de la programmation modulaire

Couvre les principes des classes, de l'encapsulation et de la programmation modulaire en C++.

Bibliothèque Standard: Conteneurs et Algorithmes

Explore les conteneurs et algorithmes standard de la bibliothèque C++, y compris les tables associatives, les piles, les files d'attente et la génération de nombres aléatoires.

Programmation orientée objet : fondamentaux et exemples

Couvre les fondamentaux de la programmation orientée objet en C++, y compris l'encapsulation, l'héritage et le polymorphisme, avec des exemples en différentes langues OOP.

Collections hématogènes avancées en C++

Explore les concepts de programmation C++ avancés, en se concentrant sur les collections hétérogènes, le comportement polymorphe, la gestion de la mémoire et le partage de données.

Motifs de conception: Observateur

Couvre la mise en œuvre du modèle de conception Observer en Java.

Paradigmes de programmation: Fonctionnel, OOP, Polymorphisme Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les paradigmes de programmation comme la procédure, la fonctionnalité et l'OPO, avec des exemples en Python.

Programmation orientée objet en C++ : introduction et encapsulation Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de la programmation orientée objet en C++, y compris l'encapsulation et la représentation de nombres complexes.