Контрольная работа по математической логике: «тема не указана объем по факту» заказ № 3000521

Список источников

1. Геддес П. Введение в математическую логику. Москва, Наука, 1975.
2. Поспелов А. В. Математическая логика: учебник. Москва, Высшая школа, 2003.
3. Тарський А. Логіка і метаматематика. Київ, Наукова думка, 1970.
4. Шеннон К., Маккарти Дж. Автоматизация логических выводов. Москва, Мир, 1963.
5. Островский А. И. Основы теории формальных систем. Санкт-Петербург, Питер, 2004.
6. Булавин П. В. Модели и методы современной логики. Москва, МГУ, 2010.
7. Курант Р., Роббинс Г. Что такое математика?. Москва, Мир, 1972.
8. Деннет А. Элементы теории доказательств в логике. Москва, ЛКИ, 1998.
9. Розенблюм В. Я. Введение в теорию моделей. Санкт-Петербург, Профессия, 2001.
10. Скворцов В. Н. Логика и вычислительная техника. Москва, Радио и связь, 1987.
11. Бялый М. Логические основы информатики. Москва, Наука, 1990.
12. Жилин М. Л. Математическая логика. Москва, Физматлит, 2006.
13. Найт Б. Теория автоматов и формальные системы. Москва, Мир, 1991.
14. Кацаханов А. А. Логический анализ и формальная теория. Москва, Наука, 1985.
15. Грант Р. Классические задачи в логике. Санкт-Петербург, Прогресс-Традиция, 2015.
16. Логический энциклопедический словарь. Москва, Большая российская энциклопедия, 2007.
17. Прудков А. М. Теория доказательств. Москва, ЛКИ, 2002.
18. Сидоров И. Логические методы в информатике. Москва, Наука, 2008.
19. Глоба И. А. Основы математической логики. Екатеринбург, УрФУ, 2012.
20. Марциновский К. В. Современные подходы в теории формальных систем. Москва, МГТУ, 2017.