Les cartes heuristiques pour enseigner et apprendre

Les cartes heuristiques pour enseigner et apprendre

Un outil intéressant et pas forcément facile à exploiter efficacement, il est beaucoup utilisé en entreprise.

haXe

haXe est un langage de programmation dont le compilateur permet de générer du PHP, du C++, du Flash, etc. A tester ! Des commentaires sur ce langages seront les bienvenus.
Tutoriels - haXe

How to Make Presentations Accessible to All

web accessibility word cloud (Photo credit: itjil)

Le W3C, dans le cadre de la "Web Accessibility initiative", propose un portail donnant des conseils afin de faire en sorte que les présentations (exposés, soutenances de projet ou de stage, conférences, etc) soient plus accessibles.

How to Make Presentations Accessible to All

Green-IT - quelques conseils

Conseils d’usage pour une informatique plus verte - Greenit informatiqueverte.info

Le projet "pour une informatique plus verte" a pour objectif de sensibiliser les citoyens à l'impact énergétique et environnemental de l'usage quotidien de l'ordinateur et de ses périphériques, à partir de questions que beaucoup se posent.

Intégrer plus facilement la MIAGE

Projet DVD-MIAGE

La MIAGE est une formation dans le domaine de l’informatique de gestion depuis plus de trente-cinq ans. Afin de faciliter leur intégration, ce projet vise à proposer des ressources permettant à des étudiants hors profil Info-Gestion (ou ayant des résultats faibles dans des matières clefs) d’acquérir les connaissances pré-requises pour une entrée réussie en L3 Info-Gestion et pour les aider à consolider leurs connaissances durant cette formation. Ces ressources permettront aux candidats à l’entrée en MIAGE (L3) de passer les éventuels tests de validation des acquis.

http://miage.univ-nantes.fr/miage/DVD-MIAGEv2

Noam Chomsky. (Photo credit: Wikipedia)

Automates et langages

Le module « Automates et langages » vise à introduire les bases de la théorie des langages, des automates ainsi que les principales notions sur les compilateurs. Il permet d’appréhender un certain nombre de techniques fondamentales :

• de nouvelles techniques de programmation (notion de programmation dirigée par la syntaxe)
• le contrôle de validité
• la compréhension et optimisation de nouveaux outils proposant l’utilisation des expressions régulières (Perl, PHP, JDK 1.4…)
• la présentation de bases pour des techniques de CSI (modélisation dynamique en UML) et de compilation (analyseurs lexicaux).
• …

Ce cours propose aussi d’habituer l’étudiant à des formalisations et démonstrations utiles pour d’autres cours.

Nous y définissons les notions suivantes : vocabulaire, langage, grammaires, classification de Chomsky, langages relationnels, expressions régulières, machine de Turing, automates déterministes et non-déterministes. Nous présentons aussi bien les bases théoriques nécessaires à la bonne compréhension de ces notions que des algorithmes de base permettant de les manipuler. En particulier,nous nous attachons à présenter les outils permettant de construire un analyseur de chaînes de symboles à partir d’une ou plusieurs expressions décrivant leur construction (le langage).

Pour comprendre les notions abordées dans ce modules, il est nécessaire de bien maitriser les concepts suivants : théorie des ensembles, démonstration par l’absurde et démonstration par induction, algorithmique, programmation impérative (éventuellement programmation objet Java).

Attention ! Ce module est un module sans doute un peu plus difficile que les autres. Les principales raisons sont les suivantes :

• c’est un module assez théorique qui se base sur un certain nombre de concepts mathématiques ;
• il demande de mettre en oeuvre des raisonnements logiques et il faut d’être capable de faire des preuves ;
• de ce fait, il est nécessaire de maitriser un minimum les notations mathématiques les plus courantes.

Ceci dit, tout au long de ce cours, certains théorèmes ou lemmes sont démontrés. Il n’est pas demandé de connaitre « par coeur » ces démonstrations mais de comprendre les procédés mis en oeuvre. Par contre, il faut être capable d’expliquer toutes les méthodes et les résultats que vous obtenez dans les différents exercices. Encore une fois, le plus important est de comprendre les méthodes présentées et pourquoi elles fonctionnent.

Quelques conseils pour bien réussir :

• toujours être capable de justifier ce que vous avancez ;
• bien vérifier la cohérence de vos « calculs » par rapport aux données initiales et aux objectifs visés ;
• travaillez bien les différentes méthodes présentées (bien connaitre ce qui se passe et pourquoi).

Initiation à XML

Ce module a pour objectif de faire en sorte que d’être capable appréhender le monde XML pour être en mesure de concevoir des ressources en XML et de les exploiter avec les outils de programmation classiques. Pour atteindre cet objectif, il présente les bases de XML, les outils (API en Java et en PHP) pour programmer avec XML (XSLT, SAX, DOM, JDOM…), les différents schémas XML (DTD, XML Schema…) et l’exploitation de bases de données XML.

Pré-requis : langages à objets, structures de données, complexité, algorithmique avancée, bases de données, langages et automates, PHP, Java, Modélisation Merise (MCD), bases de données relationnelles.

Pour consulter ce cours : http://miage.univ-nantes.fr/miage/D2X1/index.htm

Sax4PHP

Projet Sourceforge proposant une bibliothèque PHP5 permettant de programmer en SAX dans des conditions proches de celles rencontrées en JAVA.

SQLSandbox

Une petite application Web a pour seul objectif de permettre aux étudiants novices de manipuler de petites bases de données. Elle permet d’effectuer des requêtes de recherche, mais aussi des requêtes de modification de la base. Ces modifications seront perdues à la fermeture du navigateur ou au plus tard 3 heures après la dernière requête. La base d’origine sera à nouveau accessible au prochain lancement du navigateur.

http://www.desmontils.net/SQLSandbox/ 

Interstices - À propos des compilateurs

Instructif à propos des compilateurs et de la preuve de programmes :
Interstices - À propos des compilateurs

A voir aussi : http://interstices.info/jcms/n_52365/comment-faire-confiance-a-un-compilateur