1 Тема от Chars67

  • Chars67
  • Chars67
  • Пользователь
  • Неактивен
  • Зарегистрирован: 21.02.2010
  • Сообщений: 2,429
  • Репутация : [ 29 | 6 ]

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

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

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

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

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

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

Давно уже не забавно наблюдать торжество отрицательного отбора.

2 Ответ от Vadimsky

  • Vadimsky
  • Vadimsky
  • Философ
  • Неактивен
  • Откуда: Тула
  • Зарегистрирован: 21.02.2010
  • Сообщений: 2,913
  • Репутация : [ 61 | 2 ]

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

Истина ускользает от тех кто отказывается её видеть обоими глазами.
Талантам нужно помогать, бездарности пробьются сами.
В Туле настолько суровые парни, что вместо пены для бритья, используют пену монтажную.
cat /broken/hands > /dev/null

3 Ответ от bobr

  • bobr
  • Пользователь
  • Неактивен
  • Откуда: Ставрополь
  • Зарегистрирован: 23.02.2010
  • Сообщений: 1,777
  • Репутация : [ 26 | 0 ]
Chars67 пишет:

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

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

Йа тьомный эльф