Список файлов
Материал из eSyr's wiki.
Дата | Имя файла | Участник | Размер | Описание |
---|---|---|---|---|
00:52, 13 ноября 2009 | Paradigm_091112_09.jpg (файл) | ESyr01 | 3,49 МБ | (Вычисление длины списка, исправленная версия. Иллюстрация к лекции от 12 ноября по курс) |
08:51, 30 октября 2009 | Paradigm_091029_05.jpg (файл) | ESyr01 | 3,51 МБ | (БНФ для λ-выражений. Иллюстрация к лекции от 29 октября 2009 года по курсу «[[Парадигмы) |
01:00, 13 ноября 2009 | Paradigm_091112_18.jpg (файл) | ESyr01 | 3,51 МБ | (queens, часть третья. Иллюстрация к лекции от 12 ноября по курсу [[Парадигмы программирован) |
01:57, 6 ноября 2009 | Paradigm_091105_05.jpg (файл) | ESyr01 | 3,53 МБ | (Пролог: атомы, структуры. Иллюстрация к лекции от 5 ноября по курсу [[Парадигмы программ) |
08:59, 30 октября 2009 | Paradigm_091029_13.jpg (файл) | ESyr01 | 3,54 МБ | (Пример с бесконечной ветвью редуцирования редексов. Иллюстрация к [[Парадигмы программирования, 06 лекция (от 29 октября)|лекции от 29 октября ) |
09:40, 23 октября 2009 | Paradigm_091022_06.jpg (файл) | ESyr01 | 3,54 МБ | (Пример использования call/cc. Первая часть. Иллюстрация к лекции от 22 октября 2009 года по к) |
00:55, 13 ноября 2009 | Paradigm_091112_13.jpg (файл) | ESyr01 | 3,54 МБ | (ten, второй вариант. Иллюстрация к лекции от 12 ноября по курсу [[Парадигмы программирован) |
08:56, 30 октября 2009 | Paradigm_091029_10.jpg (файл) | ESyr01 | 3,54 МБ | (Конфликт имён. Иллюстрация к лекции от 29 октября 2009 года по курсу «[[Парадигмы програм) |
01:01, 13 ноября 2009 | Paradigm_091112_19.jpg (файл) | ESyr01 | 3,55 МБ | (queens, часть четвёртая. Иллюстрация к лекции от 12 ноября по курсу [[Парадигмы программиро) |
08:56, 30 октября 2009 | Paradigm_091029_11.jpg (файл) | ESyr01 | 3,55 МБ | (α-преобразование. Иллюстрация к лекции от 29 октября 2009 года по курсу «[[Парадигмы пр) |
09:03, 30 октября 2009 | Paradigm_091029_17.jpg (файл) | ESyr01 | 3,55 МБ | (η-преобразование. Иллюстрация к лекции от 29 октября 2009 года по курсу «[[Парадигмы про) |
00:53, 13 ноября 2009 | Paradigm_091112_10.jpg (файл) | ESyr01 | 3,55 МБ | (Вычисление длины списка, исправленная версия: результат вызова. Иллюстрация к [[Парадигмы программирования, 08 лекция (от 12 ноября)|лекции от) |
00:59, 13 ноября 2009 | Paradigm_091112_17.jpg (файл) | ESyr01 | 3,55 МБ | (queens, часть вторая. Иллюстрация к лекции от 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 ноября по курсу [[Парадигмы программирован) |
02:47, 6 ноября 2009 | Paradigm_091105_13.jpg (файл) | ESyr01 | 3,58 МБ | (Пролог: обработка вызова member(1, [3, 2, 1]). Иллюстрация к лекции от 5 ноября по курсу [[Парадиг) |
00:48, 13 ноября 2009 | Paradigm_091112_05.jpg (файл) | ESyr01 | 3,58 МБ | (Гипотеза о замкнутости универсума в Прологе. Иллюстрация к лекции от 12 ноября по курсу ) |
01:58, 6 ноября 2009 | Paradigm_091105_06.jpg (файл) | ESyr01 | 3,58 МБ | (Пролог: схема работы унификатора. Иллюстрация к лекции от 5 ноября по курсу [[Парадигмы ) |
02:03, 6 ноября 2009 | Paradigm_091105_08.jpg (файл) | ESyr01 | 3,58 МБ | (Пролог: предложения. Иллюстрация к лекции от 5 ноября по курсу [[Парадигмы программиров) |
13:33, 16 октября 2009 | Paradigm_091015_04.jpg (файл) | ESyr01 | 3,58 МБ | (Применение lreduce, rreduce. Иллюстрация к лекции Парадигмы программирования, 04 лекция (от 15 октября)) |
13:35, 16 октября 2009 | Paradigm_091015_06.jpg (файл) | ESyr01 | 3,6 МБ | (Определение rreduce. Иллюстрация к лекции Парадигмы программирования, 04 лекция (от 15 октября).) |
01:51, 6 ноября 2009 | Paradigm_091105_03.jpg (файл) | ESyr01 | 3,6 МБ | (Пролог — пример. Иллюстрация к лекции от 5 ноября по курсу [[Парадигмы программирования) |
13:31, 16 октября 2009 | Paradigm_091015_02.jpg (файл) | ESyr01 | 3,61 МБ | (Объяснение lreduce, rreduce. Иллюстрация к лекции Парадигмы программирования, 04 лекция (от 15 октября)) |
00:47, 13 ноября 2009 | Paradigm_091112_04.jpg (файл) | ESyr01 | 3,61 МБ | (Реверсивность append. Иллюстрация к лекции от 12 ноября по курсу [[Парадигмы программирова) |
08:54, 30 октября 2009 | Paradigm_091029_08.jpg (файл) | ESyr01 | 3,62 МБ | (Пример с увеличением текстуальной длины выражения при применении β-редукции. Исправленный вариант. Иллюстрация к [[Парадигмы программир) |
13:31, 16 октября 2009 | Paradigm_091015_01.jpg (файл) | ESyr01 | 3,63 МБ | (apply, funcall. Иллюстрация к лекции Парадигмы программирования, 04 лекция (от 15 октября)) |
00:46, 13 ноября 2009 | Paradigm_091112_03.jpg (файл) | ESyr01 | 3,67 МБ | (Реверсивность append. Иллюстрация к лекции от 12 ноября по курсу [[Парадигмы программирова) |
01:53, 6 ноября 2009 | Paradigm_091105_04.jpg (файл) | ESyr01 | 3,67 МБ | (Пролог — пример. Иллюстрация к лекции от 5 ноября по курсу [[Парадигмы программирования) |
02:00, 6 ноября 2009 | Paradigm_091105_07.jpg (файл) | ESyr01 | 3,67 МБ | (Пролог: схема работы унификатора — обновление контекста. Иллюстрация к [[Парадигмы программирования, 07 лекция (от 05 ноября)|лекции от 5 нояб) |
09:38, 23 октября 2009 | Paradigm_091022_05.jpg (файл) | ESyr01 | 3,67 МБ | (Пример использования call/cc. Первая часть. Иллюстрация к лекции от 22 октября 2009 года по к) |
13:49, 16 октября 2009 | Paradigm_091015_11.jpg (файл) | ESyr01 | 3,68 МБ | (funarg-проблема: mapcar1. Иллюстрация к лекции Парадигмы программирования, 04 лекция (от 15 октября).) |
18:30, 11 октября 2009 | Paradigm_091008_04.jpg (файл) | ESyr01 | 3,69 МБ | (car, cdr, cons. Иллюстрация к Парадигмы программирования, 03 лекция (от 08 октября)) |
18:29, 11 октября 2009 | Paradigm_091008_03.jpg (файл) | ESyr01 | 3,69 МБ | (defun. Иллюстрация к Парадигмы программирования, 03 лекция (от 08 октября)) |
08:55, 30 октября 2009 | Paradigm_091029_09.jpg (файл) | ESyr01 | 3,7 МБ | (Пример на использование β-редукции. Иллюстрация к лекции от 29 октября 2009 года по кур) |
13:35, 16 октября 2009 | Paradigm_091015_07.jpg (файл) | ESyr01 | 3,7 МБ | (Определение ins_to_list. Иллюстрация к лекции Парадигмы программирования, 04 лекция (от 15 октября).) |
13:36, 16 октября 2009 | Paradigm_091015_09.jpg (файл) | ESyr01 | 3,71 МБ | (funarg-проблема. Иллюстрация к лекции Парадигмы программирования, 04 лекция (от 15 октября).) |
13:36, 16 октября 2009 | Paradigm_091015_08.jpg (файл) | ESyr01 | 3,77 МБ | (funarg-проблема. Иллюстрация к лекции Парадигмы программирования, 04 лекция (от 15 октября).) |
09:49, 23 октября 2009 | Paradigm_091022_13.jpg (файл) | ESyr01 | 3,81 МБ | (setjmp/longjmp. Иллюстрация к лекции от 22 октября 2009 года по курсу «[[Парадигмы программирова) |
13:33, 16 октября 2009 | Paradigm_091015_05.jpg (файл) | ESyr01 | 3,82 МБ | (Определение lreduce. Иллюстрация к лекции Парадигмы программирования, 04 лекция (от 15 октября)) |
13:50, 16 октября 2009 | Paradigm_091015_12.jpg (файл) | ESyr01 | 3,82 МБ | (funarg-проблема: mapcar1. Иллюстрация к лекции Парадигмы программирования, 04 лекция (от 15 октября).) |
13:48, 16 октября 2009 | Paradigm_091015_10.jpg (файл) | ESyr01 | 3,86 МБ | (funarg-проблема. Иллюстрация к лекции Парадигмы программирования, 04 лекция (от 15 октября).) |
18:30, 11 октября 2009 | Paradigm_091008_05.jpg (файл) | ESyr01 | 3,89 МБ | (Функция вычисления длины списка. Иллюстрация к Парадигмы программирования, 03 лекция (от 08 октября)) |
18:29, 11 октября 2009 | Paradigm_091008_02.jpg (файл) | ESyr01 | 3,9 МБ | (Значения атомов, setq. Иллюстрация к Парадигмы программирования, 03 лекция (от 08 октября)) |
09:47, 23 октября 2009 | Paradigm_091022_12.jpg (файл) | ESyr01 | 3,91 МБ | (Иллюстрация к рассказу про механизм исключений. Иллюстрация к [[Парадигмы программирования, 05 лекция (от 22 октября)|лекции от 22 октября 2009 г) |
13:32, 16 октября 2009 | Paradigm_091015_03.jpg (файл) | ESyr01 | 3,91 МБ | (Применение lreduce, rreduce. Иллюстрация к лекции Парадигмы программирования, 04 лекция (от 15 октября)) |
21:33, 29 декабря 2010 | Difference_Engine_No_2.JPG (файл) | Slenik | 4,05 МБ | (Фотография Дифференциальной Машины №2 (Difference Engine No 2). Машина была собрана по чертежам аналитической машины Ч. Бэббиджа в 1991 году специалист) |
16:40, 30 октября 2008 | HM_Lection09.ppt (файл) | ESyr01 | 4,06 МБ | (ИСТОРИЯ ПРИКЛАДНОЙ МАТЕМАТИКИ ЭВМ Лекция 9: Развитие вычислительных средств. Биография и достижения Чарльза Бэббиджа) |
04:56, 10 декабря 2008 | Lection13.ppt (файл) | ESyr01 | 4,28 МБ | (ИСТОРИЯ ПРИКЛАДНОЙ МАТЕМАТИКИ ЭВМ Лекция 13: Биографии основных теоретиков Computer science Лекцию прочёл [http://lvk.cs.msu.su/~dimawolf/MathHistory/ Дмитрий Волкан) |
18:34, 23 марта 2009 | Imaging_Lecture_1.pps (файл) | ESyr01 | 7,09 МБ | (Математические методы решения биометрических задач, лекция 1. * Автор: к. ф.-м. н., доцент А. С. Крылов * Формат: PowerPoint Slideshow) |
09:42, 22 декабря 2010 | 20101218_105515.m4a (файл) | Nekto | 7,96 МБ | (Аудиозапись с тестовыми вопросами и список отличников по итогам ДЗ.) |
Первая страница |
Предыдущая страница |
Следующая страница |
Последняя страница |