Электронные книги

Жанры
Реклама
Последние комментарии
От партнёров
Облако тегов

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

Математическая логика. Курс лекций и практических занятий
Автор:Шапорев С. Д.
Название:Математическая логика. Курс лекций и практических занятий
Издательство: СПб.: БХВ-Петербург
Год:2005
Страниц:416
Формат:djvu
Размер:2.48 Мб
Для сайта: eKnigi.org

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

 



Нажмите для скачивания Shaporev_Mat_Logika.rar!Shaporev_Mat_Logika.rar
Размер: 2.48 Mb(cкачиваний: 0)




Похожие книги

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.


  • Valid XHTML 1.0 Transitional