Study programme 2018-2019Français
Functional Programming
Programme component of Bachelor's Degree in Mathematics à la Faculty of Science
CodeTypeHead of UE Department’s
contact details
Teacher(s)
US-B3-SCMATH-013-MOptional UEMENS TomS852 - Génie Logiciel
  • MENS Tom

Language
of instruction
Language
of assessment
HT(*) HTPE(*) HTPS(*) HR(*) HD(*) CreditsWeighting Term
  • Français
Français150150033.001st term

AA CodeTeaching Activity (AA) HT(*) HTPE(*) HTPS(*) HR(*) HD(*) Term Weighting
S-INFO-803Functional Programming1501500Q1100.00%
Programme component

Objectives of Programme's Learning Outcomes

  • Understand and produce strict mathematical reasoning
    • Rely on a picture to illustrate a concept, rationale, etc.
  • Solve new problems
    • Abstract and manipulate theories and use these to solve problems
  • Use computers effectively
    • Understand and implement algorithms using appropriate data structures
    • Use at least one programming language
    • Develop computer programs to solve problems with mathematical formulation
  • Address literature and interact within other scientific fields
    • Have sufficient knowledge of English in order to read and understand scientific texts, especially in the field of mathematics.
    • Have a good knowledge of related fields using mathematics

Learning Outcomes of UE

 At the end of this course, the students should be able to use the paradigm of functional programming, and understand its main characteristics. The students should also have gained a practical experience with the Scheme programming language.

Content of UE

The history of (functional programming.
The formal foundations of functional programming (lambda calculus)
The control structures and data structures used in functional programming.
The syntax and semantic of the programming language Scheme.

Prior Experience

Basic knowledge about programming languages.
Practical experience with at least one programming language.

Type of Assessment for UE in Q1

  • Written examination

Q1 UE Assessment Comments

Not applicable.

Type of Assessment for UE in Q3

  • Written examination

Q3 UE Assessment Comments

Not applicable.

Type of Resit Assessment for UE in Q1 (BAB1)

  • N/A

Q1 UE Resit Assessment Comments (BAB1)

Not applicable

Type of Teaching Activity/Activities

AAType of Teaching Activity/Activities
S-INFO-803
  • Cours magistraux
  • Conférences
  • Préparations, travaux, recherches d'information

Mode of delivery

AAMode of delivery
S-INFO-803
  • Face to face

Required Reading

AA
S-INFO-803

Required Learning Resources/Tools

AARequired Learning Resources/Tools
S-INFO-803All learning resources and tools are available on Moodle, the online e-learning platform of UMONS.

Recommended Reading

AA
S-INFO-803

Recommended Learning Resources/Tools

AARecommended Learning Resources/Tools
S-INFO-803Not applicable

Other Recommended Reading

AAOther Recommended Reading
S-INFO-803H. Abelson, G.J. Sussman and J. Sussman. Structure and Interpretation of Computer Programs, MIT Press, 1984
Jacques Chazarain. Programmer avec Scheme: De la pratique à la théorie, Vuibert, 1996.

Grade Deferrals of AAs from one year to the next

AAGrade Deferrals of AAs from one year to the next
S-INFO-803Authorized
(*) HT : Hours of theory - HTPE : Hours of in-class exercices - HTPS : hours of practical work - HD : HMiscellaneous time - HR : Hours of remedial classes. - Per. (Period), Y=Year, Q1=1st term et Q2=2nd term
Date de génération : 02/05/2019
20, place du Parc, B7000 Mons - Belgique
Tél: +32 (0)65 373111
Courriel: info.mons@umons.ac.be