Notice
Epistémologie de l'informatique et applications
- document 1 document 2 document 3
- niveau 1 niveau 2 niveau 3
Descriptif
Aujourd'hui, le computer est au coeur des techniques deconception comme de représentation et de formalisation dans lessciences et dans les techniques contemporaines. L'informatique passe àla fois pour une discipline-fondement et une discipline-carrefour. Ilest donc important de réfléchir de temps à autre à sa nature et à sespotentialités, au moins théoriques. Dans cette perspective, cetteconférence tentera d'abord d’ébaucher une caractérisation de ce qu'estl'informatique dans sa forme la plus générale pour en venir ensuiteaux applications que permet une telle caractérisation. Nous montreronsen particulier que cette caractérisation présente l’avantage depermettre de distinguer entre différents types de simulation :notamment entre émulation et simulation, puis entre simulationnumérique et simulation informatique. En suite de quoi, certainesquestions de principe sur la simulabilité du vivant, de l’esprit, ducerveau, etc., pourront alors non pas être résolues, bien entendu,mais au moins posées avec plus de clarté et de discernement. Lerapport entre langage humain et informatique pourra également êtrepartiellement éclairci.
Cette conférence a été donnée dans le cadre du groupe IDEES (Informatique: Didactique et Enseignement) du Loria
L'option d'informatique et sciences du numérique ouvre cette année aubacalauréat. A l'opposé du B2I et C2I, l'objectif est de transmettreles bases de notre science. Après l'introduction de l'algorithmiquedans les programmes de mathématiques au lycée, c'est un nouveau pasvers l'enseignement de l'informatique à tous.
Cette démocratisation impose de faire évoluer l'enseignement del'informatique : les formations visant les futurs spécialistes enplace dans le supérieur ne sont pas adaptées à la formation de tousles citoyens de demain. Il faut revoir le contenu de nosenseignements, et peut-être également nos pratiques pédagogiques. Celapasse nécessairement par une (re)définition des fondements de notrescience et ce qu'il est important de transmettre dans ce nouveaucadre.
Intervention / Responsable scientifique
Dans la même collection
-
Quelques algorithmes de calcul d'enveloppe convexe en 2D
GiraultAlainLe calcul de l'enveloppe convexe d'un nuage de points est un des problèmes fondamentaux en informatique, avec des applications multiples : traitement d'images, reconstruction 3D, détection de
-
Modélisation de la croissance des micro-organismes
JongHidde deLa croissance microbienne peut être formulée comme un problème d'optimisation : comment allouer les ressources nutritives extraites de l'environnement aux différentes fonctions cellulaires afin de
-
Les mathématiques et la physique dans les effets spéciaux et les jeux vidéo
NeyretFabriceLa synthèse d’images (parfois appelée « la 3D ») permet de créer dans l’ordinateur des mondes fictifs, ultra-réalistes ou de style cartoon selon l’envie des graphistes, des réalisateurs, des
-
Caches, montrez-vous !
DurandMarieLes processeurs actuels permettent de l'ordre de quelques tera-opérations par seconde. Puissance nécessaire pour soutenir les besoins en simulation numérique, qui constitue, après la théorie et l
-
Théorie de l’appariement et applications actuelles
PradelskiBaryPourquoi y a-t-il tant de personnes sans emploi alors qu’au même moment un grand nombre de postes sont disponibles ? La théorie de l’appariement analyse ces problèmes où un certain nombre de
-
Le numérique face aux enjeux environnementaux et sociétaux
PradosEmmanuelL’humanité est aujourd'hui confrontée à des défis sans précédent et étroitement entremêlés. Le risque d'effondrement environnemental et civilisationnel est désormais établi. Face à ces enjeux, de
-
« Pirater » l’humain. Données, manipulations et enjeux éthiques
CastellucciaClaudeNos données personnelles sont collectées et utilisées en permanence par les services en ligne, comme Google ou Facebook ou encore exploitées par les publicitaires pour personnaliser les contenus ou
-
Des besoins en calcul de plus en plus performant
RaffinBrunoLes supercalculateurs actuels sont de plus en plus complexes que ce soit au niveau de l'architecture des processeurs, du réseau ou de la hiérarchie mémoire. Leur programmation est un enjeu majeur
-
Les mathématiques de l'intelligence artificielle
ArbelJulyanL'intérêt pour l'intelligence artificielle (IA) s'est considérablement accru ces dernières années suite au succès de son application à des problèmes de société variés tels que la santé, la justice,
-
Vers la navigation sociale des véhicules autonomes
SpalanzaniAnne-MarieLe véhicule autonome n'est pas un "simple" robot, tel un robot compagnon, mais un robot qui transporte des personnes. Cela implique que les passagers doivent se sentir intégrés dans le trafic comme
-
Comment les plantes font-elles des mathématiques ?
GodinChristopheLes plantes font partie des objets les plus familiers qui nous entourent, mais aussi les plus mystérieux. L’arrangement de leurs organes par exemple fait souvent apparaître des symétries d’une
-
Ordonnancement pour systèmes temps réel : conception et vérification
QuintonSophieUn système informatique est dit "temps réel" dès qu'il doit répondre à un stimulus dans un délai donné. Les système informatiques embarqués dans les avions et les voitures sont ainsi soumis à des
Avec les mêmes intervenants et intervenantes
-
An extensionalist analysis of computer simulations
VarenneFranckThe current spreading of multi-scale and multi-process integrative simulations is challenging for the philosophy of science. What is the epistemic function of such a simulation? What does it
-
Simulation of HPC systems part 3
QuinsonMartinDegommeAugustinThe first part of the tutorial will present and contrast current experimental methodologies, giving attendees in-depth understanding of the scientific and technological issues at hand. The
-
Simulation of HPC systems part 1
QuinsonMartinDegommeAugustinThe first part of the tutorial will present and contrast current experimental methodologies, giving attendees in-depth understanding of the scientific and technological issues at hand. The
-
Simulation of HPC systems part 2
QuinsonMartinDegommeAugustinThe first part of the tutorial will present and contrast current experimental methodologies, giving attendees in-depth understanding of the scientific and technological issues at hand. The
