« Discussion Projet:Informatique » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (-\b([mMtT]oi|[eE]ux|[lL]ui|[nNvN]ous|[eE]lles?) m[êe]me(s?)\b +\1-même\2) |
m Robot : Remplacement de texte automatisé (-\b(m|M)emm?e(s?)\b +\1ême\2) |
||
Ligne 27 :
:-- [[Utilisateur:Hasaike|Hasaike]] 4 mai 2007 à 20:09 (UTC)
::Salut Hasaike,
::Tu tombes a pic! Je commencais a croire que la creation d'un departement d'info fondamentale n'interessait personne... en ce qui me concerne, je pense pouvoir surtout contribuer a des cours d'algo, de théorie des graphes, de théorie des langages, voir
::--[[Utilisateur:Kaepora|Kaepora]] 4 mai 2007 à 21:16 (UTC)
Ligne 61 :
::
::[[Utilisateur:Hasaike|Hasaike]] 5 mai 2007 à 21:12 (UTC)
:::Nous ne sommes pas tout a fait dans une universite, mais dans une communaute libre ayant pour but l'apprentissage, les cours se calquant un peu sur le fonctionnement universitaire. L'HTML est un langage au
:::Concernant la scission des {{abréviation|OS|Operating System|en}} dans les deux departements, oui, bien sur ! C'était clair dans ma tete mais je l'ai peut être mal exprime : il ne faut pas confondre "Comment ca fonctionnne ?", c'est-a-dire l'explication des mecanismes d'un {{abréviation|OS|Operating System|en}}, et "Comment faire fonctionner", c'est-a-dire la pratique d'un {{abréviation|OS|Operating System|en}}.
:::[[Utilisateur:Kaepora|Kaepora]] 6 mai 2007 à 10:01 (UTC)
Ligne 77 :
:::::: Voilà ce que j'en pense pour l'instant, mais ce serait intéressant d'avoir ton avis, car tu t'y connais beaucoup plus que moi.
::::::[[Utilisateur:Hasaike|Hasaike]] 6 mai 2007 à 11:27 (UTC)
:::::::Oula Hasaike,
:::::::J'approuve ton classement. J'y rajouterai juste une section "Langages declaratifs" dont ProLog fait parti, une section "Langages de script" (ou "Langages-script"), ainsi qu'une separation claire entre les imperatifs et les objets. Les personnes qui ont crees cette parge ont voulu faire une liste assez etendue de divers langages, mais je me demande si c'est réellement utile. Je propose ce classement de base qui bien sur pourra evoluer par la suite :
:::::::* Langages imperatifs : C, COBOL, Fortran, Pascal
Ligne 104 :
== L'algorithmique ==
Ce topic n'a pas vraiment sa place dans les discussions generales de la fac d'info, mais je pense qu'il sera plus souvent lu si je le place ici plutôt que dans les discussions d'algo, ou
Hasaike et moi-
Le probleme est le suivant : Le sommaire du cours d'algo ne correpond pas a un cours d'algo. On dirait plutôt une introduction generale aux langages imperatifs. D'antant plus que le contenu est faux (ou plutôt, pour être moins negatif, pas tout a fait exact). Première phrase : "Une variable est un espace mémoire". Non, une variable est composee d'un type (en general) et d'un nom ; elle est liee a une reference dans un environnement, reference qui est elle-même liee a une valeur dans la memoire. Le couple (environnement, memoire) forme l'etat courant du programme. Il n'est pas utile d'aller si loin pour un premier cours d'intro generale aux langages imperatifs ; tout ceci sera detaille dans un chapitre de semantique opérationnel dans les cours de semantique du departement d'info theo (D.I.T. si vous me le permettez).
Ligne 123 :
:
:[[Utilisateur:Hasaike|Hasaike]] 5 mai 2007 à 20:29 (UTC)
::Effectivement, le but de "l'introduction générale à la programmation" est, comme l'indique son titre, de presenter les aspects généraux de la programmation dans un langage naturel. Mais il s'agit en tout et pour tout d'une preparation de terrain pour apprendre a programmer. Il n'y a aucune finalite théorique dans ce cours ni après ce cours. Je ne conseille
::Concernant le chapitre d'algo sur les graphes, c'est effectivement discutable. J'insiste toutefois sur le fait qu'il s'agit d'algorithmique sur les graphes, et non algorithmes de théorie des graphes qui est une confusion des genres. Quand je parle d'algorithmique sur les graphes, je pense aux trucs de base du genre parcours en largeur et en profondeur, chemin de poids minimum (algo de Dijkstra), arbre couvrant de poids minimum (algos gloutons de Prim et Kruskal), probleme de flot (Ford-Fukerson), etc. Disons que ce chapitre fait le lien entre l'algo et la théorie de graphes : c'est un niveau relativement avance en algorithmique et le niveau zero en théorie des graphes. Bref ces deux ensembles ne sont pas disjoint et leur intersection nous donne l'algorithmique sur les graphes. Rien ne nous empeche de faire laisser ceci comme dernier chapitre de l'algo (ca etoffe le cours d'algo), de faire un lien partant du premier chapitre de la théorie de graphe vers ce dernier chapitre d'algo, et de continuer la théorie des graphes sur quelque chose de plus serieux, comme le theoreme des quatre couleurs, les decompositions de graphes par treewidth, bandwith, l'étude des graphes parfaits, des bi-graphes, ...
::[[Utilisateur:Kaepora|Kaepora]] 6 mai 2007 à 10:23 (UTC)
| |||