 | УЧЕБНИКИ |
|
| |
| |
| |
Учебники для вузов: НовинкиДля связи: info@vuz-uchebniki.ru
| |
| |
высшее образование / учебники для вузов / литература для студентов и педагогов / литература для аспирантов |
Ю. Л. Ершов, Е. А. Палютин
Математическая логика
Лань, 2005 Страниц: 336 Формат: 84x108/32 В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов. Категории каталога: Основания математики. Математическая логика. Теория чисел |
|
Студенту на заметку:
Экстремальное таяние льдов Гренландии повысило риск глобальных наводнений
Ученые открыли самый северный остров в мире [По мере того как климат становится теплее, случаи экстремального таяния в Гренландии будут происходить чащеk, 0Pсказал Томас Слейтер, ведущий автор исследования.
Эксперты: стволовые клетки могут откладывать свою смерть
Стволовые клетки оказались способны откладывать свою смерть, установили ученые-биологи из Корнеллского университета, сообщает издание Phys.org.
|
