Linux Forum — Сколько логик надо для полного счастья??? [это - опрос]

Re: Сколько логик надо для полного счастья??? [это - опрос]

null@example.com (bobr) — Mon, 21 Feb 2011 09:39:51 +0000

Chars67 пишет:

И должно ли быть много разных логик???

Это ж все неоднозначно. Смотря в чем эти логики проявляют себя: где-то их непременно нужно несколько, а где-то их больше одной и не положено.

Re: Сколько логик надо для полного счастья??? [это - опрос]

null@example.com (Vadimsky) — Mon, 21 Feb 2011 08:58:25 +0000

Для меня существуют только три логики:
"И"
"ИЛИ"
"НЕТ"
имхо всё остальное от лукавого.

Сколько логик надо для полного счастья??? [это - опрос]

null@example.com (Chars67) — Sun, 20 Feb 2011 19:49:39 +0000

На самом деле это не смешно:

- логика 1-го порядка, которая дохнет на самых заурядных коллизиях
(и Пролог тому примером, равно как и всякие сопоставления с образцом, и прочие ремиксы унификации в функциональщине),

- модальная логика;
- логика норм (читают на юрфаках);
- логика действий;
- временнАя логика (для разруливания событий, разнесённых во времени);
... (дальше просто лень набирать)

Ну вот да - многие дистры - многие печали.

А вот к специализациям логик как форумчане относятся?

И должно ли быть много разных логик???
А они - реально разные, из одной в другую - хрен перетолмачишь