Список файлов
Материал из eSyr's wiki.
 Дата |
Имя файла | Участник | Размер | Описание |
|---|---|---|---|---|
| 08:50, 30 октября 2009 | Paradigm_091029_04.jpg (файл) | ESyr01 | 3,43 МБ | (БНФ для λ-выражений. Иллюстрация к лекции от 29 октября 2009 года по курсу «[[Парадигмы) |
| 08:51, 30 октября 2009 | Paradigm_091029_05.jpg (файл) | ESyr01 | 3,51 МБ | (БНФ для λ-выражений. Иллюстрация к лекции от 29 октября 2009 года по курсу «[[Парадигмы) |
| 08:52, 30 октября 2009 | Paradigm_091029_06.jpg (файл) | ESyr01 | 3,36 МБ | (β-редукция, δ-редукция. Иллюстрация к лекции от 29 октября 2009 года по курсу «[[Парад) |
| 08:53, 30 октября 2009 | Paradigm_091029_07.jpg (файл) | ESyr01 | 3,48 МБ | (Пример с увеличением текстуальной длины выражения при применении β-редукции. Иллюстрация к [[Парадигмы программирования, 06 лекция (от 29 о) |
| 08:54, 30 октября 2009 | Paradigm_091029_08.jpg (файл) | ESyr01 | 3,62 МБ | (Пример с увеличением текстуальной длины выражения при применении β-редукции. Исправленный вариант. Иллюстрация к [[Парадигмы программир) |
| 08:55, 30 октября 2009 | Paradigm_091029_09.jpg (файл) | ESyr01 | 3,7 МБ | (Пример на использование β-редукции. Иллюстрация к лекции от 29 октября 2009 года по кур) |
| 08:56, 30 октября 2009 | Paradigm_091029_10.jpg (файл) | ESyr01 | 3,54 МБ | (Конфликт имён. Иллюстрация к лекции от 29 октября 2009 года по курсу «[[Парадигмы програм) |
| 08:56, 30 октября 2009 | Paradigm_091029_11.jpg (файл) | ESyr01 | 3,55 МБ | (α-преобразование. Иллюстрация к лекции от 29 октября 2009 года по курсу «[[Парадигмы пр) |
| 08:58, 30 октября 2009 | Paradigm_091029_12.jpg (файл) | ESyr01 | 3,45 МБ | (Разный порядок выбора редексов для редукции. Иллюстрация к [[Парадигмы программирования, 06 лекция (от 29 октября)|лекции от 29 октября 2009 года]) |
| 08:59, 30 октября 2009 | Paradigm_091029_13.jpg (файл) | ESyr01 | 3,54 МБ | (Пример с бесконечной ветвью редуцирования редексов. Иллюстрация к [[Парадигмы программирования, 06 лекция (от 29 октября)|лекции от 29 октября ) |
| 09:00, 30 октября 2009 | Paradigm_091029_14.jpg (файл) | ESyr01 | 3,45 МБ | (Почему ленивое вычисление логических выражение не есть ленивые вычисления. Иллюстрация к [[Парадигмы программирования, 06 лекция (от 29 октя) |
| 09:01, 30 октября 2009 | Paradigm_091029_15.jpg (файл) | ESyr01 | 3,48 МБ | (Построение множеств free variables и bounded variables. Иллюстрация к лекции от 29 октября 2009 года по ) |
| 09:03, 30 октября 2009 | Paradigm_091029_16.jpg (файл) | ESyr01 | 3,45 МБ | (η-преобразование. Иллюстрация к лекции от 29 октября 2009 года по курсу «[[Парадигмы про) |
| 09:03, 30 октября 2009 | Paradigm_091029_17.jpg (файл) | ESyr01 | 3,55 МБ | (η-преобразование. Иллюстрация к лекции от 29 октября 2009 года по курсу «[[Парадигмы про) |
| 09:08, 30 октября 2009 | Paradigm_091029_18.jpg (файл) | ESyr01 | 3,46 МБ | (Пример использования η-преобразования. Иллюстрация к лекции от 29 октября 2009 года по ) |
| 09:09, 30 октября 2009 | Paradigm_091029_19.jpg (файл) | ESyr01 | 3,3 МБ | (Currying. Иллюстрация к лекции от 29 октября 2009 года по курсу «[[Парадигмы программирования) |
| 09:10, 30 октября 2009 | Paradigm_091029_20.jpg (файл) | ESyr01 | 3,44 МБ | (Y-combinator. Иллюстрация к лекции от 29 октября 2009 года по курсу «[[Парадигмы программирован) |
| 01:08, 6 ноября 2009 | Paradigm_091105_01.jpg (файл) | ESyr01 | 221 КБ | (Иллюстрация к лекции от 5 ноября по курсу Парадигмы программирования. Фотография сд) |
| 01:44, 6 ноября 2009 | Paradigm_091105_02.jpg (файл) | ESyr01 | 199 КБ | (Пролог — пример. Иллюстрация к лекции от 5 ноября по курсу [[Парадигмы программирования) |
| 01:51, 6 ноября 2009 | Paradigm_091105_03.jpg (файл) | ESyr01 | 3,6 МБ | (Пролог — пример. Иллюстрация к лекции от 5 ноября по курсу [[Парадигмы программирования) |
| 01:53, 6 ноября 2009 | Paradigm_091105_04.jpg (файл) | ESyr01 | 3,67 МБ | (Пролог — пример. Иллюстрация к лекции от 5 ноября по курсу [[Парадигмы программирования) |
| 01:57, 6 ноября 2009 | Paradigm_091105_05.jpg (файл) | ESyr01 | 3,53 МБ | (Пролог: атомы, структуры. Иллюстрация к лекции от 5 ноября по курсу [[Парадигмы программ) |
| 01:58, 6 ноября 2009 | Paradigm_091105_06.jpg (файл) | ESyr01 | 3,58 МБ | (Пролог: схема работы унификатора. Иллюстрация к лекции от 5 ноября по курсу [[Парадигмы ) |
| 02:00, 6 ноября 2009 | Paradigm_091105_07.jpg (файл) | ESyr01 | 3,67 МБ | (Пролог: схема работы унификатора — обновление контекста. Иллюстрация к [[Парадигмы программирования, 07 лекция (от 05 ноября)|лекции от 5 нояб) |
| 02:03, 6 ноября 2009 | Paradigm_091105_08.jpg (файл) | ESyr01 | 3,58 МБ | (Пролог: предложения. Иллюстрация к лекции от 5 ноября по курсу [[Парадигмы программиров) |
| 02:41, 6 ноября 2009 | Paradigm_091105_09.jpg (файл) | ESyr01 | 3,38 МБ | (Пролог: предложения с разной арностью. Иллюстрация к лекции от 5 ноября по курсу [[Парад) |
| 02:42, 6 ноября 2009 | Paradigm_091105_10.jpg (файл) | ESyr01 | 3,4 МБ | (Пролог: резолвинг. Иллюстрация к лекции от 5 ноября по курсу [[Парадигмы программирован) |
| 02:44, 6 ноября 2009 | Paradigm_091105_11.jpg (файл) | ESyr01 | 3,37 МБ | (Пролог: функция member. Иллюстрация к лекции от 5 ноября по курсу [[Парадигмы программирова) |
| 02:45, 6 ноября 2009 | Paradigm_091105_12.jpg (файл) | ESyr01 | 3,32 МБ | (Пролог: функция member, исправленный вариант. Иллюстрация к лекции от 5 ноября по курсу [[Па) |
| 02:47, 6 ноября 2009 | Paradigm_091105_13.jpg (файл) | ESyr01 | 3,58 МБ | (Пролог: обработка вызова member(1, [3, 2, 1]). Иллюстрация к лекции от 5 ноября по курсу [[Парадиг) |
| 02:48, 6 ноября 2009 | Paradigm_091105_14.jpg (файл) | ESyr01 | 3,35 МБ | (Пролог: обработка вызова member(X, [3, 2, 1]). Иллюстрация к лекции от 5 ноября по курсу [[Парадиг) |
| 22:37, 12 ноября 2009 | Debian.packaging.odp (файл) | ESyr01 | 17 КБ | (Презентация «Package maintaining in Debian». Автор: Александр «GQ» Герасёв. Представлена на лекции по курсу «Сопровождение пакетов в Linux» ) |
| 22:38, 12 ноября 2009 | Debian.packaging.pdf (файл) | ESyr01 | 98 КБ | (Презентация «Package maintaining in Debian», сконвертированная в формат PDF. Автор: Александр «GQ» Герасёв. Представлена на лекции по курсу [[UNИX, осень 2009|) |
| 00:44, 13 ноября 2009 | Paradigm_091112_01.jpg (файл) | ESyr01 | 3,47 МБ | (del_any, del_all. Иллюстрация к лекции от 12 ноября по курсу Парадигмы программирования. ) |
| 00:45, 13 ноября 2009 | Paradigm_091112_02.jpg (файл) | ESyr01 | 3,37 МБ | (del_all, вариант с отсечением. Иллюстрация к лекции от 12 ноября по курсу [[Парадигмы програ) |
| 00:46, 13 ноября 2009 | Paradigm_091112_03.jpg (файл) | ESyr01 | 3,67 МБ | (Реверсивность append. Иллюстрация к лекции от 12 ноября по курсу [[Парадигмы программирова) |
| 00:47, 13 ноября 2009 | Paradigm_091112_04.jpg (файл) | ESyr01 | 3,61 МБ | (Реверсивность append. Иллюстрация к лекции от 12 ноября по курсу [[Парадигмы программирова) |
| 00:48, 13 ноября 2009 | Paradigm_091112_05.jpg (файл) | ESyr01 | 3,58 МБ | (Гипотеза о замкнутости универсума в Прологе. Иллюстрация к лекции от 12 ноября по курсу ) |
| 00:49, 13 ноября 2009 | Paradigm_091112_06.jpg (файл) | ESyr01 | 3,35 МБ | (not. Иллюстрация к лекции от 12 ноября по курсу Парадигмы программирования. ) |
| 00:50, 13 ноября 2009 | Paradigm_091112_07.jpg (файл) | ESyr01 | 3,34 МБ | (Вычисление длины списка. Иллюстрация к лекции от 12 ноября по курсу [[Парадигмы программ) |
| 00:51, 13 ноября 2009 | Paradigm_091112_08.jpg (файл) | ESyr01 | 3,45 МБ | (Вычисление длины списка: результат вызова. Иллюстрация к лекции от 12 ноября по курсу [[П) |
| 00:52, 13 ноября 2009 | Paradigm_091112_09.jpg (файл) | ESyr01 | 3,49 МБ | (Вычисление длины списка, исправленная версия. Иллюстрация к лекции от 12 ноября по курс) |
| 00:53, 13 ноября 2009 | Paradigm_091112_10.jpg (файл) | ESyr01 | 3,55 МБ | (Вычисление длины списка, исправленная версия: результат вызова. Иллюстрация к [[Парадигмы программирования, 08 лекция (от 12 ноября)|лекции от) |
| 00:53, 13 ноября 2009 | Paradigm_091112_11.jpg (файл) | ESyr01 | 3,29 МБ | (ten, первый вариант. Иллюстрация к лекции от 12 ноября по курсу [[Парадигмы программирован) |
| 00:54, 13 ноября 2009 | Paradigm_091112_12.jpg (файл) | ESyr01 | 3,36 МБ | (naturals. Иллюстрация к лекции от 12 ноября по курсу Парадигмы программирования. ) |
| 00:55, 13 ноября 2009 | Paradigm_091112_13.jpg (файл) | ESyr01 | 3,54 МБ | (ten, второй вариант. Иллюстрация к лекции от 12 ноября по курсу [[Парадигмы программирован) |
| 00:56, 13 ноября 2009 | Paradigm_091112_14.jpg (файл) | ESyr01 | 3,39 МБ | (ten, финальный вариант. Иллюстрация к лекции от 12 ноября по курсу [[Парадигмы программиро) |
| 00:57, 13 ноября 2009 | Paradigm_091112_15.jpg (файл) | ESyr01 | 3,56 МБ | (between. Иллюстрация к лекции от 12 ноября по курсу Парадигмы программирования. ) |
| 00:58, 13 ноября 2009 | Paradigm_091112_16.jpg (файл) | ESyr01 | 3,57 МБ | (queens, часть первая. Иллюстрация к лекции от 12 ноября по курсу [[Парадигмы программирован) |
| 00:59, 13 ноября 2009 | Paradigm_091112_17.jpg (файл) | ESyr01 | 3,55 МБ | (queens, часть вторая. Иллюстрация к лекции от 12 ноября по курсу [[Парадигмы программирован) |
 Первая страница |
 Предыдущая страница |
 Следующая страница |
 Последняя страница |
