Записки недопрограммиста

ИскИнт РГГУ изнутри глазами студентки

Archive for Сентябрь, 2007

Матлогика

Суббота, Сентябрь 29th, 2007

pik-club.com – вложить деньги Не самый лёгкий предмет. Нужно привыкнуть к стилю мышления В.К. Финна, научиться его понимать (он мыслит очень формализованно, совсем не так, как я, например). Иногда зависаешь, как компьютер, пытаясь разобраться в куче Фи, Пси, Хи и прочего. На первом курсе это не так-то просто. Если преодолеть, будет не так сложно. [...]

Начало учёбы

Четверг, Сентябрь 27th, 2007

Началась учёба. Её оказалось так много, что она занимала все дни. Матан с почти невыполнимыми домашними заданиями – десятки номеров; матлогика, непонятные формулы по субботам; программирование, оказавшееся для  меня совершенно непонятным. Оправдала ожидания только алгебра – она напоминала задачи на экзамене: небольшие, на сообразительность. Достала постоянная надобность что-то ботать. Что-то неживое, пахнущее библиотекой и жизненедостатком, [...]

Первые занятия

Среда, Сентябрь 5th, 2007

Первой лекцией оказалась матлогика, которую вёл В.К. Финн. Суббота.
Мне удалось записать кое-что из вступления про историю матлогики и логики в общем. Дальше посыпались незнакомые слова: «А теперь введём метаязык».. «Терм.. Фи, Пси.. Наш с вами метаязык..»
Это было совсем непохоже на то, что мы решали к вступительному экзамену. Я засыпала.
А в понедельник первой парой была физкультура. [...]