Symbole (logique)

Science formelle
Informatique théorique
Théorie des langages de pro...
Langage formel

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (20)

Connectez-vous pour filtrer par séance de cours

Page 2 sur 2

Automatiser les preuves logiques de premier ordre en utilisant la résolution

Couvre la syntaxe logique de premier ordre, la sémantique et la résolution pour les propriétés de preuve.

Finite Automata: Récapitulation

Couvre les fondamentaux des automates finis et des langues formelles.

Expressions régulières (Récapitulatif)

Couvre les principes fondamentaux des expressions régulières et comprend des exercices sur la définition des langues.

Constructivisme

S'oriente vers le développement cognitif, les conflits cognitifs et la transition du constructivisme au constructionnisme dans l'éducation.

Langages formels : Concepts

Couvre les concepts fondamentaux des langues formelles, y compris les alphabets, les mots, les langues et l'égalité des mots.

Introduction à la théorie des compilateurs et au traitement du langage

Introduit la théorie du compilateur, le traitement du langage et les concepts essentiels derrière les compilateurs de construction.

Algèbre relationnelle

Introduit des langages de requête relationnels, en se concentrant sur les opérateurs d'algèbre et l'optimisation des requêtes.

Techniques de génération rythmique

Couvre les techniques de génération de rythme, y compris les modèles Markov et la génération de rythme hiérarchique, en mettant l'accent sur l'étude de Nancarrow 14.

Sans titre

Hoare Logic: Fondements et applications

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