Catégorie:Portail:Informatique théorique/Articles liés
Apparence
Pages dans la catégorie « Portail:Informatique théorique/Articles liés »
Cette catégorie contient 2 111 pages, dont 200 sont affichées ci-dessous.
(page précédente) (page suivante)J
- Michael A. Jackson
- Jan van Leeuwen
- Jardin d'Éden (automate cellulaire)
- Vojtěch Jarník
- Mark Jerrum
- Jeu Blotto
- Jeu d'Ehrenfeucht-Fraïssé
- Jeu de coordination
- Jeu de l'appariement des sous
- Jeu de la princesse et du monstre
- Jeu de la vie
- Jeu de marchandage de Nash
- Jeu de parité
- David S. Johnson
- Join-Calcul
- Joost-Pieter Katoen
- Michael Jordan (informaticien)
- Jean-Pierre Jouannaud
- Journal of the ACM
- Journal of Automata, Languages and Combinatorics
- Journal of Computer and System Sciences
- Journal of Graph Theory
- Journal of Logic and Computation
- Journal of Machine Learning Research
- Antoine Joux
- Richard Jozsa
- Jump point search
K
- K-médoïdes
- K-arbre
- K-centre
- K-médiane
- K-moyennes
- Jeff Kahn
- Gil Kalai
- Yael Tauman Kalai
- László Kalmár (mathématicien)
- Ravindran Kannan
- Anatoli Karatsouba
- Anna Karlin
- Narendra Karmarkar
- Richard Karp
- Dina Katabi
- Gyula O. H. Katona
- Ken-ichi Kawarabayashi
- Neeraj Kayal
- Richard Kenyon
- Kernelisation
- Leonid Khatchian
- Subhash Khot
- Victor Klee
- Stephen Cole Kleene
- Jon Kleinberg
- Graphe de Kneser
- Donald Knuth
- Pascal Koiran
- Daphne Koller
- Rao Kosaraju
- Anton Kotzig
- Elias Koutsoupias
- Dexter Kozen
- Daniel Kráľ
- Jean-Louis Krivine
- Joseph Kruskal
- Forme normale de Kuroda
- Marta Kwiatkowska
L
- L (complexité)
- L-Système
- Laboratoire d'informatique de Grenoble
- Richard E. Ladner
- Lambda cube
- Lambda Prolog
- Lambda-calcul
- Lambda-calcul simplement typé
- Leslie Lamport
- Susan Landau
- Langage algébrique
- Langage algébrique déterministe
- Langage congruentiel
- Langage contextuel
- Langage de Dyck
- Langage de Łukasiewicz
- Langage formel
- Langage local
- Langage rationnel
- Langage sans étoile
- Langage unaire
- Christopher Langton
- Jean-Claude Laprie
- Largeur arborescente
- Largeur de clique
- Kasper Green Larsen
- Alain Lascoux
- Last in, first out
- Latin and American Algorithms, Graphs and Optimization Symposium
- Eugene Lawler
- LCS35
- Yann Le Cun
- Algorithme de Lehmer-Schur
- Leibniz-Zentrum für Informatik
- Charles E. Leiserson
- Lemme d'Arden
- Lemme d'échange
- Lemme d'itération
- Lemme d'itération de Bader et Moura
- Lemme d'itération pour les langages algébriques
- Lemme d'Ogden
- Lemme de Berge
- Lemme de Johnson-Lindenstrauss
- Lemme de l'étoile
- Lemme de Levi
- Lemme de Newman
- Lemme local de Lovász
- Abraham Lempel
- Douglas Lenat
- Jan Karel Lenstra
- André Lentin
- Xavier Leroy
- Pierre Lescanne
- Leonid Levin
- LexBFS
- LH (complexité)
- Limite de Bekenstein
- Limite de Bremermann
- Line graph
- Nati Linial
- Jacobus van Lint
- Richard J. Lipton
- Liste chaînée
- Liste d'adjacence
- Liste de classes de complexité
- Liste de problèmes NP-complets
- Liste de publications importantes en informatique théorique
- Liste des algorithmes de la théorie des graphes
- Liste des jeux en théorie des jeux
- Liste des principales conférences d'informatique théorique
- Liste des théoriciens du jeu
- Locality sensitive hashing
- Jacques Loeckx
- Logarithme discret
- Logarithme itéré
- LOGCFL
- Logical Methods in Computer Science
- Logique
- Logique contrainte
- Logique d'ordre supérieur
- Logique de description
- Logique de Hoare
- Logique de séparation
- Logique floue
- Logique temporelle
- Loi de Grosch
- Giuseppe Longo
- Longueur palindromique d'un mot
- Amnon Lotem
- Oleg Loupanov
- László Lovász
- Alexander Lubotzky
- Michael Luby
- Carsten Lund
- Nancy Lynch
- LZ77 et LZ78
M
- Machine à compteurs
- Machine à état liquide
- Machine à états abstraits
- Machine à vecteurs de support
- Machine abstraite
- Machine autoréplicative
- Machine de Blum-Shub-Smale
- Machine de Krivine
- Machine de Mealy
- Machine de Moore
- Machine de Turing
- Machine de Turing non ambigüe
- Machine de Turing non déterministe
- Machine de Turing probabiliste
- Machine de Turing symétrique
- Machine de Turing universelle
- Machine Intelligence Research Institute
- Machine Learning (revue)
- Machine SECD
- Percy Alexander MacMahon
- Aleksander Mądry
- Spyros Magliveras
- Urmila Mahadev
- Maillage polygonal
- Maille (théorie des graphes)
- Mamba (apprentissage profond)
- Ebrahim Mamdani
- Zohar Manna
- Marche de Jarvis
- Marching cubes
- Marching squares
- Marching tetrahedra
- Adam Marcus (mathématicien)
- Théorème de Margolus-Levitin
- Master theorem
- Mathematical Optimization Society
- Mathematical Programming
- Mathematics of Computation
- Mathématiques discrètes