Доказать выводимость формул исчисления высказываний

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ

Подготовки к контрольной работе

Библиографический список

1. Яблонский С.В. Введение в дискретную математику: Учебное пособие для Вузов/ Под ред. В.А. Садовничего – 3-е изд. стер. – М.: Высш. шк., 2001. – 384 с.

2. Новиков Ф.А. Дискретная математика для программистов. – Спб: Питер, 2000. – 304 с.: ил.

3. Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженеров. - М.: Энергоатомиздат, 1988. - 480 с.

4. Эдельман С.Л. Математическая логика. - М.: Высш. школа, 1975. - 176 с.

5. Коршунов Ю.М. Математические основы кибернетики: Учеб. Пособие для вузов. - 3-е изд. перераб. и доп. - М.: Энергоатомиздат, 1987. - 496 с.: ил.

6. Гудстейн Р.Л. Математическая логика: Пер. с англ. - М.: Издат. иностр. лит., 1961, - 162 с.

7. Мендельсон Э. Введение в математическую логику: Пер. с англ.- М.: Наука, 1976. - 320 с.

8. Слупецкий Е.С., Борковский Л. Элементы математической логики и теории множеств. Пер. с польского. - М.: Прогресс, 1965. - 368 с.

9. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. - М.: Наука, 1984. - 223 с.

Задание.

dsdрооas

1a.	1b.
2a. ‘	2b.
3a.	3b.
4a.	4b.
5a.	5b.
6a.	6b.
7a.	7b.
8a.	8b.
9a.	9b.
10a.	10b.

Дата добавления: 2015-06-27