iu9.Blog

bmstu iu9 [2016-2012] blog

ЭКЗАМЕН ЗАВТРА В 13:00!

ЭКЗАМЕН ЗАВТРА В 13:00!

И еще, Чеповский снял вопрос о редукции графов. Хотя, имхо, проглядите его в фотках иу9-71.

f0b0s » Fri, January 16 2009 » iu9.current, iu9.exam » No Comments

Лекции на вики готовы к использованию /update/

Обновлены записи:

  • Транспозиция (и у меня и у Кирилла не верно), обратите внимание на индексы!
  • Константа. Кирилл помог разобраться: если функция “константа”, получает в качестве аргумента НЕ неопределенность, то фукнция выдает константу (например, всегда 2), в противном случае значение есть неопределнность (для соблюдения строгости).

f0b0s » Wed, January 14 2009 » iu9.current, iu9.exam » No Comments

Экзамен по ФП /update 2/

Вопросы прошлого года есть в архиве с фотками.

Ввиду того, что лекции Кирилла, как обычно, кратки и без пояснений, отформатировал все лекции на вики. Баги еще могут быть (в основном визуальные, содержимое вычитывал) — пишите, исправляйте, если что. Потратил “всего” 6 часов на 3 лекции…

PS: Кстати, box.net теперь разрешает заливать макс. размер файла 25мб. Жывем! Теперь качать большие архивы (как например фотки  иу9-71) станет значительно проще и удобней.

f0b0s » Tue, January 13 2009 » iu9.books, iu9.exam » No Comments

Расписание экзаменов

Расписание повесили на стенде около 307ю.

  • 29.12 14:00 Структуры данных.
    Консультация 26.12 12:00
  • 12.01 09:00 Операционные системы.
    Консультация 11.01 14:00
  • 17.01 14:00 Функциональное программирование.
    Консультация 16.01 13:00
  • 22.01 09:00 Базы данных.
    Консультация 21.01 13:00

Все экзамены и консультации в 309ю.

Dorey Enor » Thu, December 11 2008 » iu9.exam » 2 Comments

SML

Вот книжка, что давал Чеповский. На блоге ее почему-то нет, или я не нашел.

update: компиляторы SML.NET. Для VS2005 нужен vssmlnet.tar.gz.
Внимательно прочитайте раздел Installation. Там 2 важных нюанса.

f0b0s » Wed, November 26 2008 » iu9.current » No Comments

РЕФАЛ

Нас интересует РЕФАЛ-5.
Документацию и руководства смотрим здесь: раз, два.
Качаем сам РЕФАЛ-5 под WinNT здесь. Там все довольно просто, в архиве есть хелпы.
И еще есть сайт поддержки. Там валяются версии под кучу всяких ОС (даже для Win Mobile 5 (!) ).

brainiac » Tue, October 21 2008 » iu9.current » 2 Comments

Книги по ФП

Барендрегт Х. “Ламбда-исчисление” (1986г)
[304p, 300dpi, DJVU, 5.0MB]

Непейвода Н.Н., Скопин И.Н.
“Основания программирования” (2003г)

[873p, PDF, 30.4MB]

Пратт Т., Зелковиц М.
“Языки программирования: разработка и реализация” (2002г)

[690p, 300dpi, DJVU, 5.7MB]

Себеста Р. “Основныне концепции языков программирования” (2001г)
[659p, 600dpi, DJVU, 9.5MB]

Филд А., Харрисон П.
“Функциональное программирование” (1993г)

[640p, 300dpi, DJVU, 5.6MB]

Хендерсон П. “Функциональное программирование: применение и реализация” (1998г)
[353p, 600dpi, DJVU, 5.7MB]

f0b0s » Wed, September 3 2008 » iu9.books » No Comments