|
|
03:20 Математическая логика. Курс лекций и практических занятий |
Автор: Шапорев Сергей Дмитриевич
Редактор: Кондукова Екатерина
Издательство: BHV, 2007 г.
Серия: Учебник для ВУЗов
Аннотация к книге "Математическая логика. Курс лекций и практических занятий"В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Содержание разделов книги взаимно связано друг с другом и снабжено большим количеством примеров и решенных задач, помогающих усвоить и закрепить излагаемый материал. Скачать Математическая логика. Курс лекций и практических занятий.
|
Похожие материалы:
|
|
| Календарь |
| « Март 2018 » | | Пн | Вт | Ср | Чт | Пт | Сб | Вс | | | | | 1 | 2 | 3 | 4 | | 5 | 6 | 7 | 8 | 9 | 10 | 11 | | 12 | 13 | 14 | 15 | 16 | 17 | 18 | | 19 | 20 | 21 | 22 | 23 | 24 | 25 | | 26 | 27 | 28 | 29 | 30 | 31 |
|
|
