Ф 20-014 Зацверджана




Дата канвертавання27.03.2016
Памер22.57 Kb.

Ф 20-014

Зацверджана


пратакол пасяджэння кафедры

№ 13 ад 07.12.2011 г.


Пытанні да экзамену

па дысцыпліне “Матэматычная логіка” (3 семестр)

2 курса спецыяльнасці “Матэматыка (навукова-педагагічная дзейнасць)”

дзённай формы навучання

1 A. Выказванні і аперацыі над імі.

2 A. Прапазіцыйныя формулы. Таўталогіі, супярэчнасці, логікава эквівалентныя формулы. Прыклады.

3 B. Правіла падстановы. Адмаўленне да прапазіцыйнай формулы, якая змяшчае , , l. Прынцып дуальнасці (без доказаў).

4 C. Правіла падстановы. Адмаўленне да прапазіцыйнай формулы, якая змяшчае , , l. Прынцып дуальнасці (з доказамі).

5 A. Лагічная выснова. Раўназначныя азначэнні (у алгебры выказванняў).

6 B. Прапазіцыйныя формулы і булевы функцыі. Поўныя сістэмы злучнікаў (без доказу тэарэмы). ДНФ і КНФ. Кан'юнкцыя адмаўленняў і штрых Шэфера.

7 C. Прапазіцыйныя формулы і булевы функцыі. Поўныя сістэмы злучнікаў (з доказам тэарэмы). ДНФ і КНФ. Кан'юнкцыя адмаўленняў і штрых Шэфера.

8 A. Аксіяматычныя тэорыі. Выводныя формулы (тэорэмы), вывядзенне з мноства гіпотэзаў.

9 A. Злічэнне выказванняў. Формулы, аксіёмы, правіла вывядзення.

10 B. Лема: ├ А А для адвольнай формулы A.

11 B. Тэарэма дэдукцыі (без доказу). Вынікі.

12 C. Тэарэма дэдукцыі (з доказам).

13 A. Вынікі з тэарэмы дэдукцыі і сцверджанне: Адвольная тэарэма злічэння выказванняў ёсць таўталогія. Несупярэчлівасць злічэння выказванняў.

14 B. Лема 2 для тэарэмы пра поўнасць.

15 B. Лема 3 для тэарэмы пра поўнасць (без доказу).

16 C. Лема 3 для тэарэмы пра поўнасць (з доказам).

17 A. Тэарэма пра поўнасць (без доказу). Вынікі.

18 C. Тэарэма пра поўнасць (з доказам). Вынікі.

19 A. Прэдыкаты. Тоесна праўдзівыя, тоесна непраўдзівыя, здзяйсняльныя прэдыкаты. Раўназначныя прэдыкаты. Прыклады. Аперацыі над прэдыкатамі. Геаметрычная інтэрпрэтацыя аперацыяў над прэдыкатамі.

20 A. Формулы логікі прэдыкатаў. Інтэрпрэтацыя формулы. Раўназначнасць формулаў. Логікава агульназначныя формулы логікі прэдыкатаў. Лагічная выснова мноства формулаў. Прыклады.

21 B. Прыведзеная нармальная форма формулы логікі прэдыкатаў.

22 C. Прэнэксная нармальная форма формулы логікі прэдыкатаў.

23 A. Дастасаванні алгебры выказванняў і логікі прэдыкатаў да натуральнае мовы.


Заўвага. A – мінімальны ўзровень ведаў, B – сярэдні ўзровень, C – паглыблены ўзровень.

Складальнік: дацэнт кафедры алгебры,



геаметрыі і методікі выкладання матэматыкі Капылова Т.І.
Загадчык кафедры алгебры, геаметрыі

і методікі выкладання матэматыкі Грынь А.А.


База данных защищена авторским правом ©shkola.of.by 2016
звярнуцца да адміністрацыі

    Галоўная старонка