Votre recherchelogique symbolique

M. André de Palma mathématicien, professeur à l’ENS Cachan

Modern programming languages such as Java, Scala, and Rust are examples of concurrent higher-order imperative programming languages.

Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements

Territoires attractifs, territoires sportifs ? - TerAtTerS Saison 1 : l'attractivité des territoires et les pratiques sportives, quels enjeux ?

Conférence du 17 janvier 2000 par Gilles-Gaston Granger. La rationalité est-elle nécessairement le produit d'un raisonnement ? Pour répondre à cette question, nous distinguerons rationalité d'une

Présentation de David le Breton (Université de Strasbourg), professeur de sociologie et d'anthropologie et spécialiste de l'analyse des comportements à risque.

Interview de Stephen Hugh Jones, dans le cadre de la sortie du livre "Femmes indisciplinées - Le corps-tube, de la Renaissance italienne à l'Amazonie". Roman publié le 13 octobre 2022 par les

Qu'est-ce qu'une image ? Une copie, un reflet, une ressemblance, une visée intentionnelle, une manière d'être de la conscience imageante ? En quoi se distingue-t-elle d'un concept, d'un signe, d'un

Conférence du 30 avril 2022

L'objet central de la linguistique contemporaine est de modéliser les langues naturelles et leur fonctionnement, c'est-à-dire comment un locuteur exprime un sens dans une langue donnée ou comment à

Entrer dans la pensée de Jean Baudrillard n'est pas chose aisée. Non que sa langue soit particulièrement difficile, elle évite au contraire la prose jargonnante qui faisait naguère florès. Si son

Dans colloque "Identités américaines : relations et interactions - American Identities in relation and interaction" organisé par le laboratoire Cultures Anglo-Saxonnes (CAS) de l'Université Toulouse