НГУ
http://forum.nsu.ru/

Математическая логика, группы 1121-1128
http://forum.nsu.ru/viewtopic.php?f=18&t=23238
Страница 2 из 2

Автор:  Eseniya [ Ср май 16, 2012 6:05 pm ]
Заголовок сообщения: 

Pavel E. Alaev писал(а):
Множество 3 по определению равно {0,1,2}.

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

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

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

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

Автор:  Pavel E. Alaev [ Ср май 16, 2012 10:00 pm ]
Заголовок сообщения: 

Множество одноэлементных слов, которое соответствует в объединении, очевидно, равномощно . Отсюда следует второе неравенство.

Автор:  kakty3 [ Чт май 17, 2012 7:15 pm ]
Заголовок сообщения:  Ошибка в лекции

Если не ошибаюсь, то во второй части лекци на странице 13 в Примере в пункте c) есть опечатка при определении произведения(плюс вместо умножения).

Автор:  Pavel E. Alaev [ Чт май 17, 2012 9:36 pm ]
Заголовок сообщения: 

Эта опечатка была в самом первом варианте текста, который я студентам не давал. В методичке, которая выложена на сайте ММФ, её уже нет. Думаю, в этой ветке лучше обсуждать тот текст, который доступен студентам, чтобы их не запутать.

Автор:  Annya [ Пн май 28, 2012 12:58 am ]
Заголовок сообщения: 

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

Автор:  Pavel E. Alaev [ Пн май 28, 2012 1:38 am ]
Заголовок сообщения: 

Annya писал(а):
... Вы не могли бы пояснить, почему это множество не пусто?

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

Автор:  Pavel E. Alaev [ Чт июн 21, 2012 10:00 pm ]
Заголовок сообщения: 

В прилагаемом файле - список вопросов к экзамену.

Автор:  Pavel E. Alaev [ Пт дек 14, 2012 9:35 pm ]
Заголовок сообщения: 

Заканчивается второй семестр логики, и тему, возможно, стоит поднять вверх.

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

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

Автор:  korotkova [ Пн янв 14, 2013 11:04 pm ]
Заголовок сообщения: 

Павел Евгеньевич, мы можем ориентироваться на программу курса как на примерный список вопросов на экзамене?
Или может быть есть общедоступные билеты, а я о них не знаю?

Автор:  Pavel E. Alaev [ Пн янв 14, 2013 11:09 pm ]
Заголовок сообщения: 

Вопросы к экзамену - в присоединённом pdf-файле.

Автор:  korotkova [ Пн янв 14, 2013 11:30 pm ]
Заголовок сообщения: 

Спасибо.

Страница 2 из 2 Часовой пояс: UTC + 7 часов
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/