La recherche a retourné 797 résultats

par sunmat
08 déc. 2014 16:32
Forum : Informatique
Sujet : Langage C exos.2
Réponses : 5
Vues : 2702

Re: Langage C exos.2

Ou CodeBlock, ou CygWin (si tu veux un environnement qui ressemble à Linux sous Windows), ou alors tu télécharges VirtualBox et tu installes un linux dans une machine virtuelle...
par sunmat
08 déc. 2014 14:13
Forum : Informatique
Sujet : Langage C exos.2
Réponses : 5
Vues : 2702

Re: Langage C exos.2

Bon je me permets de remettre ici le code initial en plus propre, parce que dans le message initial, ça pique les yeux. Je ne mets que le premier, avec en commentaires ce qui ne va pas. #include<stdio.h> main // int main(void) plutôt ? { int tab[A],i;N // c'est quoi ce N ? pourquoi il n'a pas de typ...
par sunmat
03 nov. 2014 14:58
Forum : Questions générales sur les écoles
Sujet : Cursus informatique après école d'ingénieurs
Réponses : 6
Vues : 1675

Re: Cursus informatique après école d'ingénieurs

Tu peux trouver un Master qui en contient, et enchaîner avec une thèse dans le domaine. A Nancy par exemple, le Loria a des équipes de recherche spécialisées en crypto et sécurité.
par sunmat
21 oct. 2014 14:47
Forum : Informatique
Sujet : Langage rationnel et miroir
Réponses : 3
Vues : 1685

Re: Langage rationnel et miroir

Oui, je me demande d'ailleurs comment on avait prouvé ça quand j'étais en prépa... EDIT: Je viens de jeter un oeil dans le Sakarovitch ("Elements de théorie des automates"). Page 64, on trouve : On appelle automate transposé de A l'automate obtenu en "renversant" toutes les flèch...
par sunmat
20 oct. 2014 14:55
Forum : Informatique
Sujet : Langage rationnel et miroir
Réponses : 3
Vues : 1685

Re: Langage rationnel et miroir

Il doit y avoir une méthode par induction sur les expressions rationnelles, aussi. Soit E une expression rationnelle, soit m(E) le miroir de cette expression (i.e., l'expression représentant le langage miroir du langage généré par E). On peut définir m de la manière suivante : 1) m(a) = a si a est u...
par sunmat
21 juil. 2014 17:58
Forum : Informatique
Sujet : C++ ou Ocaml (concours I)
Réponses : 5
Vues : 1965

Re: C++ ou Ocaml (concours I)

Essaie tout simplement de te procurer des sujets, et regarde avec quel langage tu vas le plus vite. Je conseillerais néanmoins l'OCaml, il permet d'éviter beaucoup d'erreurs grâce à son système d'inférence de types, et il n'y a pas à se préoccuper de faire un makefile, de compiler et d'exécuter : tu...
par sunmat
05 juil. 2014 17:29
Forum : Questions générales sur les écoles
Sujet : ENS Rennes
Réponses : 92
Vues : 22902

Re: ENS Rennes

"a un coup de téléphone d'une place" ? C'est à dire? Parce que j'ai été admissible aux 4 ENS, mais j'ai l'impression d'avoir raté les oraux, du coup ça me rassurerait de savoir que j'ai de bonnes chances d'avoir ce magistere :/ (J'ai reçu un mail pour qu'on en reparle une fois mes résulta...
par sunmat
04 juil. 2014 15:10
Forum : Questions générales sur les écoles
Sujet : ENS Rennes
Réponses : 92
Vues : 22902

Re: ENS Rennes

Je me permet de remonter le sujet, vu la période. Les élèves ayant passé les concours devraient avoir leurs résultats sous peu (fin juillet il me semble ? je n'arrive pas à trouver la date sur le site de l'ENS). Si vous avez été admissibles mais que vous n'êtes pas admis, n'oubliez pas que vous êtes...
par sunmat
04 juin 2014 11:55
Forum : Renseignements généraux
Sujet : Intégrer l'ENS par la fac
Réponses : 10
Vues : 12969

Re: Intégrer l'ENS par la fac

Et en plus, je ne me vois absolument pas justement être très cadré (kholles, DS, oraux) et surtout passer un concours (mis à part si on est avide d'argent...) alors qu'on peut tout à fait intégrer l'ENS par une autre voix. Il est évident pour moi qu'une grosse pression ne me fera jamais travailler ...
par sunmat
16 mars 2014 09:48
Forum : Informatique
Sujet : Arguments de Cardinalité pour les Automates Finis
Réponses : 1
Vues : 940

Re: Arguments de Cardinalité pour les Automates Finis

Tous les langages sur un alphabet fini s'injectent dans IN. C'est assez trivial à montrer. J'étais tombé sur un exercice aux oraux ENS, concernant les parties rationnelles de IN, c'est à dire les langages de la forme u^k u^* . Je pense qu'on peut montrer que tout langage rationnel L se projette sur ...