May. 4th, 2011

matholimp: (Default)
В очередной раз хочу предложить широкой публике упражнения, которые я предлагаю своим студентам. На мой взгляд, этот ликбез следовало бы проходить не в курсе "Математическая логика и теория алгоритмов" технического университета, а ещё в 5-7 классе. Задание состоит в том, чтобы составить логические формулы, заменяющие записанные по-русски предложения.

Прежде всего, Вы должны правильно выбрать и использовать (там, где они уместны) кванторы, знаки отрицания, импликации, конъюнкции, дизъюнкции и других логических операций. Обратите внимание на то, что союзы в русском языке не соответствуют им в точности (и часто опускаются). Не путайте отрицательную частицу "не" с усилительной "ни".
Существительные (объекты) следует заменить константами или переменными, указав в комментарии их смысл. Чтобы выбрать из этих двух вариантов, иногда удобно перевести фразу на тот из иностранных языков, где обязательны (определённый или неопределённый) артикли. Не лишним здесь будет и указание множества возможных значений.
Прилагательные (свойства и качества объектов) замените соответствующими функциями. Глаголы, как правило, следует заменить отношениями между объектами (функциями от двух или более аргументов). В обоих случаях различайте булевские функции (например, "холостой-женатый"), числовые (когда речь идёт о сравнении их значений по величине) или с иным множеством значений (например, цвет).

Упражнения для разминки.
Примеры из лирики:
1. Парней так много холостых на улицах Саратова.
2. Чем меньше женщину мы любим, тем легче нравимся мы ей.
3. Под небом голубым есть город золотой.
Вариации на тему перевранной фразы Сократа:
4. Я знаю, что (именно) я знаю.
5. Я знаю, чего я не знаю.
6. Я не знаю, что я знаю.
7. Я не знаю, чего я не знаю.
8. Я знаю, что я ничего знаю.
Продолжите эту серию, вставив (где это можно) уточняющие кванторы.

Задание для учебного исследования.
Найдите (не в учебниках математики, а) в художественной литературе примеры фраз, чтобы им соответствовало бы как можно больше различных логических формул.
matholimp: (Default)
Можно сколько угодно расходиться с Виктором Имантовичем Алкснисом в политических взглядах и пристрастиях. Однако в оценке "предпосылки к летному происшествию" (как на казенном бюрократическом языке в ВВС называется ситуация, когда в воздухе создается аварийная ситуация, но в итоге все живы и здоровы) бывший полковник советской авиации гораздо более компетентен, чем мебельщик во главе МО.
Ролики см. на http://www.youtube.com/watch?v=fP5uLDnUOdI ,
http://www.youtube.com/watch?v=sJ1CIByTz24 и
http://www.youtube.com/watch?v=mM9UM33EKqY .
Текст - http://v-alksnis2.livejournal.com/178184.html .
matholimp: (Default)
Originally posted by [livejournal.com profile] socialism_vk at Есть такой министр Фур, всероссийский самодур…
На Филологическом факультете сегодня неизвестные повесили листок А4, на котором было отпечатано стихотворение «О положении дел в СПбГУ», являющееся пародией на известную детскую сказку Корнея Чуковского «Тараканище».
Нам не удалось выяснить имя автора данного шедевра, но, как оказалось, на других факультетах это стихотворение вывешивалось раньше.


Есть такой министр Фур,
Всероссийский самодур:
«Знать не знаю никакой математики,
Биологии, информатики,
Ни английского, ни французского,
Да вообще-то, не знаю и русского.
Никакой вам силы тяжести mg,
А будет вам сплошное обж!»
И такую чушь-то он несет,
Что, похоже, дурдом не спасет.
Все городит и городит …

* * *
Но беда одна не ходит.
Вдруг из подворотни страшный великан,
Таракан, Таракан, Тараканище!
Он залез на стеклянную банку:
«Не ходите вы, звери, к Сбербанку,
Перейдите-ка все в ВеТеБе
(А миллиончик положу себе)!
А перечить мне не сметь –
У меня есть друг Медведь!»
Звери задрожали,
В обморок упали.
И однажды темной ночью,
А точнее, жарким летом
Отобрал все полномочия
У Ученого Совета.

 

Read more... )


matholimp: (Default)
Средняя дочь вернулась из двухнедельной поездки по Италии. Самое сильное впечатление - огромные толпы увешанных блохами арабов (ливийцев и-или тунисцев) в аэропортах и на вокзалах.

January 2013

S M T W T F S
  1 234 5
6789101112
13141516171819
20212223242526
2728293031  

Style Credit

Expand Cut Tags

No cut tags
Page generated Aug. 21st, 2025 02:36 pm
Powered by Dreamwidth Studios