Университетское

[ДайСё]

Люди! Есть ли кто-нибудь, разбирающийся в логике? Курсу Кодачи препод задал какую-то задачу, которую никто не понял. За решение пообещал автомат. Уточнение: препод ведёт так, что из четырёх групп его понимают - иногда - два-три человека - те, кто штудирует ещё несколько учебников параллельно.
Если кто-нибудь решит эту несчастную задачу, Кодачи ему напишет фанфик на заданную тему!


UPD: уже неактуально.

@темы: альма-матер

Comments

[ryoushin]

дай почитать

[ДайСё]

[Пушистый Волкэ, стриженный ёжиком]

Это у тебя алгебра логики, что ли?

[ДайСё]

Wolf-chan, я реально не знаю, что это такое. Он практически не объясняет.

[Пушистый Волкэ, стриженный ёжиком]

Странный препод. Очередной Ито-сенсей?
Оно жутко выглядит. Я узнала только конъюнкцию, дизъюнкцию и импликацию.

[ДайСё]

Wolf-chan, да, очередной. Перевёрнутые А и Е - это "для всех икс" и "хотя бы для одного икс" соответственно.
Впрочем, возможно, дело в аудитории. У филологов хронически плохо с формулами. Ну и... когда препод начинает писать на середине доски, затем, по очереди - внизу, по бокам и вверху, это как-то сложно воспринимать.

[Пушистый Волкэ, стриженный ёжиком]

ДайСё, бедные филологи.
Если бы это была просто алгебра логики, я могла бы это тебе решить хотя тогда ты бы и сама наверняка все решила, но с этими А и Е, да еще с функциями...

когда препод начинает писать на середине доски, затем, по очереди - внизу, по бокам и вверху, это как-то сложно воспринимать.

Мы так на химии всегда задачи решаем))

[лейтенант Бессмертник]

Я, честно говоря, не совсем понимаю, что требуется решить - по мне, так это просто набор утверждений
На всякий случай могу предложить пару ссылок на объяснение алгебры множеств: вот и тут.
Фактически, если представлять P(x) и Q(x) в виде неких функций, то первый блок формул (существует х такой, что...) говорит о точке, в которой две функции пересекаются. Т.е. точка x принадлежит как кривой P(x), так и кривой Q(x). И, если я не ошибаюсь, то второй блок формул говорит о том, что эти кривые должны совпадать в каждой точке (т.к. в любой точке х эта точка принадлежит и объединению P(x) и Q(x), и их пересечению). Т.е. фактически P(x) и Q(x) - это одно и то же, названное разными буквами. Gо большому счету, можно заменить функции любым событием, зависящим от некого случая x. Например, x - "бросили кость", P(x) и Q(x) - "на верхней грани выпало число".

Я могу ошибаться, я в IT сфере учусь и логику нам практически не преподавали... И вообще странно, нафига филологам функции.

[ДайСё]

Лейтенант К., кажется, этот набор утверждений нужно проверить не то на общезначимость, не то ещё на что.