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

Runtime monitoring/verification is a lightweight technique that complements other verification methods in a multi-pronged approach towards ensuring software correctness. The technique poses novel

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

De nombreux dispositifs électroniques visent à améliorer la sécurité des échanges sur des réseaux ouverts comme Internet. Ces dispositifs, tels que les protocoles cryptographiques, reposent

Session Traduction, langage et pensée philosophique Colloque L’Islam et l’Occident à l’époque médiévale. Transmission et diffusion des savoirs. (11, 12, 13 mars 2009) L’histoire du thème des rapports

Penser c’est avancer mais comment pense-t-on ? Pour raisonner, l’homme fait appel à deux mémoires de travail : - la première, la pensée linéaire ou boucle phonologique permet d’enchaîner les

J’analyserai la naissance des notions de "vérité" et de "réalité (objective)", notions qui nous semblent aller de soi, mais sont en réalité apparues à un moment précis de l'histoire de notre

Texte prétexte, le roman à thèse sature tout l’espace d’interprétation offert aux lecteurs, il atteint ainsi son but idéologique mais il se condamne à dépendre pour sa postérité des aléas

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.