Математическая логика. Курс лекций и практических занятий : учебное пособие / С. Д. Шапорев
Language: русский.Country: Россия.Publication: СПб. : БХВ-Петербург, 2005Description: 410 с.ISBN: 5941577028.Bibliography: Библиогр.: с. 405.; Предметный указатель: с. 406-410..Subject: математическая логика | алгебра | высказывания | исчисление | предикаты | алгоритмы | ответы | задачи | решения | практические занятия | алгебра Буля | закон двойственности | карты Карно | полиномы Жегалкина | теорема дедукции | алгоритм Квайна | эквивалентные формулы | дедуктивная эквивалентность | скулемовские функции | машины Тьюринга | учебные пособия| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Books | НТБ ТПУ Читальный зал технической литературы (309 НТБ) | 510 Ш241 | Available | 13821000332394 |
Total holds: 0
Библиогр.: с. 405.
Предметный указатель: с. 406-410.
There are no comments on this title.
Log in to your account to post a comment.