 | УЧЕБНИКИ |
|
| |
| |
| |
Учебники для вузов: НовинкиДля связи: info@vuz-uchebniki.ru
| |
| |
высшее образование / учебники для вузов / литература для студентов и педагогов / литература для аспирантов |
Ю. Л. Ершов, Е. А. Палютин
Математическая логика
Лань, 2005 Страниц: 336 Формат: 84x108/32 В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов. Категории каталога: Основания математики. Математическая логика. Теория чисел |
|
Студенту на заметку:
Новый самолет в 20 раз превышает скорость звука
Только недавно мы сообщали, что специалисты NASA, MicroCraft Inc, Orbital Sciences CorporationPсоздали гиперзвуковой беспилотный самолетP X-43A, который в 10 раз обгоняет скорость звука. И в будущем такие самолеты будут достигать любую точку планеты за 3-4 часа. Ведь уже в время тестирования он показал фантастическуюP скоростьP – 11230 км/ч. И вот снова новость из области самолетостроения. [...]
Невероятные факты о растениях
Вы не поверите! ДваP листочка утоляют голод В Индии растет растение под местным названием “обмани желудок”. Съев 1-2 листочка растения калир-канда, человек чувствует сытость на протяжении целой недели, хотя листья не содержат ценных питательных веществ. Свойство растения создавать иллюзию сытости используется в изготовлении таблеток и настоев из листьев, которые с успехом используют люди, страдающие от [...]
|
