Ce cours est le deuxième d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il présente un ensemble de règles de déduction sur les connecteurs logiques permettant de prouver des formules
Mot(s) clés libre(s) : langage logique, représentation des preuves, axiome, règle d'affaiblissement, connecteur, logique classique, raisonnement par l'absurde

Ce cours est le premier d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il présente les aspects syntaxiques des langages logiques
Mot(s) clés libre(s) : langage logique, logique des propositions, calcul prédicat, langage sans variable, formule atomique, quantificateur, formule logique avec variables, substitution dans une formule

Ce cours est la cinquième et dernière séquence d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il étend les notions présentées dans le troisième cours en présentant les schémas d'interprétation d'un langage logique avec variables et quantificateurs du premier ordre et définit l'ensemble des formules valides de ce langage.
Mot(s) clés libre(s) : interprétation d'un langage logique avec variables, règle d'introduction du quantificateur, interprétation des termes, schéma d'interprétation des formules, formule valide, relation de conséquences

Ce cours est le troisième d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il présente le schéma d'interprétation des formules logiques sans variables à partir de la signification donnée aux symboles de fonctions et de prédicats, ainsi qu'aux connecteurs logiques.
Mot(s) clés libre(s) : formule logique, interprétation d'une formule, formule atomique, expression booléenne, formule satisfiable, relation de conséquence sémantique, formule valide, formule prouvable

Ensemble de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Cours 1 : Langages logiques Cours 2 : Règles de déduction sur les connecteurs Cours 3 : Interprétation : fonctions, prédicats et connecteurs Cours 4 : Règles de déduction sur les quantificateurs Cours 5 : Interprétation : variables et quantificateurs
Mot(s) clés libre(s) : langage logique, langage formel, langage de termes, formule atomique, quantificateur, règle de déduction, connecteur, interprétation d'une formule, expression booléenne

Ce cours s'adresse à des étudiants post-bac en informatique. Il permet d'acquérir les concepts fondamentaux de la programmation en langage "assembleur" de manière interactive. Il est accompagné d'une série d'exercices permettant au lecteur de vérifier la bonne acquisition de ces concepts. Le cours couvre les principales instructions des processeurs les plus récents de la famille des 80x86 (Intel et AMD) : instructions d'arithmétique entière, comparaisons et branchements, opérations logiques, gestion de pile, procédures et fonctions, opérations en virgule flottante, parallélisme, etc. Les différentes structures de données sont aussi expliquées (pointeurs, tableaux, matrices, etc.) et des parallèles avec les langages de programmation avancés sont faits régulièrement.
Mot(s) clés libre(s) : assembleur, langage de programmation, langage machine, processeur, 80x86, opérations logiques, pointeurs, tableaux, matrices, codage des données

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 entre la langue arabe et la logique grecque est aussi ancien que le début des traductions du corpus du savoir grec à l’arabe. La fameuse controverse entre le grammairien al-Sirafi et le logicien Matta Ibn Yunus (320H = vers 930) rapportée par al-Tawhidi en a structuré par formulation. Depuis le XIXe siècle la tradition d’études européenne a traité des rapports de la langue arabe et de sa grammaire avec la logique aristotélicienne dans deux perspectives en apparence apposées mais en fait solidaires. L’une s’est efforcée d’établir l’influence de la l’ Organon sur l’œuvre des premiers grammairiens ; l’autre systématisant l’incompatibilité de l’Islam avec la philosophie et la rationalité opposa la logique grecque à la langue et la grammaire arabe. L’étude de cerains textes classiques tels que ceux d’al-Farabi ou d’al-Batalyawsi permet de réduire la trop grande part idéologique prise dans la présentation de ce thème dont les termes sont devenus les symboles d’une opposition irréductible entre l’ « occident » et l’Islam.Equipe technique Directeur de la production: Christophe Porlier, Responsable des moyens techniques: Francis Ouedraogo, Réalisation : Service commun audiovisuel et multimédia Cadre: Mathias Chassagneux, Carine Doléac, Son: Xavier Comméat, Encodage-Montage-Diffusion Web : Jean-Claude Troncard
Mot(s) clés libre(s) : civilisation islamique, civilisation occidentale, échange de savoirs, langue arabe, logique grecque, moyen âge, orient et occident, philosophie arabe

De la chimie de synthèse à la biologie de synthèseFrom Synthetic Chemistry to Synthetic BiologyConférence internationalemardi 5 mai 2009amphithéâtre Maurice HalbwachsCollège de France11 place Marcelin-Berthelot - 75005 Paris10h40 Jacques REISSE (Université Libre de Bruxelles)La chimie prébiotique: un domaine flou
Mot(s) clés libre(s) : biologie synthétique, chimie de synthèse, chimie prébiotique, espèce, évolution chimique, indice de vie, logique floue, matière vivante, système moléculaire

De la chimie de synthèse à la biologie de synthèseFrom Synthetic Chemistry to Synthetic BiologyConférence internationalemardi 5 mai 2009amphithéâtre Maurice HalbwachsCollège de France11 place Marcelin-Berthelot - 75005 Paris15h00 François KÉPÈS (Genopole, Evry)Biologie synthétique et intégrative
Mot(s) clés libre(s) : biologie intégrative, biologie synthétique, biologie systèmique, biotechnologies, chimie de synthèse, génie génétique, ingénierie de la biologie, logique du vivant

Exo7. Exercices de mathématiques pour les étudiants. Retrouvez la correction écrite sur http://exo7.emath.frPhrase logique, "epsilon", "pour tout", "il existe".Bonus (à 3'13'') : quantificateurs.
Mot(s) clés libre(s) : "epsilon", "il existe", "pour tout", phrase logique