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.
Réponses
-
Le violoniste a écrit:En gros je cherche des fichiers pdf du domaine public.
-
Bonsoir aléa,
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 -
- programmation : http://www.lsv.fr/~goubault/CoursProgrammation/Doc/prog.html + des fiches d'exos ici : http://www.lsv.fr/~lopez/enseignement.html
- 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 étudiant
-
Bonjour,
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
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 52 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres