(no subject)

[livelight]

Длинная женская логика: "Если Б приятно и из А следует Б, то А - истино"
Короткая женская логика: "Если Б приятно и (дальнейшие логические условия не вычисляются), то Б - истино"

Если что, это не гендерный юмор, а программистский :)

Comments

[anya-marshak.livejournal.com]

как то надумано, нет?

[livelight]

Я взял формулу длинной логики за аксиому, а короткую выводил из неё :)

[anya-marshak.livejournal.com]

ну ну) "у женщин хотя бы женская логика есть, у мужчин вообще никакой":)

[livelight]

Ещё бы мне кто-нибудь подсказал внятную и не шибко заумную книгу по темпоральной логике... :)

[slava-sha.livejournal.com]

Беклемишев некоторые заметки делал http://www.ark.ru/ins/zapoved/zapoved/logika.html
но это гендерная :)

[livelight]

Ага, видел этот текст. Правда, ни разу ниасилил ;)

[ulysses4ever.livejournal.com]

Введение в темпоральные логики есть в книгах по model checking, каковых сейчас на русском уже целых две. У Кларка и компании вроде внятно написано.

[livelight]

Спасибо, посмотрю

[qorka.livejournal.com]

Я вообще ничего не поняла. Наверно у меня логика отсутствует напрочь

[livelight]

Я же говорю, это программистский юмор :)

[tinve777.livejournal.com]

а в программировании разве есть такое понятие как "истино"?

(примеров нам, конкретики!)))

[livelight]

Это падонкафскае программирование :-D

Там специальные булифские переменные, принимающие значения "истино" и "лошь". Лошь - это тот, кто поверил тому, что не истино.