Département:Informatique théorique

Département : Informatique théorique

Faculté d'Informatique

L'informatique est une science théorique à finalité pratique. Elle concerne la définition, le classement, la recherche et le traitement automatiques des informations, d'où son nom : information – automatique.

Bien qu’il soit difficile de déterminer sa date de naissance, on s'accorde à penser qu'elle a émergé dans les années 1930. C’est donc une science très jeune qu’il est encore difficile de classer : certains l'incluent dans les mathématiques appliquées, voire dans la théorie des nombres ; d'autres disent qu’il s'agit d'une mathématique, incluse dans les mathématiques. Même si les frontières entre l'informatique et certains domaines des mathématiques sont floues de nos jours, certains théoriciens sont d'accord pour affirmer que, par l’axiome du choix, l'informatique est un sous-ensemble des mathématiques.

Abelson et Sussman ont noté que si les mathématiques partent de définitions (question ‘what is?’), l'informatique part toujours d’un but à atteindre (question ‘how to?’).

[]

Leçons par thème

Culture de base Internet Introduction à l'informatique Certificat informatique et internet Culture et pratique de l'informatique Le piratage informatique Les rôles de la CNIL Logiciel libre Applications pour mobiles Informatique et sciences du numérique Progiciel de gestion intégré Rédaction collective de documents Réseaux de neurones Brevet informatique et internet école Brevet informatique et internet collège Brevet informatique et internet lycée Informatique au lycée	Mathématique Algèbre linéaire appliquée Algèbre relationnelle Arithmétique et cryptographie Modèles de calcul Modélisation mathématique appliquée aux sciences Probabilités, statistiques et combinatoire Introduction à la théorie de la communication Notions avancés de la théorie de la communication	Méthodologie Analyse numérique appliquée Datawarehouse Techniques de développement Génie logiciel orienté objets ERP ERP SAP ERP ORACLE Datamining E-paiement Gestion de projet stratégique Gestion des documents d'entreprise Gouvernance des systèmes d'information Hypercubes Intégration de données Intelligence Stratégique Modélisation UML Oracle Hyperion Essbase Paiement mobile (m-paiement) Pilotage du changement Prévision décisionnelle Progiciel de gestion intégré SAP
Algorithmique Algorithmique Approche de programmation concurrente sous Android Calculabilité et complexité Complexité algorithmique Géométrie et géométrie algorithmique Introduction aux structures de données, algorithmes et programmation Approfondissement des notions de structures de données, algorithmes et programmation Notions avancées de structures de données, algorithmes et programmation	Système Systèmes d'exploitation Systèmes distribués Réseaux et protocoles Réseaux locaux et interconnexions Introduction aux systèmes de bases de données Interfaces homme-machine	Logique Introduction aux grandes catégories de problèmes Introduction aux notions de logique et programmation logique Approfondissement des notions de logique et programmation logique Leçon de logique mathématique
Théorie des graphes Théorie des graphes Graphes et recherche opérationnelle	Théorie des langages Théorie des langages Théorie du langage Théorie de l'information Compilation	Arbres Arbres binaires Arbres de décision

[]

Documents par niveau

Niveau 0	Niveau 1	Niveau 2
Niveau 3	Niveau 4	Niveau 5
Niveau 6	Niveau 7	Niveau 8
Introduction à l'informatique	Brevet informatique et internet collège
Niveau 9	Niveau 10	Niveau 11
	Brevet informatique et internet école	Brevet informatique et internet lycée
Niveau 12	Niveau 13	Niveau 14
Informatique au lycée	Informatique et sciences du numérique Internet	Algèbre relationnelle Algorithmique Approche de programmation concurrente sous Android Certificat informatique et internet Complexité algorithmique Introduction aux systèmes de bases de données Systèmes d'exploitation
Niveau 15	Niveau 16	Niveau 17
Arbres binaires Leçon de logique mathématique Théorie des langages	Applications pour mobiles Datawarehouse ERP ERP SAP ERP ORACLE E-paiement Gestion des documents d'entreprise Le piratage informatique Les rôles de la CNIL Logiciel libre Paiement mobile (m-paiement) Pilotage du changement Oracle Hyperion Essbase Progiciel de gestion intégré Progiciel de gestion intégré SAP Rédaction collective de documents Théorie des graphes	Calculabilité et complexité Compilation Gestion de projet stratégique Hypercubes Intégration de données Intelligence Stratégique Modélisation UML Théorie de l'information
Niveau 18	Niveau 19	Niveau 20
Arbres de décision Datamining Gouvernance des systèmes d'information Prévision décisionnelle Réseaux de neurones Théorie du langage

[]

Participants

• Kaepora : Tout, mais surtout la complexite
• Teclis01 : Va chercher mon Dijkstra !
• Psychoslave : « Zéro ou un, tel est ce que l’on questionnera ! »
• JackPotte
• Cynddl ^{( ⌧ )}

[]

Voir aussi

• Département d'optimisation combinatoire
• Informatique théorique/Bibliographie et liens

[]