Книжная полка Сохранить
Размер шрифта:
А
А
А
|  Шрифт:
Arial
Times
|  Интервал:
Стандартный
Средний
Большой
|  Цвет сайта:
Ц
Ц
Ц
Ц
Ц

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

Доступ по подписке только в составе Коллекции

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

Покупка
Основная коллекция
Издательство: Физматлит
Год издания
2011
Кол-во страниц
356
ISBN
978-5-9221-1301-4
Артикул
434890.01.01
Аннотация
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно чем это предусмотрено программой. Для студентов математических специальностей ВУЗов. Может служить пособием для спецкурсов.
Библиографическая запись Скопировать запись
Ершов, Ю. Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин. - 6-e изд., испр. - Москва : ФИЗМАТЛИТ, 2011. - 356 с. - ISBN 978-5-9221-1301-4. - Текст : электронный. - URL: https://znanium.com/catalog/product/395379 (дата обращения: 05.10.2022). – Режим доступа: по подписке.
Текстовые фрагменты публикации