Denotational Semantics

Denotational Semantics : A METHODOLOGY FOR LANGUAGE DEVELOPMENT

David A. Schmidt

https://www.scss.tcd.ie/Andrew.Butterfield/Teaching/CS4003/DenSem-full-book.pdf

Good Ideas, Through the Looking Glass

Niklaus Wirth, 1969 (Photo credit: Wikipedia)

Good Ideas, Through the Looking Glass 

Niklaus Wirth

Abstract
An entire potpourri of ideas is listed from the past decades of Computer Science and
Computer Technology. Widely acclaimed at their time, many have lost in splendor and
brilliance under today’s critical scrutiny. We try to find reasons. Some of the ideas are
almost forgotten. But we believe that they are worth recalling, not the least because one
must try to learn from the past, be it for the sake of progress, intellectual stimulation, or
fun.


www.inf.ethz.ch/personal/wirth/Articles/GoodIdeas_origFig.pdf

Linked Open Data - What is it?

You don't know what is Linked Open Data ? Watch this short animation !


Linked Open Data - What is it? from Europeana on Vimeo.

Traductions de documents du W3C

Pour les personnes étant un peu fâchées avec l'anglais... Les traductions de documents du W3C (http://www.yoyodesign.org/)

Les documents sont en CC-by-nc

'via Blog this'

Preuves de programmes en COQ

Un podcast vidéo (fuscia.info) sur un langage permettant la preuve de fonctions : COQ.


Le système Coq fournit un langage de programmation symbolique et un cadre logique pour raisonner sur les algorithmes décrits.

Dans ce cours, sont présentés les points clefs du langage de programmation, basé sur la programmation fonctionnelle, et du cadre logique de vérification, basé sur la logique d'ordre supérieur. Tous ces aspects reposent sur l'utilisation avancée de la notion de typage et sur les relations intimes entre types, spécifications, et calculs.


L'auteur Yves Bertot est chercheur à l'INRIA et travaille avec le système depuis une vingtaine d'années.  Il a utilisé ce système pour des études d'algorithmes en technologie des langages de programmation, géométrie, arithmétique des ordinateurs, ...

Ce cours vidéo s'adresse à un public informaticien avec des prérequis qui sont partagés par la majeure partie des ingénieurs du milieu industriel.

A voir sur :
Preuves de programmes en coq - Yves Bertot INRIA

C'est en licence CC-By.

Eleven Equations True Computer Science Geeks Should (at Least Pretend to) Know

Elegant Coding: Eleven Equations True Computer Science Geeks Should (at Least Pretend to) Know: "Eleven Equations True Computer Science Geeks Should (at Least Pretend to) Know"

'via Blog this'

Livre : Informatique et science du numérique

Le premier manuel pour l'enseignement de l'informatique (spécialité ISN) en Terminale S ! A lire aussi pour les étudiants de bac scientifique n'ayant pas fait cette option et désirant faire des études d'informatique dans le supérieur.


Informatique  et sciences du numérique
Spécialité ISN en terminale S
Avec des exercices corrigés et idées de projets


Gilles Dowek, Jean-Pierre Archambault, Emmanuel Baccelli, Claudio Cimelli,
Albert Cohen, Christine Eisenbeis, Thierry Viéville et Benjamin Wack

Préface de Gérard Berry, professeur au Collège de France


https://wiki.inria.fr/wikis/sciencinfolycee/images/7/73/Informatique_et_Sciences_du_Num%C3%A9rique_-_Sp%C3%A9cialit%C3%A9_ISN_en_Terminale_S.pdf
version PDF sous licence  CC by-nc-sa