Séances de cours associées à Sémantique formelle

É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.

Couvre les bases de la programmation C, y compris les variables, les opérateurs et la programmation orientée système, en mettant l'accent sur les différences avec Java.

Applications de la logique propositionnelle

Explore la traduction du langage naturel en logique propositionnelle, recherche booléenne, puzzles de logique, circuits et Sudoku.

Logique propositionnelle : Applications et traductions

Explore les applications de la logique propositionnelle, y compris les traductions et la recherche booléenne pour les requêtes de documents.

Introduction & Logique de proposition

Couvre les bases de la logique de proposition, des connectifs logiques, des tables de vérité et des propositions composées.

Grammaires et analyseurs: un aperçu du traitement du langage

Fournit une vue d'ensemble des grammaires et des analyseurs dans le traitement du langage informatique.