INFO3208 Логика École normale supérieure de Lyon

Код на курса INFO3208

école

Ниво L3/1-ва година

Период 2 семестър

Катедра Департамент по компютърни науки

Местоположение на сайта на Monod

Курс по математическа логика, от основите на логиката до основните резултати от началото на 30-те години (включително теоремите за непълнотата на Гьодел).

Какво се лекува:

Пропозиционно и логическо смятане от първи ред (теорема за предложението и неговата теорема за компактност, синтаксис на логика от първи ред и доказателства в естествената дедукция, семантика на логика от първи ред, теорема за пълнота на Gödel, теорема за компактност

Аритметиката на Peano и теоремите за непълнота на Gödel

Теория на множествата (наивна теория на множествата и дефиниция на ординали, аксиоми на Цермело-Фраенкел, аксиоми по избор)

Приложения според оставащото време (елиминиране на квантори в затворени реални полета, елиминиране на квантори в алгебрично затворени полета, теорема на Ax-Grothendieck)

Какво не е обхванато:

Изчислимост и четливост, които са обхванати в курса за ПЧИ през първия семестър

Разширени аспекти, свързани с теорията на програмирането, които са разгледани в курса по теория на програмирането