НГУ

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

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

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Голос услышан. Спасибо.

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

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

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

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

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

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

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

Я не против.

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

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

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

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

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

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

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

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