[{"command":"insert","method":null,"selector":".course-modal-ajax-placeholder-956181","data":"\u003Cdiv class=\u0022container content-rte\u0022\u003E\n  \u003Cdiv class=\u0022row\u0022\u003E\n    \u003Cdiv class=\u0022box col-md-6 bg-primary text-white\u0022\u003E\n      \u003Ch2 class=\u0022h1 text-left\u0022\u003E  Mod\u00e9lisation et analyse formelles\n\u003C\/h2\u003E\n                  \u003Cdiv class=\u0022field-spacing\u0022\u003E\n        \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EECTS :\n          2.5\n        \u003C\/div\u003E\n      \u003C\/div\u003E\n                  \u003Cdiv class=\u0022field-spacing\u0022\u003E\n        \u003Cdiv class=\u0022field__label h3 dash\u0022\u003ESemestre calendaire :\n          Semestre 1\n        \u003C\/div\u003E\n      \u003C\/div\u003E\n            \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003ED\u00e9tail du volume horaire\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                          \u003Cspan class=\u0022field__label h4 mt-5 \u0022\u003ECours magistraux :\u003C\/span\u003E\n                                      \u003Cspan\u003E18\u003C\/span\u003E\n                      \u003C\/div\u003E\n                                                                                        \u003C\/div\u003E\n        \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003ELangue d\u0026#039;enseignement\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003EFran\u00e7ais\u003C\/span\u003E\n                      \u003C\/div\u003E\n                  \u003C\/div\u003E\n        \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EEnseignement \u00e0 distance\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003Enon\u003C\/span\u003E\n                      \u003C\/div\u003E\n                  \u003C\/div\u003E\n      \u003C\/div\u003E\n    \u003Cdiv class=\u0022box col-md-6\u0022\u003E\n            \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EPr\u00e9requis\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003E\u003Cp\u003EConnaissances g\u00e9n\u00e9rales en informatique de niveau master.\u003C\/p\u003E\u003C\/span\u003E\n                      \u003C\/div\u003E\n                  \u003C\/div\u003E\n        \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EProgramme \/ plan \/ contenus\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003E\u003Cp\u003ECe cours pr\u00e9sente des outils et m\u00e9thodes pour mod\u00e9liser et analyser des socio-\u00e9cosyst\u00e8mes \u00e0 l\u0027aide de m\u00e9thodes formelles. L\u0027objectif est de comprendre le fonctionnement de ces syst\u00e8mes pour faire face aux changements rapides qu\u0027ils subissent actuellement (d\u00e9r\u00e8glement climatique, effondrement de la biodiversit\u00e9, etc.) et prendre des mesures de gestion visant \u00e0 les maintenir sur certaines trajectoires. Les m\u00e9thodes mises en \u0153uvre (r\u00e9seaux de Petri, model-checking, calcul symbolique, etc.) sont classiques en informatique, mais elles sont ici utilis\u00e9es de mani\u00e8re originale compte tenu du contexte particulier.\u003C\/p\u003E\u003C\/span\u003E\n                      \u003C\/div\u003E\n                  \u003C\/div\u003E\n                                        \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EBibliographie\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003E\u003Cp\u003E\u003Ca rel=\u0022nofollow noopener noreferrer\u0022 target=\u0022_blank\u0022 href=\u0022https:\/\/ecco.ibisc.univ-evry.fr\/papers.html#pnse-fp-2022\u0022\u003Ehttps:\/\/ecco.ibisc.univ-evry.fr\/papers.html#pnse-fp-2022\u003C\/a\u003E\u003Cbr\u003E\n\u003Ca rel=\u0022nofollow noopener noreferrer\u0022 target=\u0022_blank\u0022 href=\u0022https:\/\/ecco.ibisc.univ-evry.fr\/papers.html#plos-2022\u0022\u003Ehttps:\/\/ecco.ibisc.univ-evry.fr\/papers.html#plos-2022\u003C\/a\u003E\u003Cbr\u003E\n\u003Ca rel=\u0022nofollow noopener noreferrer\u0022 target=\u0022_blank\u0022 href=\u0022https:\/\/ecco.ibisc.univ-evry.fr\/papers.html#mee-2019\u0022\u003Ehttps:\/\/ecco.ibisc.univ-evry.fr\/papers.html#mee-2019\u003C\/a\u003E\u003C\/p\u003E\u003C\/span\u003E\n                      \u003C\/div\u003E\n                  \u003C\/div\u003E\n        \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003ENature de l\u0026#039;\u00e9valuation\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003EEvaluation Terminale\u003C\/span\u003E\n                      \u003C\/div\u003E\n                  \u003C\/div\u003E\n      \u003C\/div\u003E\n  \u003C\/div\u003E\n\u003C\/div\u003E\n","settings":null}]