Logic and Languages University of Bordeaux
This course is an introduction to the logic of finite model such aswords, trees and finite graphs.
- Level B2 CEFR in English. - Previous studies (Bachelor level) within the domain of computerscience or similar.
Continuous assessment and final exam.
This course deals with both the expressiveness of the consideredlogics, using the Ehrenfeucht-Fraïssé games, as well as thecomplexity of fundamental decision problems.
Lectures and exercise sessions: 24 hours lectures, 24 hours tutorials.
Online Course Requirement
Duration: 12 weeksLanguage of instruction: EnglishMode of delivery: Face-to-face teaching: lectures, tutorials
Site for Inquiry
Please inquire about the courses at the address below.
Contact person: Marc Zeitoun email@example.com Anca Muschollanca@labri.fr