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