Enseignement


Réseaux Informatiques

Licence 3 / Master 1 Informatique

tags_reseaux

Architecture des réseaux : structure en couches, protocoles, services. Réseaux locaux sous UDP-TCP/IP, Ethernet. Protocoles de routage : RIP, OSPF, BGP. Principaux protocoles Internet : DNS, NAT, SMTP, FTP, HTTP, Wifi, Bluetooth.

Programmation en Logique

Master 1 Informatique

tags_plc

La programmation en logique avec Prolog : (1) point de vue déclaratif, résolution SLD, sémantiques opérationnelle et déclarative, structure des listes, coupure, négation, prédicats d’ordre supérieur, méta-programmation. (2) Notion de contraintes et de solveurs de contraintes (domaines finis, domaine booléen).

Web et Web Mobile

Master 1 Informatique

tags_nomadisme

Développement web pour mobile avec HTML, CSS et JQuery. Responsive Web Design. Intégration du natif avec Cordova sous Android et iOS.

Programmation iOS

Master 2 Informatique

tags_prog_ios

Programmation pour le monde d'Apple. Langage Objective C, UIKit pour iOS.