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

Радуга книг


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

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

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

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

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

Цена: 788 руб.

Купить на




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

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