Esquisse d'une sémiophysique / René Thom

Livre | Thom, René (1923-2002). Auteur | 1988

Paraboles et catastrophes : entretiens sur les mathématiques, la science et...

Livre | Thom, René (1923-2002). Auteur | 1983

Paraboles et catastrophes : entretiens sur les mathématiques, la science et...

Livre | Thom, René (1923-2002). Personne interviewée | 1983

Logique mathématique. 2, Fonctions récursives, théorème de Gödel, théorie d...

Livre | Cori, René. Auteur | 2003

Ce 2e tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles.

Le concept de modèle : introduction à une épistémologie matérialiste des ma...

Livre | Badiou, Alain (1937-....). Auteur | 2007 - Nouvelle édition augmentée d'une préface inédite

Introduction à la modélisation mathématique en biologie / Tamara Servi,... ...

Livre | Servi, Tamara (19..-....) - maîtresse de conférences en logique mathématique. Auteur | 2023

En biologie, la compréhension des modèles mathématiques est déterminante pour interpréter correctement les données collectées et évaluer la fiabilité des prévisions à court et moyen termes. Cet ouvrage, centré sur le raisonnement ...

Biologie et mathématique : histoire et enjeux / Roger Buis

Livre | Buis, Roger. Auteur | 2019

La 4e de couverture indique : "Les processus biologiques sont caractérisés par leur grande variabilité statistique et leur forte dépendance vis-à-vis du temps et de l’environnement. Formaliser la dynamique du vivant, c’est recherc...

Logique. Volume 3, Méthodes pour l'intelligence artificielle / Paul Gochet,...

Livre | Gochet, Paul (1932-2011). Auteur | 2000

Recherches sur l'universalisme logique : Russell et Carnap / François Riven...

Livre | Rivenc, François (1945-....). Auteur | 1993