iu9.Blog

bmstu iu9 [2016-2012] blog

I?C#






(more…)

f0b0s » Sat, August 22 2009 » iu9.current » 4 Comments

Хвосты. Расписание преподователей. [UPDATE4]

(…Убиваю пост Ильи ибо этот его включает..)

Итак, расписание некоторых преподователей на период сессии.

АЯП (Вишняков/Чеповский)

среда, 26.12, ~17:00
14.01, 09:30-13:00
21.01, 12:00 консультация

Матлогика (Хомич) [источник: расписание ФН-12]

11.01, 12:00
18.01, 12:00
23.01, 12:00
24.01, 10:00

ЗЫ: Вроде как (возможно, это касалось тока сдающих сегодня), можно прийти к Хомичу в указанные дни, допуститься, и даже писать зачет. Попробуйте, вдруг посадит. Зачет не очень сложный, да и враки это про супер-страшного-и-злого-препода (сдали 6/10). Билеты: 2 вопроса (как давались) и 1 задача
([варианты задач], что были на зачете собираем на iu9.Wiki).

f0b0s » Sat, January 12 2008 » iu9.current, iu9.exam » 13 Comments

Зачет по мат. логике

Был сегодня у Цибизовой. Ситуация такая. Для сдачи зачета нужно взять направление из деканата (брать можно уже сейчас). Если вы сдаете зачет в сессию (до 24 января), то стипендия сохраняется.

» Fri, December 28 2007 » iu9.current » 4 Comments

Матлогика. Зачет. [FiNAL]

Вопросы: [doc] + Билеты (Задачи) [iu9.Wiki]

ImageShack ImageShack

_____________________________________________________

Книги, которые советовал Хомич: [DJVU].
Колмогоров “Введение в матлогику”: [DJVU 1MB]

Лекции Олега: [DJVU, 600dpi, 11.5MB]

    Лектор: Хомич
    Записал: Гуляев
    Скан/чистка/компиляция: f0b0s

Методичка Хомича (1-2 главы): [DJVU 1MB]
Фотки лекций Хомича (3-7 главы) (72-79с. не было!): [JPGs]

f0b0s » Mon, December 24 2007 » iu9.exam » No Comments

Методичка по МатЛогике Хомича

Так долго ее искали, а оказалось бумажная копия была под носом…

   [DJVU (600dpi) 0.6MB

Методичка состоит из 2х глав:

  1. Логика высказываний
  2. Исчисление высказываний,

которые напоминают прямо-таки сценарий наших лекций… ;-)

_____________
thx 2 chernousov

f0b0s » Thu, November 15 2007 » iu9.current » No Comments

Изменения в Wiki

Наконец-то руки дотянулись до напильника… Подточил тут, подточил там, и вуаля: теперь на каждый предмет есть своя страничка, линк на которую прямо в расписании на главной Wiki (кликать нужно по предмету! ;) )

добавлены основные логические законы, и все это на страничке МатЛогики

maggot » Sun, October 14 2007 » iu9.current » 2 Comments

МатЛогика.Книги

Ктулху проснулся, и он съест наш москEvil and Twisted

  1. Новиков П.С. “Элементы математической логики” (1973г)
    [400p, 600dpi, DJVU, 7.8MB]
  2. Мендельсом Э. “Введение в математическую логику” (1971г)
    [161p, 300dpi, DJVU, 3.6MB]
  3. Клини, Стефен К. “Введение в математику” (1957г)
    [524p, 300dpi, DJVU, 9.3MB]
  4. Лавров И.А./Максимова Л.Л. “Задачи по теории множеств, математической логике и теории алгоритмов” (1995г)
    [246p, 300dpi, DJVU, 3.2MB]
  5. Гильберт Д./Бернайс П. “Основание математики: Логические исчесления и формализация арифметики [Том 1]“, “Основание математики: Теория доказательств [Том 2]“ (1979г/1982г)
    [557p/653p, 300dpi, DJVU, 5.8MB/7.5MB]

f0b0s » Mon, September 3 2007 » iu9.books » 11 Comments