Чтобы натаскаться на досрочный экзамен. Лектор - Успенский. Несколько лекций пропустил, а несколько - прослушал. Теперь хочу учебник, максимально близкий к программе первого курса.
Р. Линдон "Заметки по логике" там есть некоторые прикольные вещи, и ещё можно зайти на сайт первой ЛШСМ --- там лежат лекции А.Б. Сосинского про теорему Гёделя (всё понятно и интересно), её насколько я помню, нет в Успенском, Верещагине, Плиско
Эти "лекции" ещё хуже, чем реальные лекции Успенского. Да ещё и ошибок полно. Лучше первые 20 билетов готовить по книжке "Успенский Верещагин Плиско - введение в мат. логику". А теорию алгоритмов - по лекциям Крупского.
Логику нам хоть и плохо читали, но зато на халяву проставили! У меня 4, хотя определение перечислимого множества я сформулировал со второго раза! Теперь я - второкурсник и ухожу с этого форума. Если и появлюсь, то лишь как гость. Гуд бай, первый курс!!!