|
|
 |
| Результат поиска |
Поиск книг, содержащих: Функция частичная
| Книга | Страницы для поиска | | Яблонский С.В. — Введение в дискретную математику | 143 | | Новиков Ф.А. — Дискретная математика для программистов | 39 | | Мендельсон Э. — Введение в математическую логику | 14 | | Биркгоф Г., Барти Т. — Современная прикладная алгебра | 22 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика | 246 | | Мальцев А.И. — Алгоритмы и рекурсивные функции | 19 | | Китаев А., Шень А., Вялый М. — Классические и квантовые вычисления | 16, 103 | | Барвайс Д. — Справочная книга по математической логике. Часть 3: теория рекурсии | 10, 167 | | Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 94 | | Мальцев А.И. — Алгебраические системы | 42 | | Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 17, 96 | | Такеути Г. — Теория доказательств | 68 | | Гончаров С.С. — Счетные булевы алгебры и разрешимость | 168 | | Нечаев В.И. — Числовые системы | 16 | | Виноградов И.М. — Математическая энциклопедия. Предметный указатель | III—875; IV—960 | | Яблонский С.В. (ред.), Лупанов О.Б. (ред.) — Дискретная математика и математические вопросы кибернетики (том 1) | 82 | | Месарович М., Такахара Я. — Общая теория систем: математические основы | 23 | | Касьянов В.Н. — Оптимизирующие преобразования программ | 10 | | Яблонский С.В. — Введение в дискретную математику | 143 | | Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики | 20 | | Дудаков С.М. — Математическое введение в информатику | 21 | | Хопкрофт Д., Мотвани Р., Ульман Д. — Введение в теорию автоматов, языков и вычислений | 340 | | Мендельсон Э. — Введение в математическую логику | 14 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов | 246 | | Ершов А.П. — Введение в теоретическое программирование. Беседы о методе | 59 | | Биркгоф Г., Барти Т. — Современная прикладная алгебра | 22 |
|
|
|
|
О проекте