Решение задач по математике: «математическая логика» заказ № 148109

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

1. И.А. Кибенко, Математическая логика: Учебное пособие, Москва, Высшая школа, 2015, 256 с.
2. В.В. Рубцов, Основы математической логики, Санкт-Петербург, Питер, 2017, 312 с.
3. Е.М. Тишков, Методы формализации и доказательства в математической логике, Москва, Наука, 2018, 280 с.
4. А.А. Иванов, Введение в математическую логику, Москва, Лань, 2016, 224 с.
5. С.В. Смирнов, Математическая логика и ее приложения, Новосибирск, Сибирское университетское издательство, 2019, 300 с.
6. Математическая логика: учебник / Под ред. И.А. Кибенко, Москва, Физматлит, 2020, 350 с.
7. Ю.К. Баширов, Теория алгоритмов и математическая логика, Челябинск, УрФУ, 2017, 290 с.
8. Л.В. Куликов, Задачи по математической логике с решениями, Москва, Просвещение, 2014, 180 с.
9. В.П. Цыпин, Формальные методы доказательства, Санкт-Петербург, БХВ-Петербург, 2018, 264 с.
10. Сборник задач по математической логике / Под ред. Е.М. Тишкова, Москва, Физматлит, 2021, 210 с.
11. Н.А. Смирнова, Элементы математической логики, Екатеринбург, УрО РАН, 2016, 230 с.
12. В.И. Артамонов, Логика и теория доказательств, Москва, Наука, 2017, 245 с.
13. Математическая логика: учебное пособие для вузов, Москва, Академический проект, 2019, 320 с.
14. А.В. Фомин, Интуиционистская логика и ее применения, Санкт-Петербург, Изд-во СПбГУ, 2015, 198 с.
15. К.И. Парфенов, Введение в теорию моделей, Москва, Физматлит, 2014, 260 с.
16. Л.А. Беляев, Основы логики и теории множеств, Новосибирск, НГУ, 2018, 275 с.
17. Журнал "Математика в школе" — статьи по математической логике, 2018–2023 гг.
18. Руководство по математической логике: нормы и методика преподавания / Министерство образования РФ, Москва, Просвещение, 2020.
19. Электронный ресурс: http://mathlogic.ru — портал по математической логике, доступ по состоянию на 2024.
20. А.В. Козлов, Доказательства в математической логике и задачи, Москва, Логос, 2023, 312 с.