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

Булевозначный анализ и гипотеза континуума (спецкурс)
http://forum.nsu.ru/viewtopic.php?f=24&t=23698
Страница 2 из 4

Автор:  Absurd [ Пт май 03, 2013 10:52 pm ]
Заголовок сообщения: 

Меня тут поправили. Лучше всё-таки 18-ого, но ещё попозже.Можно даже по нашему обычному расписанию в 16:15.

Автор:  Лit}{Ъ [ Пт май 03, 2013 10:56 pm ]
Заголовок сообщения: 

Я за 18-19, только если 18 наверное будет удобнее обычное время, оно уже у всех давно зарезервировано и не придётся двигать расписание

Автор:  AGu [ Вс май 05, 2013 8:48 pm ]
Заголовок сообщения:  Экзамен

Привожу отклики, поступившие через форум и email.

sephirah писал(а):
я бы предпочла 18-19.
позже велик риск оказаться под завалом всех остальных зачетов
и всяких там досрочных экзаменов, а так вполне себе.
Absurd писал(а):
От лица первокурсников осмелюсь сказать, что 18-19 лучше, чем 7-ое.
И 18-ое лучше, чем 19-ое. И 18-ого лучше где-то в 14:00.
tarantul писал(а):
Я тоже не против 18-19.
Absurd писал(а):
Меня тут поправили. Лучше всё-таки 18-ого, но ещё попозже.
Можно даже по нашему обычному расписанию в 16:15.
Лit}{Ъ писал(а):
Я за 18-19, только если 18 наверное будет удобнее обычное время,
оно уже у всех давно зарезервировано и не придётся двигать расписание
4 курс писал(а):
Я не категорично против 7-го, но 18-ое мне намного симпатичнее.
4 курс писал(а):
В общем, сессия моя кончается 17го, поэтому 18е (и позже)
меня вполне устраивает. Присоединяюсь к мнению толпы

Стало быть, с датой определились: 18 мая (суббота).

Что касается времени, то я предлагаю все же начать пораньше —
например, в 14:30 — ибо, как показывает опыт, экзамен может
затянуться. А если у кого-то не получится успеть к 14:30 —
ну, слегка опоздаете. Это не очень грустно? (Впрочем, пожелания
и возражения по поводу времени все еще принимаются.)

Автор:  NITERO [ Пт май 10, 2013 1:54 pm ]
Заголовок сообщения: 

да, 18-19 - неплохо. а можно, чтобы это было воскресенье, а не суббота, ну или хотя бы вечер субботы?..

Автор:  AGu [ Сб май 11, 2013 3:46 pm ]
Заголовок сообщения: 

NITERO писал(а):
да, 18-19 - неплохо. а можно, чтобы это было воскресенье, а не суббота, ну или хотя бы вечер субботы?..
Вечерний экзамен меня не вдохновляет, а в остальном — почти без разницы (причем воскресенье даже комфортнее).
Тем не менее, вокс попули склоняется к 18-му. Если пересклоните — ноу проблем, будет воскресенье. :-)

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

Если что, я готов спецкурсить дальше.

То, чем мы занимались в прошлом семестре, можно назвать, наверное, так: "Элементы теории множеств и основы теории булевых алгебр". На сей раз, надеюсь, нам удастся оправдать название "Булевозначный анализ и гипотеза континуума".

Начнем мы прямо с оснований математики: языки, теории, модели и т.п., наконец-то дадим определение определения, потом освежим в памяти теорию булевых алгебр, после чего погрузимся в булевозначный универсум с его чудной логикой и, наконец, нащупаем внутри него множество промежуточной мощности.

Материалом прошлого семестра владеть необязательно (по мере надобности будем вспоминать), так что новые участники — вполне welcome.

Предлагаю встретиться в ближайшую субботу (5 октября) в 16:15 в ауд. 417 Института математики, поразвлечься там основаниями математики и определить дальнейшее расписание спецкурса.

Автор:  tarantul [ Ср окт 02, 2013 9:27 am ]
Заголовок сообщения: 

