Localisation

Adresses

Aix-Marseille Université
Institut de Mathématiques de Marseille (I2M) - UMR 7373
Site Saint-Charles : 3 place Victor Hugo, Case 19, 13331 Marseille Cedex 3
Site Luminy : Campus de Luminy - Case 907 - 13288 Marseille Cedex 9

Séminaire

De la logique catégorique à la complexité descriptive catégorique [LSC]

Baptiste Chanus
LIPN, Sorbonne Paris Nord

Date(s) : 24/04/2025   iCal
11h00 - 12h30

La catégorie syntaxique est une construction qui permet de raisonner sur la
logique à l’aide des outils de la théorie des catégories. D’un autre côté, la
complexité descriptive fait le lien entre l’expressivité du langage logique et
la complexité algorithmique des problèmes. Je vais introduire les construction
liées à la catégorie syntaxique et montrer comment on peut parler de
complexité comme en utilisant des propriétés catégoriques.

Emplacement
Luminy - LIS, salle 04.05

Catégories


Secured By miniOrange