(no subject)

Feb. 4th, 2010 04:55 pm
livelight: (serenity)
[personal profile] livelight
Длинная женская логика: "Если Б приятно и из А следует Б, то А - истино"
Короткая женская логика: "Если Б приятно и (дальнейшие логические условия не вычисляются), то Б - истино"

Если что, это не гендерный юмор, а программистский :)
Tags:
  • Add Memory
  • Share This Entry
Flat | Top-Level Comments Only

Date: 2010-02-04 02:04 pm (UTC)
From: [identity profile] anya-marshak.livejournal.com
как то надумано, нет?

Date: 2010-02-04 02:10 pm (UTC)
livelight: (Default)
From: [personal profile] livelight
Я взял формулу длинной логики за аксиому, а короткую выводил из неё :)

Date: 2010-02-04 02:31 pm (UTC)
From: [identity profile] anya-marshak.livejournal.com
ну ну) "у женщин хотя бы женская логика есть, у мужчин вообще никакой":)

Date: 2010-02-04 02:38 pm (UTC)
livelight: (Default)
From: [personal profile] livelight
Ещё бы мне кто-нибудь подсказал внятную и не шибко заумную книгу по темпоральной логике... :)

Date: 2010-02-07 04:29 pm (UTC)
From: [identity profile] slava-sha.livejournal.com
Беклемишев некоторые заметки делал http://www.ark.ru/ins/zapoved/zapoved/logika.html
но это гендерная :)

Date: 2010-02-07 06:27 pm (UTC)
livelight: (Default)
From: [personal profile] livelight
Ага, видел этот текст. Правда, ни разу ниасилил ;)

Date: 2010-02-16 09:35 pm (UTC)
From: [identity profile] ulysses4ever.livejournal.com
Введение в темпоральные логики есть в книгах по model checking, каковых сейчас на русском уже целых две. У Кларка и компании вроде внятно написано.

Date: 2010-02-17 06:58 am (UTC)
livelight: (Default)
From: [personal profile] livelight
Спасибо, посмотрю
  • Add Memory
  • Share This Entry
Flat | Top-Level Comments Only

Profile

livelight: (Default)
livelight

January 2026

S M T W T F S
    1 2 3
45 6789 10
111213 14151617
18192021222324
25262728293031

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Jan. 15th, 2026 02:44 pm
Powered by Dreamwidth Studios