Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.
Cette séance de cours couvre les règles d'inférence pour les déclarations quantifiées, y compris l'instanciation universelle, la généralisation, l'instanciation existentielle, la généralisation et le modus ponens. À travers des exemples, l'instructeur montre comment construire des arguments valides en utilisant la logique des prédicats.