Langage formel

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (31)

Connectez-vous pour filtrer par séance de cours

Grammaires sans contexte: Partie 1

Couvre les grammaires sans contexte, les règles de production, les automates, l'analyse syntaxique et les techniques d'analyse.

Introduction : Objet de la physique, du droit physique, de la CMS

Introduit le but de la physique, le rôle des mathématiques, et l'importance de l'observation dans la compréhension des phénomènes naturels.

Énumérabilité récursive: Machines de Turing et langages indécidables

Couvre les langages énumérables récursivement, les machines de Turing et la construction de langages indécidables.

Correspondance logicielle: Test et vérification

Explore l'exactitude des logiciels grâce à des tests, à la vérification, au flou de propriété et au contrôle dynamique du flux d'information.

Introduction au traitement du langage informatique

Couvre le traitement du langage informatique, les compilateurs, les compétences acquises et des exemples d'application.

Qu’est-ce qu’une preuve formelle?

Couvre le concept de systèmes de preuve formelle, leur structure et leur solidité.

Art contemporain: Conseils d'écriture et aspects formels

Couvre les conseils pour parler et écrire sur l'art contemporain et les exigences formelles pour les essais académiques.

Conc-Trees: Programmation parallèle en Scala

Couvre la mise en œuvre de Conc-Trees à Scala pour la programmation parallèle.

Calcul et algorithmes: premier exemple d'algorithme

Couvre en trouvant la valeur maximale dans une liste et les problèmes connexes.

Équations différentielles partielles elliptiques

Couvre le problème de modèle des PDE elliptiques avec une formulation faible et des solutions classiques.

Limites et limites en haut

Couvre les concepts de limites et de colimits dans la catégorie des espaces topologiques, en mettant l'accent sur la relation entre la colimit et les constructions limites et les adjonctions.

Page 2 sur 2