НГУ

Форумы НГУ
Текущее время: Чт дек 05, 2019 10:55 pm

Часовой пояс: UTC + 7 часов




Начать новую тему Эта тема закрыта, вы не можете редактировать и оставлять сообщения в ней.  [ Сообщений: 1592 ]  На страницу 1, 2, 3, 4, 5 ... 107  След.
Автор Сообщение
СообщениеДобавлено: Ср дек 29, 2004 7:37 pm 
Не в сети
Начинающий автор

Зарегистрирован: Сб ноя 29, 2003 12:12 pm
Сообщения: 353
Откуда: Dimitriy D. Remerov
Может объясните мне как доказать, что "Класс всех вум-ов не аксиоматизируем?" Это последнее, что мне осталось... ;)

_________________
it is a good day to die


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Ср дек 29, 2004 7:46 pm 
Не в сети
Весьма плодовитый автор

Зарегистрирован: Сб мар 20, 2004 11:13 pm
Сообщения: 1085
Откуда: Карлсон, который живёт на крыше
Это тривиально: теорема о характеризации аксиоматизируемых классов. Дальше писать не буду, а то Коба будет ругаться. :)

_________________
Спокойствие, только спокойствие! :)

И всё же:
Янукович -- мой выбор!


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Ср дек 29, 2004 8:06 pm 
Не в сети
Опытный автор

Зарегистрирован: Ср мар 24, 2004 4:04 pm
Сообщения: 624
Откуда: Михаил Макаров
Небольшая подсказка: надо предположить противное, потом пополнить предполагаемое множество аксиом некоторым особым образом и воспользоваться локальной теоремой Мальцева. По-моему это стандартный способ доказательства неаксиоматизируемости. Кстати, эта задача была на контрольной по логике у группы 3128.

_________________
Я попал в окружение.
Кто там с белыми флагами?
Покупайте прощение.
А я исчезну оврагами.
(c) ДДТ.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Ср дек 29, 2004 8:44 pm 
Не в сети
Непрерывный писатель

Зарегистрирован: Пт июн 18, 2004 10:34 pm
Сообщения: 4435
Откуда: Сергей Подзоров
Griffon писал(а):
Может объясните мне как доказать, что "Класс всех вум-ов не аксиоматизируем?" Это последнее, что мне осталось... ;)


Вам --- вряд ли могу. Мой опыт общения с Вами дает основания думать, что мои объяснения вам неинтересны.

У Вас в течении семестра было много возможностей получить от меня это объяснение. Однако Вы ни одной из них не воспользовались. Потому что на семинары не ходили.

В пропусках моих семинаров нет, в принципе, ничего страшного. Возможно, Вам не нравится моя манера преподавания. А может быть у Вас были какие-то более интересные дела, чем посещение семинаров по мат. логике. Я не в обиде. Вы можете вообще не ходить на семинары. Но тогда Вы должны во время зачета доказать мне, что Вы умеете решать задачи, которые на семинарах разбирались. Задача, про которую Вы здесь спрашиваете --- одна из таких.

Эту задачу я Вам дал еще в прошлый четверг. И уже тогда сказал, что зачет буду принимать только три дня. Последний раз я принимал его вчера. У Вас опять было множество возможностей за пять дней выяснить, как подобные задачи решаются. Но у Вас, вероятно, опять нашлись более важные дела.

А теперь более важные дела нашлись у меня. И в связи с этим перед Вами стоит альтернатива: либо до экзамена все же найти время для того, чтобы без моей помощи узнать, как решаются подобные задачи, либо остаться без зачета. Если Вы предпочтете вторую альтернативу, то после того, как Вас отчислят, я с удовольствием объясню Вам, как решать такие задачи.

_________________
Don't let the sun blast your shadow
Don't let the milk float ride your mind


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Ср дек 29, 2004 10:01 pm 
Не в сети
Начинающий автор

Зарегистрирован: Сб ноя 29, 2003 12:12 pm
Сообщения: 353
Откуда: Dimitriy D. Remerov
---стыдно---

_________________
it is a good day to die


Последний раз редактировалось Griffon Ср июл 04, 2007 7:53 pm, всего редактировалось 1 раз.

Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Ср дек 29, 2004 11:10 pm 
Не в сети
Непрерывный писатель

Зарегистрирован: Пт июн 18, 2004 10:34 pm
Сообщения: 4435
Откуда: Сергей Подзоров
Ну хорошо, ведомости я в деканат все равно еще не сдал. Завтра пойду сдавать.

Можно договориться на завтра. Только не знаю, когда точно я туда поеду. Если хотите, оставьте свой телефон, я Вам за час до поездки позвоню. Поговорим подробно о каждой из оставшихся у Вас пяти задач, я посмотрю, как Вы их решили и дам несколько подобных простых задач, которые Вы должны будете решить при мне. Если я увижу, что Вы все "прошарили", то поставлю Вам зачет.

