LCME Суббота, 18.11.2017, 15:07
Главная | Регистрация | Вход Приветствую Вас Гость | RSS
[ Новые сообщения · Участники · Правила форума · Поиск · RSS ]
Страница 1 из 11
Форум » Билеты к экзаменам » Программирование » Листки Штукенберга
Листки Штукенберга
freidomДата: Воскресенье, 27.12.2009, 17:19 | Сообщение # 1
Главный тут
Группа: Администраторы
Сообщений: 273
Репутация: 20
Статус: Offline
Народ, у кого есть листки, которые нам Штукен выдавал в начале года (определение свободных, связанных переменных, бета-редекс, бета-редукция и пр., НЕ теорема Чёрча-Россера) прошу выложить. Очень нужно для подготовки билетов.
P.S.: Спасибо Овику за выкладывание одного из листков. Ведётся поиск второго - алгебраический тип данных, упорядоченные пары, пример вычисления факториала через Y-комбинатор.
UPD: уже не надо.
 
NesДата: Воскресенье, 27.12.2009, 17:31 | Сообщение # 2
Рядовой
Группа: Проверенные
Сообщений: 11
Репутация: 1
Статус: Offline
Щас выложу

Сообщение отредактировал Nes - Воскресенье, 27.12.2009, 17:43
 
NesДата: Воскресенье, 27.12.2009, 17:35 | Сообщение # 3
Рядовой
Группа: Проверенные
Сообщений: 11
Репутация: 1
Статус: Offline
Лови первый
Прикрепления: 5670364.jpg(166Kb)
 
NesДата: Воскресенье, 27.12.2009, 17:37 | Сообщение # 4
Рядовой
Группа: Проверенные
Сообщений: 11
Репутация: 1
Статус: Offline
Продолжение Первого

Добавлено (27.12.2009, 17:37)
---------------------------------------------
P.S.Больше нет у меня таких листков нет

Прикрепления: 4757435.jpg(191Kb)


Сообщение отредактировал Nes - Воскресенье, 27.12.2009, 17:40
 
freidomДата: Воскресенье, 27.12.2009, 20:20 | Сообщение # 5
Главный тут
Группа: Администраторы
Сообщений: 273
Репутация: 20
Статус: Offline
Спасибо, Овик. К сожалению, это не всё.
 
freidomДата: Понедельник, 28.12.2009, 16:45 | Сообщение # 6
Главный тут
Группа: Администраторы
Сообщений: 273
Репутация: 20
Статус: Offline
Всё, я сегодня на консультации их скопировал.
 
Форум » Билеты к экзаменам » Программирование » Листки Штукенберга
Страница 1 из 11
Поиск:

Copyright Freidom © 2017 Хостинг от uCoz