|
Tri :
Date de référencement
Editeur
Auteur
Titre
|
Règles de déduction sur les connecteurs
[Ressource pédagogique]
Date de publication :
20200110 |
Auteur(s) :
JAUME Mathieu, Mounier Isabelle |
Editeur(s) :
Sorbonne Université, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Ce cours est le deuxième d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités.
Il présente un ensemble de règles de déduction sur les connecteurs logiques permettant de prouver des formules...
Référencé le :
02-09-2020
|
|
Langages logiques
[Ressource pédagogique]
Date de publication :
20200110 |
Auteur(s) :
JAUME Mathieu, Mounier Isabelle |
Editeur(s) :
Sorbonne Université, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Ce cours est le premier d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités.
Il présente les aspects syntaxiques des langages logiques
Référencé le :
02-09-2020
|
|
Interprétation : variables et quantificateurs
[Ressource pédagogique]
Date de publication :
20200110 |
Auteur(s) :
JAUME Mathieu, Mounier Isabelle |
Editeur(s) :
Sorbonne Université, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Ce cours est la cinquième et dernière séquence d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités.
Il étend les notions présentées dans le troisième cours en présentant les schémas d'interprétation d'un langage logique avec variables et quantificateurs du premier ordre et définit l'ensemble des formules valides de ce langage....
Référencé le :
02-09-2020
|
|
Cours de logique
[Ressource pédagogique]
Date de publication :
20200110 |
Auteur(s) :
JAUME Mathieu, Mounier Isabelle |
Editeur(s) :
Sorbonne Université, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Ensemble de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités.
Cours 1 : Langages logiques
Cours 2 : Règles de déduction sur les connecteurs
Cours 3 : Interprétation : fonctions, prédicats et connecteurs
Cours 4 : Règles de déduction sur les quantificateurs
Cours 5 : Interprétation : variables et quantificateurs...
Référencé le :
02-09-2020
|
|
Cfacile : Introduction au langage C
[Ressource pédagogique]
Date de publication :
20100111 |
Auteur(s) :
Boufflet Jean-Paul, Trigano Philippe, Benmimoun Amir |
Editeur(s) :
Université de Technologie de Compiègne, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Cfacile est un support interactif de cours pour l'apprentissage des concepts de base de l’algorithmique et de la programmation en C, à destination des débutants. Il comporte quatre parties : une base théorique structurée sous la forme de 9 chapitres de cours, un ensemble d'exercices interactifs, deux jeux éducatifs interactifs et des simulations pédagogiques.
Les chapitres abordent les bases de l...
Référencé le :
20-02-2020
|
|
Pourquoi créer des nouveaux langages de programmation ?
[Ressource pédagogique]
Date de publication :
20190128 |
Auteur(s) :
Henrio Ludovic |
Editeur(s) :
Inria / Interstices |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
De nouveaux langages de programmation ainsi que des outils permettant de transformer ou d’analyser les programmes émergent chaque année grâce à la recherche dans ce domaine. Qu'est-ce qu'un bon langage ? Et surtout, pourquoi en crée-t-on toujours plus ?...
Référencé le :
16-09-2019
|
|
Mon programme est-il bien protégé contre les cyberattaques ?
[Ressource pédagogique]
Date de publication :
20181213 |
Auteur(s) :
Rezk Tamara |
Editeur(s) :
Institut National de Recherche en Informatique et en Automatique / Interstices |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Écrire du code sûr et s’assurer que celui-ci satisfait des propriétés de sécurité est nécessaire pour contrer d’éventuelles cyberattaques. Mais ce n’est pas suffisant. Encore faut-il que le programme qui sera exécuté par l’ordinateur soit sûr. Vous avez bien lu : écrire un programme sûr et s’assurer qu’il s’exécute de manière sûre sont deux choses bien distinctes....
Référencé le :
04-09-2019
|
|
MOOC Introduction à HTML5 - Animations et jeux
[Ressource pédagogique]
Date de publication :
20160111 |
Auteur(s) :
PLANTEC Jean-Yves |
Editeur(s) :
Groupe INSA, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Vous avez envie de développer des animations ou des petits jeux pour le web, mais sans trop savoir comment vous y prendre ; vous avez peut-être entendu parler d'HTML5, mais vous n'avez pas de connaissance particulière des langages web. En revanche, vous avez quelques notions d'algorithmique et peut-être que vous programmez déjà un peu. Ce MOOC est pour vous. Mais si vous avez déjà une expérience d...
Référencé le :
11-04-2018
|
|
Programmation en langage C
[Ressource pédagogique]
Date de publication :
20090501 |
Auteur(s) :
Canteaut Anne |
Editeur(s) :
Université de Limoges, Institut National de Recherche en Informatique et en Automatique |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Ce cours propose les bases du langage C au travers de 7 chapitres consacrés chacun à un aspect du langage. Complété par une présentation de la librairie standard et du débogueur GDB, le cours propose également cinq séries d'exercices de difficulté croissante....
Référencé le :
13-03-2018
|
|
Quand les écrans deviennent bleus
[Ressource pédagogique]
Date de publication :
20131105 |
Auteur(s) :
Muller Gilles |
Editeur(s) :
Institut National de Recherche en Informatique et en Automatique / Interstices |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Peu connus, les logiciels d'infrastructure sont pourtant les piliers de tout système informatique. Gilles Muller nous en parle dans cet épisode du podcast audio.
Référencé le :
25-04-2017
|
|
