Advanced Discrete Optimization

Language

English

Main themes

Logic and algorithm

• Logic, automata and context free languages.
• Turing machines. Turing machines build on automata to make it possible to build more elaborate proofs.
• Computability and Complexity theory. Does a problem have an answer? Is the problem well formulated? How can we determine a priori the level of difficulty of a problem?
• Analysis of algorithms.

Content

Logic and algorithm

• Logic, automata and context free languages.
• Turing machines. Turing machines build on automata to make it possible to build more elaborate proofs.
• Computability and Complexity theory. Does a problem have an answer? Is the problem well formulated? How can we determine a priori the level of difficulty of a problem?
• Analysis of algorithms.

Teaching methods

Methodological and theoretical lectures of teachers, accompanied by empirical studies illustrations, alternate with discussions and applications with participants. Teaching is based on reading of scientific articles and book chapters deemed essential to master qualitative and quantitative research methodologies in Management. Students are expected to summarize and present some of these and to discuss it in groups. The content of this course (for example Quantitative Research Methods) will be adapted to the level of advancement of students in order to follow them in their research projects.

Evaluation methods

Continuous evaluation

• Date: To be specify later
• Type of evaluation: continuous assessment not remediable
• Comments: In group/individual, written preparations, reading scientific articles, exercises, etc.

Evaluation week

• Oral: No
• Written: No
• Unavailability or comments: No

Examination session

• Oral: No
• Written: No
• Unavailability or comments: individual work at the end of the January session which can be represented in case of failure in the second session.

Faculty or entity

> CLSM