М
Математическая логика. Курс лекций и практических занятий
Шапорев С.Д.
★★★★★
оценок пока нет
- Автор
- Шапорев С.Д.
- Издательство
- BHV-Санкт-Петербург
- Год издания
- 2005
- ISBN
- 9785941577028
Оцените книгу:
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и лог