LCME Суббота, 18.11.2017, 15:06
Главная | Регистрация | Вход Приветствую Вас Гость | RSS
[ Новые сообщения · Участники · Правила форума · Поиск · RSS ]
Страница 1 из 11
Форум » Билеты к экзаменам » Программирование » Ошибки в листках Штукенберга ((c) Dmitry Nikulin aka freidom, lcme.ucoz.ru)
Ошибки в листках Штукенберга
freidomДата: Понедельник, 28.12.2009, 20:29 | Сообщение # 1
Главный тут
Группа: Администраторы
Сообщений: 273
Репутация: 20
Статус: Offline
стр. 36:
Quote
...найдётся p: x /- Gp (x1, ..., xkp), где xi /- A.

Gp: U^kp -> U, поэтому x никак не может принадлежать её результату. Кроме того, непонятно, что такое A. У нас ведь есть только Ai (A с индексом), а просто A нету.
Quote
Значит, поскольку An < UiAi...

Должно быть нестрогое подмножество.

стр. 37:
(определение F*) Что такое R?

стр. 41:

Quote
По правилу 3: (\x.(I I)) x => (\x.I) x

Это неправда. Правило 3 говорит про абстракции, а это, очевидно, применения.
 
Форум » Билеты к экзаменам » Программирование » Ошибки в листках Штукенберга ((c) Dmitry Nikulin aka freidom, lcme.ucoz.ru)
Страница 1 из 11
Поиск:

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