Sciences du logiciel

EnseignementLeçon inaugurale – Le logiciel, entre l’esprit et la matièreLa leçon inaugurale a rappelé à quel point l’informatique trouve ses racines dans la logique mathématique. Comme Leibniz avec son calculus ratiocinator, de nombreux logiciens ont cherché dans le calcul une source de vérités abso...

ver descrição completa

Detalhes bibliográficos

Autor principal:	Leroy, Xavier
Formato:	Artigo
Idioma:	Francês
Publicado em:	Collège de France 2022
Assuntos:	informatique logique sémantique langages de programmation logiciel méthodes formelles
Acesso em linha:	https://doi.org/10.4000/annuaire-cdf.16737 https://hdl.handle.net/20.500.13089/9pe8 https://journals.openedition.org/annuaire-cdf/16737
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!