Cet ouvrage s'adresse à tous ceux, étudiants

de premier cycle scientifique ou simples curieux,

désireux de s'initier à la programmation,

introduite ici de manière progressive à l'aide

de la programmation fonctionnelle et du langage

SCHEME. Pour les initiés, ce livre sera l'occasion

de découvrir SCHEME. Cet ouvrage, fruit

de l'expérience des auteurs dans l'initiation

à la programmation au travers de SCHEME,

sera également un excellent support de cours

pour un enseignant.

Avant tout, il s'agit de présenter les notions

fondamentales de la programmation, quel que

soit le langage utilisé. Les concepts introduits

pourront être réappliqués lors de l'apprentissage

d'autres langages. Le lecteur trouvera ainsi une

présentation progressive des notions d'expression,

de variable, de programme, de type, de structure

conditionnelle, de structure de données et

de récursivité. Les définitions locales, les tris et

les arbres sont également présentés. Des aspects

impératifs de la programmation sont

aussi abordés, permettant la transition

avec l'apprentissage de langages tels

qu'Ada, Pascal ou C.

Outre ces aspects, des notions plus formelles

sont également considérées : analyse descendante

de problèmes, preuve de correction d'algorithme,

efficacité et complexité d'algorithmes,

terminaison de programmes. Si, dans cet ouvrage,

on apprend à écrire un programme, on voit

également comment il est possible de l'étudier

et pour quelles raisons.

Le cédérom joint contient les programmes

présentés dans l'ouvrage ainsi que les corrections

des différents exercices. Mais surtout, plusieurs

versions du langage SCHEME sont (pour Unix,

Linux, Windows), permettant de tester

les connaissances au fur et à mesure de leur

acquisition. WinScm, un environnement

de programmation sous Windows,

est également proposé.