Je suis un MONSTRE en informatique theorique, dds question ?

le premier qui me demande si linux c'est mieux je le erase**https://image.noelshack.com/fichiers/2018/27/4/1530827992-jesusreup.png

Jimpose juste mon droit de veto sur IA et ML je suis rincéhttps://image.noelshack.com/fichiers/2018/27/4/1530827992-jesusreup.png

Taille du chibre ?

Pulco de la joue?https://image.noelshack.com/fichiers/2017/18/1494048058-pppppppppppppppppppp.png

ton insecte préféré ?

16, no pulco de la joue

le Bughttps://image.noelshack.com/fichiers/2016/51/1482446912-tinderbug.png

C'est quoi une fonction ?

Fonction = relation ou mapping entre deux elements issue de deux domaine. et yas une seule image par antécédent

explique moi les machines de turing stp j'y comprend rien je dois coder une mdt qui incrémente un nb binaire

Tu peux expliquer le problème P=NP et pourquoi il est aussi compliqué

Ah et une fontion au sens fonction en code c'est en gros la même chose mais selon le paragdigme ça varie un peu. en imperatif c'est un mappring entre deux type et c'est definit semantiquement comme une fonctio mathematique entre une instruction de la grammaire du langage et l'ensemble des fonction d'état memoire et de scope qui retourne un nouvel etat memoire

une machine de Turing c est un modèle de calcul turong complet (c'est a dire que tout les fonction calculables qui sont un sous ensemble des fonctions pejvent être calculés par une marchinz turing equivalente)

formellemznt c'est un quintuplet qui prend un ruban infini (sequence de x binaire ou de nombre indefini).en gros l'idée sans rentrer dans les details ces que t'as des regles de transistion qui modifie l'état du ruban. c'est galère a modeliser des programme avec cette merde mais si tu veux des details je repond apres le topic car c'est trop long

Tu saurais démontrer le théorème d'incomplétude de Gödel ?

Le 15 octobre 2022 à 19:30:12 :
une machine de Turing c est un modèle de calcul turong complet (c'est a dire que tout les fonction calculables qui sont un sous ensemble des fonctions pejvent être calculés par une marchinz turing equivalente)

formellemznt c'est un quintuplet qui prend un ruban infini (sequence de x binaire ou de nombre indefini).en gros l'idée sans rentrer dans les details ces que t'as des regles de transistion qui modifie l'état du ruban. c'est galère a modeliser des programme avec cette merde mais si tu veux des details je repond apres le topic car c'est trop long

ok merci

en gros p=np c'est une conjecture (probablement fausse)

p et np c'est des classe de complexité c'est a dire des ensemble de algorithme. On classe dds algorithme dans p et np selon le comportement asymptotique de leirs fonctions de cout.

np c'est lensemble C'est lensemble des programme dont on peut vérifier la véracité d'une solutipn en in temps polinomial (n n2 n3 n4...) et p ceux dont on peu trouver la solution en un temps polynomial

Pour Godel je l'ai jamais fais mais en gros l'idée c'est de mapper chaque non terminal de la grammaire qui génère les formules syntaxiquement valide de la logique de premier ordre avec les entier naturel. Ensuite tu montre que chaque démonstration peut etre ramener a une suite de naturel et que pour l'ensemble de toute les demonstration encodé de la sorte peut importe la logique utilisé admet toujours un encodae tel quel cet encodage est egal a son contraire

Du coup comme j'ai du temps je precise. P et NP c'est compliqué parce qu'en c'est une question de theorie des ensemble. Si tu trouves un algorithme P mais pas NP tu resoud le problème. En gros le truc c'est que on a des solveur SAT aujourd'hui et si on prouvais ça on pourrait reduire énormément de problème par des karps réduction a ces problems la et les resoudre très facilement. ça rend triviaux des problemes debattue depuis des dizaine d'années en cryptologie etc. A contrario si c'est faut ça veux dire que il y aura toujours des algorithme qui sont casiment impossible a executer pour un problème donné car trop long même si cest le meilleur algo pour ce problème. On sait même pas si l'énoncé est decidable d'ailleurs a l'heure actuelle c'est a dire qu'il est possible qu'il soit impossibible de demontrer que p=np ou inversement

Le 15 octobre 2022 à 18:06:38 :
le premier qui me demande si linux c'est mieux je le erase**https://image.noelshack.com/fichiers/2018/27/4/1530827992-jesusreup.png

Quelle mesure est la plus pertinente entre l'entropie par symbole et l'entropie en log base 2 sur une chaîne de caractères pour déterminer la robustesse d'un mot de passe ?

comment prouve-t-on l'équivalence entre le modèle les automates cellulaires quantique et le modèle des circuits et des portes quantiques ?