НГУ

Форумы НГУ
Текущее время: Вт ноя 19, 2019 5:46 am

Часовой пояс: UTC + 7 часов




Начать новую тему Ответить на тему  [ Сообщений: 17 ]  На страницу 1, 2  След.
Автор Сообщение
СообщениеДобавлено: Пн июн 28, 2004 12:22 am 
Не в сети
Весьма плодовитый автор

Зарегистрирован: Сб мар 20, 2004 11:13 pm
Сообщения: 1085
Откуда: Карлсон, который живёт на крыше
А на ФИТе на теории алгоритмов темпоральные логики изучают... :(

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

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Пн июн 28, 2004 1:29 am 
Не в сети
Весьма плодовитый автор

Зарегистрирован: Сб мар 20, 2004 11:13 pm
Сообщения: 1085
Откуда: Карлсон, который живёт на крыше
Я к тому, что "а чем мы хуже??"

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

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Пн июн 28, 2004 1:46 am 
Не в сети
Частый гость

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Пн июн 28, 2004 1:48 am 
Не в сети
Весьма плодовитый автор

Зарегистрирован: Сб мар 20, 2004 11:13 pm
Сообщения: 1085
Откуда: Карлсон, который живёт на крыше
twice писал(а):
просто мне кажется, что обсуждать вопрос "почему нет темпоральных логик на ммф?" на форуме


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


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

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

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Пн июн 28, 2004 2:15 am 
Не в сети
Частый гость

Зарегистрирован: Вт мар 30, 2004 12:34 am
Сообщения: 73
Исследователь писал(а):
twice писал(а):
просто мне кажется, что обсуждать вопрос "почему нет темпоральных логик на ммф?" на форуме

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

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

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

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Пн июн 28, 2004 2:45 am 
Не в сети
Весьма плодовитый автор

Зарегистрирован: Сб мар 20, 2004 11:13 pm
Сообщения: 1085
Откуда: Карлсон, который живёт на крыше
Тут уже модератором работает один лектор... :) Да и Сергей Савостьянович заглядывает. А такую тему, думаю, он посмотрит.

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

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

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Пн июн 28, 2004 3:19 am 
Не в сети
Частый гость

Зарегистрирован: Вт мар 30, 2004 12:34 am
Сообщения: 73
гм, не знала, что Сергей Севостьянович и ТА читает :)


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Пн июн 28, 2004 3:28 am 
Не в сети
Весьма плодовитый автор

Зарегистрирован: Сб мар 20, 2004 11:13 pm
Сообщения: 1085
Откуда: Карлсон, который живёт на крыше
twice писал(а):
гм, не знала, что Сергей Севостьянович и ТА читает :)

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

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

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Пн июн 28, 2004 4:05 am 
Не в сети
Плодовитый автор

Зарегистрирован: Вт мар 23, 2004 10:09 pm
Сообщения: 747
Откуда: Gavryushkin
Я в своё время задал похожий вопрос Л.Л.Максимовой (только он
фильтров касался ("чистая вода" тут не при чём)), а она сказала очень
правильную и неоспоримую вещь: "Нельзя объять необъятного."

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

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Пн июн 28, 2004 4:26 am 
Не в сети
Весьма плодовитый автор

Зарегистрирован: Сб мар 20, 2004 11:13 pm
Сообщения: 1085
Откуда: Карлсон, который живёт на крыше
Alexandr писал(а):
Я в своё время задал похожий вопрос Л.Л.Максимовой (только он
фильтров касался ("чистая вода" тут не при чём)), а она сказала очень
правильную и неоспоримую вещь: "Нельзя объять необъятного."

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


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

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

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Пн июн 28, 2004 4:36 am 
Не в сети
Плодовитый автор

Зарегистрирован: Вт мар 23, 2004 10:09 pm
Сообщения: 747
Откуда: Gavryushkin
Исследователь писал(а):
ИМХО, интересные вещи, способные найти приложения в практикеИМХО, может, стоит другие вещи подсократить?!.

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

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Пн июн 28, 2004 4:55 am 
Не в сети
Непрерывный писатель

Зарегистрирован: Пт сен 07, 2001 7:00 am
Сообщения: 2844
Откуда: Станислав Березнюк
Alexandr писал(а):
Я в своё время задал похожий вопрос Л.Л.Максимовой (только он
фильтров касался ("чистая вода" тут не при чём)), а она сказала очень
правильную и неоспоримую вещь: "Нельзя объять необъятного."

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


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

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Пн июн 28, 2004 4:56 am 
Не в сети
Весьма плодовитый автор

Зарегистрирован: Сб мар 20, 2004 11:13 pm
Сообщения: 1085
Откуда: Карлсон, который живёт на крыше
Alexandr писал(а):
А вот приложеня, это уже инженером пахнет (утрирую!!!)

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

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

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Пн июн 28, 2004 10:22 am 
Темпоральные логики есть в программе курса "Прикладная логика", читаемого на 1-м потоке 5-го курса ММФ. Наберитесь терпения и дождитесь=)


Вернуться к началу
  
 
 Заголовок сообщения:
СообщениеДобавлено: Вт июн 29, 2004 1:59 pm 
Не в сети
Редкий гость

Зарегистрирован: Чт апр 01, 2004 9:20 pm
Сообщения: 19
Откуда: Евгений Павловский
Да, только вот курс мог бы читаться и на первом курсе. Не очень сложный. Да полегче Вышки будет. Курс называется Прикладная логика, но только куда её прикладывать не говорилось, хотя было бы очень полезно узнать. Там программирование на языке ПРОЛОГ в основном (логическое программирование). Было бы здорово иметь такой курс параллельно с обычным программированием.


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 17 ]  На страницу 1, 2  След.

Часовой пояс: UTC + 7 часов


Кто сейчас на конференции

Сейчас этот форум просматривают: MSN [Bot] и гости: 7


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  
Создано на основе phpBB® Forum Software © phpBB Group
Русская поддержка phpBB