Concept
Symbole (logique)
Séances de cours associées (30)
Opérations sur les langues formelles
Explore les opérations formelles du langage, y compris la concaténation, l'union, l'intersection et l'étoile Kleene pour la répétition du langage.
Langages formels : Concepts
Couvre les bases des langues formelles, y compris les alphabets, les mots et les langues, ainsi que des opérations comme la concaténation et l'inversion.
CYK Parsing Algorithme pour les grammaires générales
Introduit l'algorithme d'analyse CYK pour les grammaires sans contexte, expliquant sa gestion de l'ambiguïté et de l'importance dans l'analyse des grammaires générales.
Opérations sur les langues formelles
Couvre les langages formels, les opérations comme l'union et la concaténation, et l'opération de l'étoile Kleene.
Introduction au traitement du langage informatique
Couvre le traitement du langage informatique, les compilateurs, les compétences acquises et des exemples d'application.
Logique formelle: preuves et ensembles
Couvre les bases de la logique formelle, en se concentrant sur les expressions logiques et les preuves mathématiques.
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.
Structurer la musique: Forme et fonctions
S'insère dans la structuration musicale par la hiérarchie, la répétition et la formation de principes, illustrant la cohérence et l'organisation des pièces musicales.
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.