НГУ

Нет, по-моему, первокурсникам Эрбран с Крипке будут тяжеловаты. К тому же им с четвертого уже ТА перенесли, а на второй курс физику. Что-то же должно на 5 курсе остаться. Другое дело, что курсы матлогики и ТА сильно пересекались по машинам Тьюринга, частично рекурсивным функциям и. т. д., поэтому может иметь смысл в курсе МЛ заменить все, что уже есть в ТА, на что-то еще, например на те же темпоральные логики.

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.