_________________
Don't let the sun blast your shadow
Don't let the milk float ride your mind


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Ср дек 29, 2004 11:18 pm 
Не в сети
Начинающий автор

Зарегистрирован: Сб ноя 29, 2003 12:12 pm
Сообщения: 353
Откуда: Dimitriy D. Remerov
---to_delete---

_________________
it is a good day to die


Последний раз редактировалось Griffon Ср июл 04, 2007 7:52 pm, всего редактировалось 1 раз.

Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Чт дек 30, 2004 1:02 am 
Не в сети
Частый гость

Зарегистрирован: Вт мар 30, 2004 12:34 am
Сообщения: 73
Griffon, мне кажется, что курс матлогики за этот семестр надо было начинать проходить все же в начале семестра. в конце-концов, в универ для этого и поступают. или по крайней мере не признавались бы, что забивали все время. на месте Кобы я бы вам принципиально зачет не поставила. наверное, Коба очень добрый и хороший человек :)


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Чт дек 30, 2004 1:26 am 
Не в сети
Весьма плодовитый автор

Зарегистрирован: Пт сен 27, 2002 12:04 pm
Сообщения: 1626
Откуда: Илья Марьясов
Матлогику изучать и знать в объёме хотя бы курса лекций обязан каждый, кто учится на ММФ.
Забивать и "прошаривать" в дни зачётной недели - mauvais ton.

З.Ы. Я бы тоже зачёт не поставил.

_________________
16*arctg(1/5)-4*arctg(1/239)


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Чт дек 30, 2004 2:35 am 
Не в сети
Начинающий автор

Зарегистрирован: Сб ноя 29, 2003 12:12 pm
Сообщения: 353
Откуда: Dimitriy D. Remerov
---стыдно---

_________________
it is a good day to die


Последний раз редактировалось Griffon Ср июл 04, 2007 7:50 pm, всего редактировалось 1 раз.

Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Чт дек 30, 2004 2:46 am 
Не в сети
Начинающий автор

Зарегистрирован: Пн мар 29, 2004 4:20 pm
Сообщения: 211
IVM писал(а):
Матлогику изучать и знать в объёме хотя бы курса лекций обязан каждый, кто учится на ММФ.

А почему не, скажем, термех?

P.S. Я бы зачет поставил после задач 30 с подробными объяснениями :)


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Чт дек 30, 2004 2:48 am 
Не в сети
Непрерывный писатель

Зарегистрирован: Пт июн 18, 2004 10:34 pm
Сообщения: 4435
Откуда: Сергей Подзоров
А знаете, Гриффон, в прошлом семестре та же система была. Но посещаемость в этом семестре не упала, а выросла. Прогулов стало меньше. Наверное, народ понял, что лучше на семинары ходить, чем в конце семестра задачи решать. Неужели до Вас это еще не дошло?

_________________
Don't let the sun blast your shadow
Don't let the milk float ride your mind


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Чт дек 30, 2004 2:53 am 
Не в сети
Начинающий автор

Зарегистрирован: Сб ноя 29, 2003 12:12 pm
Сообщения: 353
Откуда: Dimitriy D. Remerov
---стыдно---

_________________
it is a good day to die


Последний раз редактировалось Griffon Ср июл 04, 2007 7:51 pm, всего редактировалось 2 раз(а).

Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Чт дек 30, 2004 3:21 am 
Не в сети
Непрерывный писатель

Зарегистрирован: Пт июн 18, 2004 10:34 pm
Сообщения: 4435
Откуда: Сергей Подзоров
Griffon писал(а):
Не обращайте внимание на несвязность моих речей, я немножко под пивом.


Ну чтож, have a nice trip. Но завтра все же советую быть трезвым. Не люблю несвязных речей.

_________________
Don't let the sun blast your shadow
Don't let the milk float ride your mind


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Чт дек 30, 2004 3:26 am 
Не в сети
Начинающий автор

Зарегистрирован: Сб ноя 29, 2003 12:12 pm
Сообщения: 353
Откуда: Dimitriy D. Remerov
---стыдно---

_________________
it is a good day to die


Последний раз редактировалось Griffon Ср июл 04, 2007 7:52 pm, всего редактировалось 1 раз.

Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Эта тема закрыта, вы не можете редактировать и оставлять сообщения в ней.  [ Сообщений: 1592 ]  На страницу 1, 2, 3, 4, 5 ... 107  След.

Часовой пояс: UTC + 7 часов


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 4


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  
cron
Создано на основе phpBB® Forum Software © phpBB Group
Русская поддержка phpBB