Приветствую, товарищи!
Здесь я буду выкладывать свои конспекты и аудиозаписи лекций, семинары, а также всевозможные материалы по текущим предметам. Хостинг не фонтан, но ничего лучше пока не нашлось - аудиофайлы весят достаточно много. По всем вопросам и предложениям - пишите.Новости
08/12/2009, 21:05
Начал выкладывать решения задач для коллоквиума. См. раздел Решения типовых задач.
Страничка будет обновляться =)
07/12/2009, 02:40
Итак, товарищи. Я наконец-то собрался с силами, и выложил оставшиеся записи лекций по
истории математики, а также истории религии. По истории религий записи сейчас не очень
хорошие, и на одной-двух лекциях я все-таки не был. Сделал попытку связаться с человечком,
у которого есть все записи - он не отозвался =( По истории математики лекции присутствуют
в полном объеме, и даже со слайдами.
Имеется также и хорошая новость. Я выложил свои конспекты лекций по Формальным спецификациям. Наиболее ценной является последняя лекция (она же, консультация).
Постараюсь прорешивать типовые задачи, и выкладывать их. Всем удачи!
Имеется также и хорошая новость. Я выложил свои конспекты лекций по Формальным спецификациям. Наиболее ценной является последняя лекция (она же, консультация).
Постараюсь прорешивать типовые задачи, и выкладывать их. Всем удачи!
20/10/2009, 16:49
ВНИМАНИЕ! Все аудиолекции залиты на esyr.org.
Ссылки на них, как обычно, можно найти на этом сайте, а также на esyr.org
в соответствующих разделах.
Спасибо eSyr-у за поддержку и предоставление аккаунта.
Спасибо eSyr-у за поддержку и предоставление аккаунта.
13/10/2009, 22:05
Кинул ссылки на решения 3-й и 4-й задачи в разделе Разбор типовых задач. Также, исправил опечатки во второй задаче.
13/10/2009, 17:40
Появилось решение второй задачи! Первая задача - откорректирована и готова к употребленую =)
Неоценимую помощь в разработке и верификации решений оказал DiMan.
13/10/2009, 15:32
Исправил первую задачу: жаль, не могу просмотреть комментарии к ней Евгения на cmcspec.. Берусь за вторую =)
13/10/2009, 00:46
Проблему с хостингом решаю. Народ - совсем хулиганит, поудалял все аудиолекции. Еще, обещаюсь завтра выложить решение второй задачи, и исправить ошибки в первой.
10/10/2009, 02:00
В связи с предстоящим коллоквиумом, наибольшую ценность сейчас представляет раздел Формальная спецификация,
в особенности - Разбор типовых задач. Пока готова лишь первая задача.
Разбор задачи номер четыре можно найти в четвертой лекции
(правда, как обычно, задачу на лекции не успели разобрать до конца).
