Интернет-магазин My-shop.ru
Акции   
Персональный раздел v
   Доставка    Оплата    Скидки    Форум    Помощь
для Москвы  +7 (495) 638-53-38
бесплатно для РФ  +7 (800) 100-53-38
 
0
ЛЕТНЯЯ РАСПРОДАЖАТысячи нужных, полезных и просто классных товаров со скидкой до 30% ждут вас! Как выбрать товары из распродажи.СКИДКИ ДО 30%
Математическая логика. Курс лекций и практических занятий

Математическая логика. Курс лекций и практических занятий

Автор/составитель: Шапорев С.Д.
Издательство: БХВ-Петербург
Серия: Учебное пособие

В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Содержание разделов книги взаимно связано друг с другом и снабжено большим количеством примеров и решенных задач, помогающих усвоить и закрепить излагаемый материал.

697 руб.
в наличии*
ориентировочная дата отгрузки: 25.07.2017 (Вт.)
шт.
отложить
дата выпуска2017 г. 
языкрусский
количество томов1
количество страниц416 стр.
переплеттвердый
размеры170x240 мм
формат70x100/16 (170x240 мм)
ISBN5-94157-702-8, 978-5-94157-702-6, 978-5-9775-3806-0
тираж1500 экз.
стандарт14 шт. 
возрастная категория18+ (нет данных)
код системы скидок25
код в My-shop.ru534332
ЧАСТЬ I. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Глава 1. Алгебра логики (алгебра высказываний)
Глава 2. Исчисление высказываний
Глава 3. Логика предикатов
Глава 4. Исчисление предикатов
Глава 5. Теория алгоритмов
ЧАСТЬ II. ОТВЕТЫ, РЕШЕНИЯ, УКАЗАНИЯ
Глава 6. Алгебра высказываний
Глава 7. Исчисление высказываний
Глава 8. Логика предикатов
Глава 9. Исчисление предикатов
Глава 10. Теория алгоритмов
Список литературы
Предметный указатель
С этим товаром покупают...