Логика

Правда то, что у некоторых мужчин и женщин тоже можно влюбиться в одну лишь логику!)))

Какая именно логика вас интересует? Первого, второго, третьего, высшего порядка? Логика Хоара, исчисления высказываний, модальные логики, темпоральные логики, логика предикатов?

О, интересненько!)

конечно нет есть только у баба и голубей

Очень интересует последнее и предпоследнее)

Темпоральные логики просто добавляют к имеющимся новые операторы, из-за чего таблицы истинности становятся, ээ, многомерными, точнее, вместо них строятся деревья в случае с CTL и трассы вычисления на линейном времени в LTL.
Предикативная логика это суть обычное исчисление высказываний, только рассматривая его не с точки зрения "есть символы, есть операторы над ними, есть бесконечное множество формул из этих двух", а с точки зрения "есть символы, есть операторы над ними, из них можно составлять функции (т.е. предикаты), давайте соберёмся толпой математиков и будем думать, что из этого всего получится".
Ну а предикатные преобразователи и всякие там транзиционные системы это скука смертна, то есть, это очень полезные вещи, но экзамен был полгода назад и я, как человек, не страдающий работой связанной с доказательствами, уже всё забыл.
Раздражает, когда люди 1)предполагают, что действия всех людей подчинены некой строгой, непротиворечивой логике, хотя наши мозги это химическая штука, а не вычислитель; 2)кидаются словами типа "мужская логика, женская логика, логика", когда сами ничего в этом не смыслят и ещё что-то лепечут о том, у кого логика есть, а у кого нет.

Судя по количеству жирных и лысых мужчин-то да,логики у них явно нет.

Теперь все стало ясно, я все поняла, спасибо)
Да, согласна с вами, раздражает такое.

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

Здорово)