« Utilisateur:SnazyFH » : différence entre les versions

Etudiant passionné par l'informatique théorique, les maths, la musique, la photographie et la politique.

Jetez un oeil à tout ce que l'informatique regroupe c'est magnifique

∇

Mathématiques

J’aime les mathématiques.

∇

Informatique

L’informatique, c’est fantastique !

∇

Agnostique

Je suis agnostique.

∇

Antilibéral

Je m'oppose à l'ultralibéralisme sauvage.

∇

LATEX

Je rédige avec (LA)TEX.

...

v · m Informatique théorique
Codage	Codage de l'information Compression de données Chiffrement Cryptanalyse Cryptographie Théorie de l'information
Modèles de calcul	Calculabilité Décidabilité et indécidabilité Ensemble récursif Problème de l'arrêt Ensemble récursivement énumérable Machine de Turing Thèse de Church Automate cellulaire Réseau de neurones artificiels Réduction polynomiale Problème NP-complet Principe de Church-Turing-Deutsch
Algorithmique	Algorithmique Algorithme glouton Algorithme probabiliste Algorithme génétique Complexité algorithmique Analyse d'algorithme Diviser pour régner Heuristique Programmation dynamique Géométrie algorithmique Algorithmes de tri Algorithmique du texte Exploration de données Science des données Apprentissage profond Test de primalité Structure de données Arbre enraciné Concurrence Parallélisme
Syntaxe	Réécriture Compilation Expression régulière Grammaire formelle Langage rationnel Ensemble rationnel Théorie des langages Théorie des automates Automate fini Automate sur les mots infinis Automate d'arbres Automate à pile Hiérarchie de Chomsky Linguistique informatique
Sémantique	Interprétation abstraite Méthodes formelles Vérification de modèles Sémantique des langages de programmation Sémantique dénotationnelle Sémantique axiomatique Sémantique opérationnelle
Logique mathématique	Assistant de preuve Calcul des prédicats Correspondance de Curry-Howard Fonction récursive Lambda-calcul Théorèmes d'incomplétude de Gödel Théorie des types
Mathématiques discrètes	Combinatoire Algorithme du simplexe Optimisation combinatoire Théorie des graphes Algorithmes de la théorie des graphes Recherche opérationnelle Théorie de la décision Analyse numérique

Musiques à ABSOLUMENT écouter !

[modifier | modifier le code]

Jigsaw Falling Into Place - Radiohead
Weird Fishes - Radiohead
Reckoner - Radiohead
Exit Music (For A Film) - Radiohead
Don't Be so Serious - Low Roar

Livres d'informatique à lire

[modifier | modifier le code]

Olivier Carton, Langages formels, calculabilité et complexité, 2008 [détail de l’édition] (lire en ligne)
Brian W. Kernighan, Dennis Ritchie, The C Programming Language

@@ Ligne 1 : / Ligne 1 : @@
 Etudiant passionné par l'informatique théorique, les maths, la musique, la photographie et la politique.
-S'il y a une chose qui m'énerve c'est qu'on associe informatique à programmation (et seulement la programmation!) et code à programmation ... Jetez un oeil à tout ce que l'informatique regroupe c'est magnifique
+Jetez un oeil à tout ce que l'informatique regroupe c'est magnifique
 {{Utilisateur mathématiques}}{{Utilisateur informatique}}{{Utilisateur Agnostique}}{{Utilisateur antilibéral}}
 {{Utilisateur TeX}}

Dernière version du 15 mars 2023 à 15:53

Musiques à ABSOLUMENT écouter !

Livres d'informatique à lire