Точность мысли     Погружение     Радуга книг     Поиск     О нас
Ваш путеводитель
по различным областям знаний
Источник знаний  
Источник знаний|Главная страница Поиск Напишите нам Карта сайта Добавить в избранное

Радуга книг


Разработка и дизайн сайтов WebPalette.RU
Разделы: Учебная литература | Студентам ВУЗов | Естественные науки. Математика | Математика | Основания математики. Математическая логика. Теория чисел

Математическая логика

Автор: Ершов Ю.Л., Палютин Е.А.

Издательство:
Год выпуска: 2011
ISBN: 978-5-9221-1301-4
Формат: 84x108/32
Кол-во страниц: 356

Описание: В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей ВУЗов. Может служить пособием для спецкурсов.

Цена: 788 руб.

Купить на




Знаете ли Вы, что ...
Рабочее время
Рабочее время - время, в течение которого работник в соответствии с правилами внутреннего трудового распорядка и условиями ...
Производственно-обусловленная заболеваемость
Производственно-обусловленная заболеваемость - заболеваемость (стандартизованная по возрасту) общими заболеваниями различной ...
Охрана труда
Охрана труда - система обеспечения безопасности жизни и здоровья работников в процессе трудовой деятельности, включающая ...
Объективное исследование
Объективное исследование - беспристрастный, спокойный, лишенный пристрастия и предвзятости. Объективное отношение. Объективный ...
Эссенциальные (незаменимые) микроэлементы
Эссенциальные (незаменимые) микроэлементы - микроэлементы, поступающие в организм человека только вместе с пищей.
Эпидемический очаг
Эпидемический очаг - место пребывания источников инфекции с прилегающей территории, в пределах которой в конкретной обстановке ...

RSS лента
Администрирование
Источник знаний © 2009 Все права защищены