НГУ

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

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




Начать новую тему Ответить на тему  [ Сообщений: 17 ]  На страницу Пред.  1, 2
Автор Сообщение
 Заголовок сообщения:
СообщениеДобавлено: Вт июн 29, 2004 3:21 pm 
Нет, по-моему, первокурсникам Эрбран с Крипке будут тяжеловаты. К тому же им с четвертого уже ТА перенесли, а на второй курс физику. Что-то же должно на 5 курсе остаться. Другое дело, что курсы матлогики и ТА сильно пересекались по машинам Тьюринга, частично рекурсивным функциям и. т. д., поэтому может иметь смысл в курсе МЛ заменить все, что уже есть в ТА, на что-то еще, например на те же темпоральные логики.


Вернуться к началу
  
 
 Заголовок сообщения: Chemu uchit?
СообщениеДобавлено: Вт июл 20, 2004 9:14 pm 
Chemu uchit'? I kak postroit programmu? Ochen slozhnije voprosy.

1. Vsego vse ravno ne rasskazhesh. Odin zabavnyj sluchaj. Mne kak-to odin uvazhaemyj matematik skazal, chto eto ochen plokho, chto u nas ne izuchajut nekotorije konkretnije dovolno technocheskije temy po analizu -- ne pomnu kakije -- i chto nnuzhno voobshe vsemu obyazatelno uchit yavno. V ton emu ya skazal, chto togda, razumeetsa, nado vsem studentam obyazatelno rasskazat teoremu Morley o teoriakh, kategorichnykh v neshetnykh moshnostyakh (nu a pravda, kak bez etogo?). Samoe interesnoe, chto ya byl ne ponyat...

2. Sam material, kotoromu nado otdat predpochtenije, postoyanno izmenyaetsa (pridumyvayutsa bolee izyashnyje i bolee prostye dokazatelstva klassichaskikh resultatov, v tom chisle i samimi nashimi lektorami; izmenyaetsa znachenije i ocenka klassicheskikh resultatov. Nekotoryje iz nikh prosto stanovatsa ne nuzhny v dannom kurse. Naprimer, u Churkina v kurse algebry bolshe net takoi utomitelnoj temy, kak lambda-matricy, potomu chto ego sposob nakhozhdenija Jordanovoi normalnoj formy i bolee ergonomichen i lambda-matriz ne trebuet, a vot est ochen sovremennyj material --- bazy Grobnera).

Tak kak zhe byt? Vykhod odin. My dolzhny nauchit Vas dumat i uchitsa. Vot glavnoe, chto dolzhen dat Vam universitet. My staraemsa khorosho obyasnit Vam osnovnije ponyatija, i dat Vam takije znanija, s kotorymi Vy v razumnoe vremya izuchite vse, chto Vam potrebuetsa v rabote, i temporalnije logiki v tom chisle, i to, chto vozniknet v sledujushem godu, i cherez 2 i cherez 10 let.

Chem eto lutshe? Mne rasskazyvali, chto odnazhdy vypuskniki universiteta prishli na rabotu v otraslevoj institut vmeste s vypusknikami technicheskikh vuzov. Pervoe vremya universitetskije chuvstvovali sebya nelovko: oni pochti nichego ne znali pro pribory, s kotorymi prishlos rabotat, a vypuskniki technicheskikh vuzov srazu pochuvstvovali sebya uverenno i vkluchilis v rabotu. Cherez god universitetchiki daleko ikh obognali i prodolzhali rasti, a vypuskniki technicheskikh vuzov ... pochti na tom zhe urovne i ostalis; ved dlya togo, chtoby sovershenstvovatsa, im nuzhnen byl kurs perepodgotovki.

Tak chto esli Vy vybrali universitet, to gotovtes vsu zhizn uchitsa. I vse budet normalno. I temporalnije logiki sami osvoite, i vse ostalnoe, kogda ponadobitsa.


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

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


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

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


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

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