LCME Четверг, 28.03.2024, 18:06
Главная | Регистрация | Вход Приветствую Вас Гость | RSS
[ Новые сообщения · Участники · Правила форума · Поиск · RSS ]
  • Страница 1 из 1
  • 1
Форум » Билеты к экзаменам » Программирование » Книги от Штукенберга
Книги от Штукенберга
freidomДата: Понедельник, 28.12.2009, 18:31 | Сообщение # 1
Главный тут
Группа: Администраторы
Сообщений: 273
Репутация: 20
Статус: Offline
Сегодня пришли мне на e-mail со следующим комментарием:
Quote
For Church-Rosser theorem see pages 71-73: there is quite an accurate proof; but the proof idea is a bit different.
Another source may be the article, attached to this letter. It's in English, but the proof method very
close to the one I used. See pages 31-35 (and especially 34-35).

Под "article" имеется в виду PDF-файл, в первом же абзаце говорится о djvu.
Кстати, загадка: где в сообщении спрятались 2 ошибки? smile
Прикрепления: Barendregt_H-La.djvu (1.83 Mb) · lambdanotes.pdf (462.2 Kb)
 
джужинаторДата: Понедельник, 28.12.2009, 22:41 | Сообщение # 2
Рядовой
Группа: Пользователи
Сообщений: 11
Репутация: 0
Статус: Offline
че за бред?
 
Jack_WarGunOffДата: Понедельник, 28.12.2009, 22:50 | Сообщение # 3
Сержант
Группа: Друзья
Сообщений: 34
Репутация: 6
Статус: Offline
Учи английский=)

Aquila non captat muscas - Орлы не ловят мух
 
джужинаторДата: Понедельник, 28.12.2009, 22:57 | Сообщение # 4
Рядовой
Группа: Пользователи
Сообщений: 11
Репутация: 0
Статус: Offline
спасибочки блин)
 
Форум » Билеты к экзаменам » Программирование » Книги от Штукенберга
  • Страница 1 из 1
  • 1
Поиск:

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