НГУ

Форумы НГУ
Текущее время: Вс дек 17, 2017 1:49 am

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




Начать новую тему Эта тема закрыта, вы не можете редактировать и оставлять сообщения в ней.  [ Сообщений: 26 ]  На страницу Пред.  1, 2
Автор Сообщение
 Заголовок сообщения:
СообщениеДобавлено: Ср май 16, 2012 6:05 pm 
Не в сети
Редкий гость

Зарегистрирован: Пт май 04, 2012 10:10 pm
Сообщения: 4
Pavel E. Alaev писал(а):
Множество 3 по определению равно {0,1,2}.

Вспомнив определение множества 3, все сразу становится ясно.

Pavel E. Alaev писал(а):
В курсе она впервые использовалась при доказательстве основных свойств ординалов. В частности, из неё следует, что невозможна ситуация, когда
.

Спасибо, теперь все стало понятно.

Созрел еще один вопрос по предложению о множестве слов непустого алфавита (стр. 18 в кратком конспекте). - множество всех слов алфавита. В случае бесконечного из предыдущей теоремы следует, что . А как получить неравенство , чтобы применить теорему Кантора-Бернштейна и получить требуемое?


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

Зарегистрирован: Чт сен 27, 2001 7:00 am
Сообщения: 1637
Множество одноэлементных слов, которое соответствует в объединении, очевидно, равномощно . Отсюда следует второе неравенство.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Ошибка в лекции
СообщениеДобавлено: Чт май 17, 2012 7:15 pm 
Не в сети
Редкий гость

Зарегистрирован: Чт май 17, 2012 7:13 pm
Сообщения: 1
Откуда: Сергей Демурин
Если не ошибаюсь, то во второй части лекци на странице 13 в Примере в пункте c) есть опечатка при определении произведения(плюс вместо умножения).


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Чт май 17, 2012 9:36 pm 
Не в сети
Весьма плодовитый автор

Зарегистрирован: Чт сен 27, 2001 7:00 am
Сообщения: 1637
Эта опечатка была в самом первом варианте текста, который я студентам не давал. В методичке, которая выложена на сайте ММФ, её уже нет. Думаю, в этой ветке лучше обсуждать тот текст, который доступен студентам, чтобы их не запутать.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Пн май 28, 2012 12:58 am 
Не в сети
Редкий гость

Зарегистрирован: Чт дек 29, 2011 7:35 pm
Сообщения: 8
Здравствуйте.
Когда мы доказываем лемму Цорна и в ней первую лемму, которая про то, что если L1 и L2 правильные цепи, то одна из них является начальным сегментом другой, мы рассматриваем L3=U{c| с - начальный сегмент и в L1 и L2}. Вы не могли бы пояснить, почему это множество не пусто?


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

Зарегистрирован: Чт сен 27, 2001 7:00 am
Сообщения: 1637
Annya писал(а):
... Вы не могли бы пояснить, почему это множество не пусто?

Оно вполне может быть и пустым. В определении начального сегмента нет требования непустоты. Более того, случай пустого сегмента важен для всей конструкции: например, он гарантирует, что в любой правильной цепи наименьший элемент один и тот же.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Чт июн 21, 2012 10:00 pm 
Не в сети
Весьма плодовитый автор

Зарегистрирован: Чт сен 27, 2001 7:00 am
Сообщения: 1637
В прилагаемом файле - список вопросов к экзамену.


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

Зарегистрирован: Чт сен 27, 2001 7:00 am
Сообщения: 1637
Заканчивается второй семестр логики, и тему, возможно, стоит поднять вверх.

Заодно ещё раз сообщим студентам, что на страничке кафедры можно найти методичку по курсу логики, в которой присутствуют определения и формулировки из курса (но отсутствуют доказательства теорем, примеры, ценные замечания лектора и т.д.):
http://mmf.nsu.ru/education/chairs/algebra_logic/materials

Напомним, что внимательное и критичное чтение выложенного текста может быть вознаграждено: за существенные поправки и замечания студент может заработать +1 балл на предстоящем экзамене.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Пн янв 14, 2013 11:04 pm 
Не в сети
Редкий гость

Зарегистрирован: Пн янв 14, 2013 10:40 pm
Сообщения: 4
Откуда: Короткова Роза
Павел Евгеньевич, мы можем ориентироваться на программу курса как на примерный список вопросов на экзамене?
Или может быть есть общедоступные билеты, а я о них не знаю?


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

Зарегистрирован: Чт сен 27, 2001 7:00 am
Сообщения: 1637
Вопросы к экзамену - в присоединённом pdf-файле.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Пн янв 14, 2013 11:30 pm 
Не в сети
Редкий гость

Зарегистрирован: Пн янв 14, 2013 10:40 pm
Сообщения: 4
Откуда: Короткова Роза
Спасибо.


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

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


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

Сейчас этот форум просматривают: Anthonyoxymn, Darrylarobe, GeorgeMaf, Google [Bot], Henrybug, ltaletkifr, Samueliks и гости: 9


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

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