LCME Четверг, 28.03.2024, 14:15
Главная | Регистрация | Вход Приветствую Вас Гость | RSS
[ Новые сообщения · Участники · Правила форума · Поиск · RSS ]
  • Страница 1 из 1
  • 1
Форум » Билеты к экзаменам » Программирование » Ошибки в листках Штукенберга ((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 из 1
  • 1
Поиск:

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