Atelier Coq: Types de données inductives et preuves

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (31)

Page 2 sur 4

Fonctions avancées des pandas

Se concentre sur les fonctions avancées de pandas pour la manipulation, l'exploration et la visualisation des données avec Python, en soulignant l'importance de la compréhension et de la préparation des données.

Bases de programmation Python

Couvre les bases de la programmation Python, en se concentrant sur les structures de contrôle de flux, le mode interactif, le mode script et les variables.

Fonctions récursives : exemples et applications

Explore les fonctions récursives, y compris les factorielles et les séquences de Fibonacci, ainsi que leur étendue et leurs espaces de noms.

Gestion des exceptions en Python

Couvre la gestion des exceptions en Python, y compris try, raise, except, else, et enfin blocks, avec des exemples.

Concept de preuve en mathématiques

Plonge dans le concept de preuve en mathématiques, en soulignant l'importance de la preuve et du raisonnement logique.

Hoare Logic: Fondements et applications

Couvre Hoare Logic, ses fondements, ses applications et son importance dans la vérification des programmes.

Assistant à la preuve de la LISA : formalisation et vérification

Couvre l'organisation de la base de code de l'assistante d'épreuve LISA, le paquet noyau, la formalisation FOL et le paquet d'épreuves.

Opérations de séquences communes

Couvre les opérations courantes sur des séquences comme les listes et les tuples, y compris le découpage, l'extension et le remplacement d'éléments.

Preuves et logiques : Introduction

Introduit la logique, les preuves, les ensembles, les fonctions et les algorithmes en mathématiques et en informatique.

Polymorphisme dans Coq: Structures de données et fonctions

Couvre le polymorphisme dans Coq, en se concentrant sur les structures de données et les fonctions telles que les listes, la longueur et l'ajout.