Высшее образование - Кудрявцева И.А., Швецкий М.В. - Программирование. Комбинаторная логика, 2-е изд. [2022, PDF, RUS]
Главная »
Литература
» Книги FB2 » Учебно-техническая литература
|
| Статистика раздачи | |
| Размер: 33.75 MB | Зарегистрирован: 6 месяца 3 дня | Скачано: 18 раза | |
| Работает мультитрекерная раздача | |
|
Полного источника не было: Никогда
Качают: 1 [ 0 KB/s ]
Подробная статистика пиров
|
|
|
| Автор | Сообщение | |||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| MAGNAT ®  ![[Профиль]](./styles/templates/zlight/images/lang/ru/icon_profile.gif "Посмотреть профиль"){kind=icon} ![[ЛС]](./styles/templates/zlight/images/lang/ru/icon_pm.gif "Отправить ЛС"){kind=icon}
|
Программирование. Комбинаторная логика, 2-е изд. Год издания: 2022 Автор: Кудрявцева И.А., Швецкий М.В. Издательство: Юрайт ISBN: 978-5-534-10620-6 Серия: Высшее образование Язык: Русский Формат: PDF Качество: Отсканированные страницы + слой распознанного текста Количество страниц: 525 Описание: Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Программирование» и содержит теоретические сведения по комбинаторной логике, элементам теории типов, элементам теории категорий, а также задачи для самостоятельного решения. В пособии размещены программы на языке Haskell: интерпретатор ?-функций, представленных ?-термами, и программа для вывода типовой схемы ?-терма в STT. Издание предназначено для студентов высших учебных заведений, обучающихся по ИТ-направлениям, аспирантов и преподавателей факультетов и институтов компьютерных наук и информационных технологий. ОглавлениеВведение ..................................................................................... 9Часть 1 БЕСТИПОВОЕ л-ИСЧИСЛЕНИЕ Упражнение 1. Комбинаторная логика: синтаксис бестипового А-исчисления ........................................................... 19 Теоретические сведения .............................................................. 20 Понятие «комбинаторная логика» ................................................. 20 Бестиповое л-исчисление как формальная система ........................ 22 Биографические сведения ............................................................ 34 Примеры решения некоторых типов упражнений ............................ 34 Демонстрационные примеры ......................................................... 35 Упражнения для самостоятельного решения ................................... 42 Упражнение 2. Бестиповое л-исчисление: доказательство А-формул ............................................................. 49 Теоретические сведения ............................................................... 50 Бинарные отношения, связанные с л-исчислением ......................... 50 Схемы аксиом и правила вывода бестипового л-исчисления ............ 51 Бинарное отношение «доказуемость л-формулы» ........................... 52 Правило экстенсиональности ......................................................... 54 Разновидности бестипового л-исчисления ...................................... 55 Примеры решения некоторых типов упражнений ............................ 58 Упражнения для самостоятельного решения ................................... 59 Упражнение 21. Замыкание бинарных отношений ........................... 63 Теоретические сведения ............................................................... 64 Замыкания бинарных отношений ................................................... 64 Оператор замыкания на множестве ................................................ 68 Упражнения для самостоятельного решения .................................... 69 Упражнение 3. Бестиповое А-исчисление: редукция А-термов ........................................................................ 73 Теоретические сведения ................................................................ 74 Правила редукции и конверсии ....................................................... 74 Основные бинарные отношения ...................................................... 76 Нормальная форма л-терма ............................................................. 80 I
|
|||||||||||||||||||
![[Код]](./styles/templates/zlight/images/lang/ru/icon_code.gif "Код"){kind=icon}
| Форум | Похожие раздачи | Автор | Размер |
|---|---|---|---|
| Logic | Мрачные летописи: Высшее колдовство / Grim Chronicles: Superior Sorcery CE (2025) PC | New-Games | 798 MB |
|
Главная »
Литература
» Книги FB2 » Учебно-техническая литература
|
Текущее время: 05-Дек 12:08
Часовой пояс: UTC + 5
Вы не можете начинать темы
Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете голосовать в опросах Вы не можете прикреплять файлы к сообщениям Вы можете скачивать файлы |
