FluktLight комментирует: Попытка №2 Можно считать все пары термов сорта STRING_TABLE равными, что не может быть различимо при

↓

↑

Комментарий к сообщению

	FluktLight 25 июля 2019
Попытка №2 Можно считать все пары термов сорта STRING_TABLE равными, что не может быть различимо при помощи имеющихся наблюдателей. Б. Лисков, Дж. Гатэг Использование абстракций и спецификаций при разработке программ 1

Открыть обсуждение на этом комментарии

ПОИСК
ФАНФИКОВ

Актуальные темы

#реал, #восточный_ветер, #деанон, #картинки_в_блогах, #всем_пох, #ГП, #опрос, #слэш, #всемпох, #всякаяфигня

Активные обсуждения

Если тратить деньги только на пожрать и коммуналку, то на какую минимальную сумму в месяц можно прожить? Без учёта аренды. +29

#реал Однако вчера меня в общественном транспорте спросили, по пенсионной ли карте я езжу. И когда я... +24

#опросы Бремя тупых опросов Дано: * Человек #1 и человек #2, связанные долгом. * Неведомая злая хт... +30

Не так давно влез я в кино страны, где пятьдесят лет был запрет на фильмы и сериалы на хинди, впроче... +17

#конкурсы_на_фанфиксе #болталка #Восточный_ветер Ну что ж, Восток - дело тонкое, как говорится. Поболтаем под шёпот сакуры? +279

Поддержи проект рублёмЧтобы Фанфикс рос большим