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

Программы на ММФ и ФИТ по теории алгоритмов
http://forum.nsu.ru/viewtopic.php?f=18&t=3528
Страница 1 из 2

Автор:  Исследователь [ Пн июн 28, 2004 12:22 am ]
Заголовок сообщения:  Программы на ММФ и ФИТ по теории алгоритмов

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

Автор:  Исследователь [ Пн июн 28, 2004 1:29 am ]
Заголовок сообщения: 

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

Автор:  twice [ Пн июн 28, 2004 1:46 am ]
Заголовок сообщения: 

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

Автор:  Исследователь [ Пн июн 28, 2004 1:48 am ]
Заголовок сообщения: 

twice писал(а):
просто мне кажется, что обсуждать вопрос "почему нет темпоральных логик на ммф?" на форуме


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


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

Автор:  twice [ Пн июн 28, 2004 2:15 am ]
Заголовок сообщения: 

Исследователь писал(а):
twice писал(а):
просто мне кажется, что обсуждать вопрос "почему нет темпоральных логик на ммф?" на форуме

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

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

Исследователь писал(а):
Почему б и не пообсуждать? Жалко? :-?

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

Автор:  Исследователь [ Пн июн 28, 2004 2:45 am ]
Заголовок сообщения: 

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

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

Автор:  twice [ Пн июн 28, 2004 3:19 am ]
Заголовок сообщения: 

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

Автор:  Исследователь [ Пн июн 28, 2004 3:28 am ]
Заголовок сообщения: 

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

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

Автор:  Alexandr [ Пн июн 28, 2004 4:05 am ]
Заголовок сообщения: 

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

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

Автор:  Исследователь [ Пн июн 28, 2004 4:26 am ]
Заголовок сообщения: 

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

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


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

Автор:  Alexandr [ Пн июн 28, 2004 4:36 am ]
Заголовок сообщения: 

Исследователь писал(а):
ИМХО, интересные вещи, способные найти приложения в практикеИМХО, может, стоит другие вещи подсократить?!.

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

Автор:  slb [ Пн июн 28, 2004 4:55 am ]
Заголовок сообщения: 

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

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


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

Автор:  Исследователь [ Пн июн 28, 2004 4:56 am ]
Заголовок сообщения: 

Alexandr писал(а):
А вот приложеня, это уже инженером пахнет (утрирую!!!)

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

Автор:  Kumquat [ Пн июн 28, 2004 10:22 am ]
Заголовок сообщения: 

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

Автор:  EuX [ Вт июн 29, 2004 1:59 pm ]
Заголовок сообщения: 

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

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