 |  "Третье тысячелетие""Третье тысячелетие" - LiveJournal.com http://matholimp.livejournal.com/ рекомендовать друзьям >> |
- Разбор полётов
Можно сколько угодно расходиться с Виктором Имантовичем Алкснисом в политических взглядах и пристрастиях. Однако в оценке "предпосылки к летному происшествию" (как на казенном бюрократическом языке в ВВС называется ситуация, когда в воздухе создается аварийная ситуация, но в итоге все живы и здоровы) бывший полковник советской авиации гораздо более компетентен, чем мебельщик во главе МО.
Ролики см. на 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 .Переслать - О тех, кто ищет и всегда находит
Originally posted byzlaya_uchilka at post
Переслать - Формализация фраз естественного языка средствами логической символики
В очередной раз хочу предложить широкой публике упражнения, которые я предлагаю своим студентам. На мой взгляд, этот ликбез следовало бы проходить не в курсе "Математическая логика и теория алгоритмов" технического университета, а ещё в 5-7 классе. Задание состоит в том, чтобы составить логические формулы, заменяющие записанные по-русски предложения.
Прежде всего, Вы должны правильно выбрать и использовать (там, где они уместны) кванторы, знаки отрицания, импликации, конъюнкции, дизъюнкции и других логических операций. Обратите внимание на то, что союзы в русском языке не соответствуют им в точности (и часто опускаются). Не путайте отрицательную частицу "не" с усилительной "ни".
Существительные (объекты) следует заменить константами или переменными, указав в комментарии их смысл. Чтобы выбрать из этих двух вариантов, иногда удобно перевести фразу на тот из иностранных языков, где обязательны (определённый или неопределённый) артикли. Не лишним здесь будет и указание множества возможных значений.
Прилагательные (свойства и качества объектов) замените соответствующими функциями. Глаголы, как правило, следует заменить отношениями между объектами (функциями от двух или более аргументов). В обоих случаях различайте булевские функции (например, "холостой-женатый"), числовые (когда речь идёт о сравнении их значений по величине) или с иным множеством значений (например, цвет).
Упражнения для разминки.
Примеры из лирики:
1. Парней так много холостых на улицах Саратова.
2. Чем меньше женщину мы любим, тем легче нравимся мы ей.
3. Под небом голубым есть город золотой.
Вариации на тему перевранной фразы Сократа:
4. Я знаю, что (именно) я знаю.
5. Я знаю, чего я не знаю.
6. Я не знаю, что я знаю.
7. Я не знаю, чего я не знаю.
8. Я знаю, что я ничего знаю.
Продолжите эту серию, вставив (где это можно) уточняющие кванторы.
Задание для учебного исследования.
Найдите (не в учебниках математики, а) в художественной литературе примеры фраз, чтобы им соответствовало бы как можно больше различных логических формул.Переслать - Безграмотность, отлитая в граните
У фурсенковского молодежа (см. http://matholimp.livejournal.com/622759.html ) нашёлся пример для подражания.
Ещё вчера на http://russkij-sever.livejournal.com/1233587.html?view=11369395#t11369395 я споткнулся о слово "юнгов". Сначала хотел было уличить в безграмотности автора поста. Однако не поленился раскрыть картинку (кликните по ней!) в полный размер. А там просто чудесное! На оригинальной эмблеме, как и положено, "Школа юнг". Но над ней мемориальная доска, в тексте которой уже "юнгов". Неспособны перерисовать без ошибок даже слово из трёх букв!Переслать
 | Лучшие горящие предложения Мистера Тура! Лучшие предложения для вашего отдыха! Горящие туры в Хорватию, Испанию, Португалию, Италию, Чехию, Турцию, Египет и другие страны!. Присоединиться → |
| rss2email.ru |
| rss2email.ru | отписаться: http://www.rss2email.ru/unsubscribe.asp?c=129210&u=1026337&r=851445256 управление подпиской: http://www.rss2email.ru/manage.asp партнерская программа: http://partner.rss2email.ru/?pid=1 |
Комментариев нет:
Отправить комментарий