НГУ

А на ФИТе на теории алгоритмов темпоральные логики изучают...

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

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

Я к тому, что "а чем мы хуже??"

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

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

Исследователь, а может не будем выпендриваться? на ммф есть много хороших вещей, которые на фите не проходят. на фите есть много хороших вещей, которые не изучают на ммф. и не надо говорить "ах, вот все кругом лентяи, а ведь лишние знания никогда не помешают, тем более знания по ТА". просто мне кажется, что обсуждать вопрос "почему нет темпоральных логик на ммф?" на форуме глупо - подойди к лектору, поговори с ним, он тебе сам все объяснит, почему не включил этот вопрос в курс. скорее всего, просто не хватило времени. а обсуждать вопрос "почему на ммф ТА хуже чем на фите?" - тоже глупо, потому что это неправда.

Оля, когда кажется, креститься надо!


Почему б и не пообсуждать? Жалко?

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

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

суевериями страдаем?


а смысл? ну скажут тебе форумцы "о, да, какая тема, даже не верится, что ее нет в курсе ТА на ммф" - и что изменится в жизни? эту тему сразу же поставят в план все лекторы? или скажут "да ну их, логики эти, и без них хорошо" - и смысл тогда что-то обсуждать?
итог один - логики в курс добавятся только если говорить с лекторами. а на форуме пообсуждают, да и забудут благополучно, как уже не одно благое намерение забыли.

Тут уже модератором работает один лектор... Да и Сергей Савостьянович заглядывает. А такую тему, думаю, он посмотрит.

По крайней мере, объяснят, к чему всё это...

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

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

гм, не знала, что Сергей Севостьянович и ТА читает

Сергей Савостьянович -- а)декан и председатель Учёного совета ММФ, определяющего программу; б)зав. кафедрой дискретной математики и информатики, которая ведёт теорию алгоритмов. (Он не читает ТА -- он руководит теми, кто читает ТА.)

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

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

Я в своё время задал похожий вопрос Л.Л.Максимовой (только он
фильтров касался ("чистая вода" тут не при чём)), а она сказала очень
правильную и неоспоримую вещь: "Нельзя объять необъятного."

Это и твоего, Саш, вопроса касается.

_________________
Ненужность матана — не повод его не осилить

Ну, у нас фильтры слава богу были в нормальном количестве на логике. (Спасибо Сергею Савостьяновичу.) Вот только темпоральные логики имеют большое прикладное значение: например, в базах данных и пр. ИМХО, интересные вещи, способные найти приложения в практике, могут не только оказаться полезными, но и поднять интерес к предмету в целом. Меня, например, многие спрашивали в своё время, где конечные автоматы используются. Когда им рассказал, что это на самом деле лифт и электронные часы , у людей итерес вырос сразу. ИМХО, может, стоит другие вещи подсократить?!. Я это так, просто предложил.

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

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

Подсократить хотят самые решающие лица, но минобразина бдит. А вот
приложеня, это уже инженером пахнет (утрирую!!!)

_________________
Ненужность матана — не повод его не осилить

Я всегда знал, что Лариса Львовна - очень умный человек. К сказанному ею добавить нечего

_________________
Мордор жил, Мордор жив, Мордор будет жить!

Ну-у, эт ты зря.. В своё время Ньютон не брезговал составлять для английского флота таблицы функции (по-моему, 1/(sin x)) с точностью до какого-то там знака, а Тейлор ему помогал. А откуда теория алгоритмов выросла -- это вообще все знают... Вообще многое из того, что сейчас подаётся под абстрактной теорией в прошлом было оченно прикладными вещами.

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

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

Темпоральные логики есть в программе курса "Прикладная логика", читаемого на 1-м потоке 5-го курса ММФ. Наберитесь терпения и дождитесь=)

Да, только вот курс мог бы читаться и на первом курсе. Не очень сложный. Да полегче Вышки будет. Курс называется Прикладная логика, но только куда её прикладывать не говорилось, хотя было бы очень полезно узнать. Там программирование на языке ПРОЛОГ в основном (логическое программирование). Было бы здорово иметь такой курс параллельно с обычным программированием.