Математическая логика. Курс лекций и практических занятий (книга)
| Математическая логика. Курс лекций и практических занятий | |
 | |
| Автор: | С. Д. Шапорев |
|---|---|
| Оригинал издан: | 2005 |
| Издательство: | БХВ-Петербург |
| Выпуск: | 8 ноября 2005 г. |
| Страниц: | 416 |
«Математическая логика. Курс лекций и практических занятий» — книга 2005 года.
Содержание |
Содержание 
От издателя
« В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
