Нет отзывов
Аннотация
| Серия | Учебное пособие |
|---|---|
| Издательство | |
| Переплет | Твёрдый переплёт |
| Страниц | 416 |
| Год, тираж | 2005, 3 000 экз. |
Не в наличии
Отзывы
0Описание и характеристики
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Содержание разделов книги взаимно связано друг с другом и снабжено большим количеством примеров и решенных задач, помогающих усвоить и закрепить излагаемый материал.
| Код | 2067552 |
|---|---|
| Издательство | |
| Серия | Учебное пособие |
| Переплет | Твёрдый переплёт |
| Кол-во страниц | 416 |
| Год издания | 2005 |
| Тираж | 3 000 экз. |
| ISBN | 5941577028 |
| Раздел | Математика |
| Размеры | 0.01 см × 24 см × 17 см |
| Вес | 0.5 кг |