Si vous voulez bien comprendre les raisonnements scientifiques, il est important de comprendre la logique formelle . Né au milieu du XIXe siècle, avec les travaux de George Boole, la logique permet de régir un système au travers de règles. Dans le monde réel, cela permet de définir par exemple les champs magnétiques, la gravitation....
En informatique, elle est incontournable ! Elle permet de développer des méthodes de preuve, structurer des réseaux ou inventer des mécanismes de vérification indispensables pour éviter les bugs dans les programmes.
Si vous avez à coeur de comprendre le fond des choses et disposez d'une bonne base en math (ensembles, fonctions et relations), ce cours est fait pour vous.
Grâce au syllabus et support de cours du Pr. Van Roy entrez dans un monde logique. Ce cours est articulé en 2 parties :
1. "Logique" avec les thèmes suivants :
-
la logique des propositions, une logique simple, mais importante où comment savoir si une formule logique est vraie ou fausse.
-
le thème des preuves, ou comment peut-on on trouver des nouvelles vérités dans le monde réel par pur raisonnement.
-
la logique des prédicats, la plus utilisée dans toutes les sciences et les mathématiques et sa dépendance à deux concepts importants, les variables et les quantificateurs
-
l'algorithme de preuve, qui montre comment automatiser les preuves pour les exécuter sur un ordinateur.
-
Prolog, un langage de programmation basé sur la logique des prédicats, et son algorithme de preuve. Prolog est à l'origine de l'explosion de l'utilisation de la logique dans l'informatique d'aujourd'hui.
2. "Structures sur Internet" qui propose l'étude des réseaux sociaux, tant au niveau de leur structure (relations entre les personnes) que leur évolution dans le temps. Découvrez le fonctionnement de moteurs de recherche comme Google en vous plongeant dans Networks, Crowds, and Markets: Reasoning About a Highly Connected World de David Easley and Jon Kleinberg
Envie de tester vos connaissances ... c'est par ici