Outils mathématiques pour l'informatique L3
Bonjour,
je suis à la recherche de cours théoriques concernant les outils mathématiques pour l'informatique.
J'aimerais avoir les polys de cours de l'ENS Cachan ou Lyon mais je ne sais pas s'ils sont disponibles.
Je pense que les facs de sciences à Paris doivent avoir des cours de bonnes qualités.
En gros je cherche des fichiers pdf du domaine public.
Les sujets qui m'intéressent sont :
logique : proposition, validité, satisfiabilité ...
des choses sur la construction d'un langage de programmation,
des notions en lien avec les piles, les structures de contrôle, files d'attentes, la structure de la mémoire ...
les systèmes de transition : états, traces, exécutions, étiquetage, propriétés de vivacité, propriétés de sûreté
processus stochastiques : des processus de naissance et de mort, des chaînes de Markov
des choses en modélisation aussi.
Voilà si vous avez des ressources de cours mais aussi d'exos, j'attends vos infos.
Merci.
Le Violoniste.
je suis à la recherche de cours théoriques concernant les outils mathématiques pour l'informatique.
J'aimerais avoir les polys de cours de l'ENS Cachan ou Lyon mais je ne sais pas s'ils sont disponibles.
Je pense que les facs de sciences à Paris doivent avoir des cours de bonnes qualités.
En gros je cherche des fichiers pdf du domaine public.
Les sujets qui m'intéressent sont :
logique : proposition, validité, satisfiabilité ...
des choses sur la construction d'un langage de programmation,
des notions en lien avec les piles, les structures de contrôle, files d'attentes, la structure de la mémoire ...
les systèmes de transition : états, traces, exécutions, étiquetage, propriétés de vivacité, propriétés de sûreté
processus stochastiques : des processus de naissance et de mort, des chaînes de Markov
des choses en modélisation aussi.
Voilà si vous avez des ressources de cours mais aussi d'exos, j'attends vos infos.
Merci.
Le Violoniste.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
oui des pdf gratuits et mis en ligne par des professeurs.
En fait j'attends que certaines personnes suggèrent des cours ou exos ou des pages de leurs profs préférés.
Je ne parle bien sûr pas de sites avec des livres piratés qui ne m'intéressent pas.
Le Violoniste
- logique : http://www.lsv.fr/~baelde/1920/logique/index.html + http://www.lsv.fr/~dowek/Cours/Logique/index.html (y a même des vidéos pour cause covid). + TDs ici : http://www.lsv.fr/~grienenberger/index.html.fr
Ou alors version de l'année d'avant: http://www.lsv.fr/~comon/Logique1/ + http://www.lsv.fr/~baelde/1819/logique/index.html
- sémantique et vérification (Ulm) : https://www.di.ens.fr/~rival/semverif-2020/ (pas de poly mais slides relativement détaillées).
- sémantique et vérification (Lyon) plus orienté model checking : http://perso.ens-lyon.fr/colin.riba/teaching/sv/index.html
- des notes de cours pour l'agreg qui sont pas mal aussi http://www.lsv.fr/~jacomme/agreg/index.html (916 & 918 c'est de la logique).
Tu ne l'as pas mentionné mais si ça t'intéresse :
- Calculabilité : http://www.lsv.fr/~comon/Calculabilite1/ Complexité : http://www.lsv.fr/~phs/complexite_L3.html
Plus introductif y a le cours de structures discrètes (automates, induction, logique) de Jussieu, pas de poly mais des fiches et des TDs + annales : http://www-licence.ufr-info-p6.jussieu.fr/lmd/licence/2018/ue/2I005-2018oct/ressources.php
merci beaucoup, c'est ce que je recherchais.
Mais beaucoup de travail en perspective ! Il y a de quoi passer des centaines d'heures ...
Le violoniste