Lambda-calcul, logique et linguistique

Documents et médias

Télécharger le support

pdf (254.2 Ko)

Intervenant(s)

Gérard Huet

Événements

Comment utiliser les réseaux Bayésien pour comprendre les calculs dans les circuits sensoriels

La nécessaire mais délicate coopération de modèles

Multiplicité des formes de calcul neuronal et compositionnalité dans la dynamique corticale

Conclusion

Voir aussi

Cours en relation avec le séminaire : Penser, modéliser et maîtriser le calcul informatique

Gérard Berry, chaire Informatique et sciences numériques

Penser, modéliser et maîtriser le calcul informatique

Lambda-calcul, logique et linguistique

Documents et médias

Intervenant(s)

Gérard Huet

Événements

Calculabilité : machines, langages et fonctions (1)

Calculabilité : machines, langages et fonctions (2)

Le lambda-calcul : réductions, causalité et déterminisme

Lambda-calcul, logique et linguistique

Sémantiques, information et points fixes

Du lambda-calcul à la programmation

Automates et systèmes de transition

Promenade au pays des automates – le coloriage des routes

Le parallélisme asynchrone

Parallélisme et distribution : des calculs aux langages

Le monde distribué : des problèmes aux algorithmes

Parallélisme synchrone et vibratoire

Parallélisme à flot de données : le langage synchrone Lustre

Circuits et nombres 2-adiques

La programmation diffuse

Navigation personnalisée – Internet, P2P et réseaux sociaux

Comment utiliser les réseaux Bayésien pour comprendre les calculs dans les circuits sensoriels

La nécessaire mais délicate coopération de modèles

Multiplicité des formes de calcul neuronal et compositionnalité dans la dynamique corticale

Conclusion

Voir aussi