Liste des UF et liens vers les fiches ECTS

Écrire un paragraphe concis et précis qui expose le contenu du cours

Cet enseignement a pour but de former les étudiants à l'utilisation de la logique formelle dans deux objectifs :

- utiliser la logique des prédicats du 1er ordre comme un langage rigoureux de représentation des connaissances.

- utiliser la logique comme un système de démonstration et plus généralement de calcul automatique, en particulier à travers la programmation logique (langage Prolog).

Les compétences visés sont les suivantes :

- traduire une représentation en langage naturel des propriétés d'un système, d'un langage, d'une ontologie, en un ensemble sain et complet de formules logiques de LP0 ou LP1.

- maîtriser les règles d'inférence logique et les algorithmes de base en programmation logique : le principe de résolution, l'algorithme d'unification, la démonstration par réfutation, la stratégie SLD

- être capable de traduire la résolution d'un problème symbolique ou numérique sous la forme d'un programme logique.

- utiliser la programmation logique pour résoudre un problème combinatoire à l'aide d'une méthode de recherche arborescente.

Les systèmes d'information (SI) sont aujourd'hui au coeur de l'entreprise moderne et représentent une valeur essentielle à leur compétitivité. Au delà des aspects purement techniques qu'un manager informatique doit maitriser, il doit aussi comprendre et maitriser les rouages essentiels des systèmes d'information dans leur globalité. Comment le SI se positionne dans l'entreprise ? Comment il influe sur l'organisation ? Comment le SI peut améliorer le travail des collaborateurs et rendre l'organisation plus performante ? Quels sont les composants techniques d'un SI ? Comment Gérer un systèmes d'information ? Le cours "Management des Systèmes d'Information" tente de répondre à ces questions en abordant selon différents points de vues les différents aspects d'un système d'information d'entreprise.

Maîtriser la conception orientée objet à travers le langage UML, et la programmation orientée objet à travers le langage Java.


BE réseaux 4RT

accès à des ressources pour la formation dans le cadre de l'academy cisco.

Écrire un paragraphe concis et précis qui expose le contenu du cours

Cours de programmation système et multi-threading