Здравствуйте.

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

Было бы очень хорошо, если бы спецкурс остался в субботу (в любое время). Также допустимым временем является пятница (любое время) и понедельник (кроме 17.45). Будет очень плохо, если спецкурс перенесется на вторник, среду или четверг (вторая половина дня почти полностью занята парами в университете и спецкурсами).

Автор:  AGu [ Ср окт 02, 2013 1:48 pm ]
Заголовок сообщения: 

Спасибо за отклик, tarantul.
Ваши пожелания приняты к сведению.

Автор:  Annya [ Сб окт 05, 2013 3:12 pm ]
Заголовок сообщения: 

Здравствуйте-здравствуйте.

Как и предыдущий оратор, сегодня появиться не смогу, но в дальнейшем хочу.
Мой голос - оставить как есть.
Варианты хуже - время после четырёх пар в среду или в четверг.

Автор:  AGu [ Сб окт 05, 2013 4:14 pm ]
Заголовок сообщения: 

Annya писал(а):
Мой голос - оставить как есть.
Голос услышан. Спасибо.

Автор:  AGu [ Вс окт 06, 2013 1:16 pm ]
Заголовок сообщения: 

Докладываю, что вчера мы вспомнили определения термов и формул
(в рамках исчисления предикатов первого порядка),
вкратце познакомились с понятием контекстно свободной грамматики,
поговорили о деревьях вывода в таких грамматиках,
обсудили понятие однозначной контекстно свободной грамматики
и выяснили, что языки термов и формул порождаются
однозначными контекстно свободными грамматиками.
Целью всего этого развелечения было установление того факта,
что языки термов и формул являются вычислимыми,
а сами термы и формулы имеют древовидную структуру,
удобную для таких манипуляций, как подстановка.
Ну а основами теории вычислимости мы развлечемся в следующий раз.

Что же касается расписания спецкурса, то оно пока остается неопределенным.
Поскольку вчера не смогли присутствовать несколько потенциальных участников,
мы, поиграв в крестики, ограничились определением лишь очередной встречи:

12 октября (суббота), 11:00,
ауд. 417 Института математики.

Ваш покорный.

Автор:  AGu [ Чт окт 10, 2013 6:52 pm ]
Заголовок сообщения: 

Сегодня трое потенциальных участников спецкурса сообщили мне,
что встречи по субботам (включая, как я понял, ближайшую субботу)
их категорически не устраивают. В этой связи запланированная нами
встреча 12-го октября в 11:00 обретает статус гипотетической.
Чтобы никого не обижать, предлагаю перенести очередную встречу
на какой-нибудь другой день.

Как вы смотрите на то, чтобы встретиться, например, в воскресенье?
(Речь идет лишь об одной встрече, на которой мы окончательно
определимся с дальнейшим расписанием.)

Прошу высказываться.

Автор:  tarantul [ Чт окт 10, 2013 8:06 pm ]
Заголовок сообщения: 

Я не против.

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

Цитирую письмо, полученное вашим покорным:

> Конкретно в это воскресенье я уезжаю домой (в другой город),
> и не смогу прийти. А ходить на спецкурс я бы очень хотела.

Стало быть, воскресенье не оказалось абсолютно пушистым.
Ау, господа противосубботники, чего отмалчиваетесь?
Вы сумеете заглянуть в ИМ завтра (12 октября) в 11:00 или как?

Если до 18:00 не появятся категорические возражения
против завтрашней встречи, она останется в силе,
а если появятся, то встреча, скорее всего, тупо отменится
и перенесется, грубо говоря, на неделю.

Кстати, если судить по таблице-голосовалке от 5-го октября,
то наименее противными вариантами являются следующие:

среда, 18:00
пятница, 14:30
пятница, 18:00
суббота, 9:00
суббота, 11:00

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

Продолжая работу прокси, цитирую очередное письмо:

> Если остальных устраивает воскресенье,
> может не стоит из-за одной меня встречу отменять?
> Я дам свое расписание какому-нибудь идущему,
> и он и за меня крестики порисует.

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