Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 15:55, 11 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac 618 2 sem1.pdf» (практикум по пакетам проектирования сверхбольших интегральных схем, семинар 1)
- 15:54, 11 октября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Prac 618 2 lect1.pdf»
- 15:43, 11 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac 618 2 lect1.pdf» (практикум по пакетам проектирования сверхбольших интегральных схем, лекция 1)
- 16:23, 4 октября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Prac 318 cmake.pdf»
- 23:45, 3 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac 318 command line in cpp.pdf» (Лекция про разбор параметров командной строки в исходном коде C/C++)
- 16:45, 3 октября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac 318 cmake.pdf»
- 17:13, 28 сентября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 2.pdf» (исправлена опечатка на последнем слайде)
- 17:08, 28 сентября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 2.pdf» (618 группа, математические методы верификации схем и программ, семинар по моделям Крипке, логикам CTL, LTL, справедливости)
- 23:11, 26 сентября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Prac 318 GNU Make.pdf»
- 12:14, 14 сентября 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 1.pdf»
- 12:07, 14 сентября 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 1.pdf» (618 группа, математические методы верификации схем и программ, семинар по логике Хоара)
- 23:24, 10 июня 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mllp 318 exam 2016.xls»
- 14:29, 9 июня 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mllp 318 exam 2016.xls»
- 13:26, 9 июня 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Mllp 318 exam 2016.xls» (результаты экзамена по математической логике и логическому программированию, 318 группа, 2016 год)
- 17:39, 7 июня 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf» (математическая логика и логическое программирование, лекция 13 по обновлённой программе (2016))
- 22:56, 2 июня 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 seminar zfc.pdf» (Математическая логика и логическое программирование, материалы семинара по аксиоматической теории множеств)
- 21:28, 1 июня 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 seminar sat-smt.pdf» (Математическая логика и логическое программирование, материалы семинара по аксиоматическим теориям и задачам выполнимости формул)
- 13:40, 20 мая 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 18.pdf» ([необработанный вариант] математическая логика и логическое программирование, лекция 18 по обновлённой программе (2016))
- 17:18, 16 мая 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 17.pdf» ([необработанный вариант] математическая логика и логическое программирование, лекция 17 по обновлённой программе (2016))
- 13:18, 15 мая 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 16.pdf» ([необработанный вариант] математическая логика и логическое программирование, лекция 16 по обновлённой программе (2016))
- 19:07, 29 апреля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 15.pdf» ([необработанный вариант] математическая логика и логическое программирование, лекция 15 по обновлённой программе (2016))
- 12:41, 25 апреля 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Peano axioms.pdf» (аксиомы Пеано для курса по мат.логике (318, 2016))
- 11:46, 25 апреля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 14.pdf» ([необработанный вариант] математическая логика и логическое программирование, лекция 14 по обновлённой программе (2016))
- 11:43, 25 апреля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 14.pdf» ([необработанный вариант] математическая логика и логическое программирование, лекция 14 по обновлённой программе (2016))
- 11:41, 25 апреля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf» ([необработанный вариант] математическая логика и логическое программирование, лекция 13 по обновлённой программе (2016))
- 11:38, 25 апреля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 12.pdf» (математическая логика и логическое программирование, лекция 12 по обновлённой программе (2016))
- 23:45, 21 апреля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 11.pdf» (математическая логика и логическое программирование, лекция 11 по обновлённой программе (2016))
- 14:55, 4 апреля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mllp test 2016.xls» (группа 318, результаты контрольной по мат.логике, 2016)
- 14:43, 4 апреля 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Mllp test 2016.xls» (группа 318, результаты контрольной по мат.логике, 2016)
- 20:05, 3 апреля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 10.pdf» (математическая логика и логическое программирование, лекция 10 по обновлённой программе (2016))
- 17:01, 3 апреля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 10.pdf» (математическая логика и логическое программирование, лекция 10 по обновлённой программе (2016))
- 17:01, 3 апреля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 10.pdf» (математическая логика и логическое программирование, лекция 9 по обновлённой программе (2016))
- 18:16, 26 марта 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 9.pdf» (математическая логика и логическое программирование, лекция 9 по обновлённой программе (2016))
- 18:07, 26 марта 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 9.pdf» (математическая логика и логическое программирование, лекция 9 по обновлённой программе (2016))
- 10:57, 21 марта 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 9.pdf» (математическая логика и логическое программирование, лекция 9 по обновлённой программе (2016))
- 00:04, 20 марта 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 8.pdf» (математическая логика и логическое программирование, лекция 8 по обновлённой программе (2016))
- 09:54, 12 марта 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 7.pdf» (математическая логика и логическое программирование, лекция 7 по обновлённой программе (2016))
- 22:56, 11 марта 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 7.pdf» (математическая логика и логическое программирование, лекция 7 по обновлённой программе (2016))
- 22:51, 7 марта 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 6.pdf» (математическая логика и логическое программирование, лекция 6 по обновлённой программе (2016))
- 23:15, 4 марта 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:MK logo.png» (Файл с картинкой, предлагаемой на замену стандартному подсолнуху в левом верхнем углу страницы)
- 21:48, 26 февраля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 5.pdf» (математическая логика и логическое программирование, лекция 5 по обновлённой программе (2016))
- 23:24, 21 февраля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 4.pdf» (математическая логика и логическое программирование, лекция 4 по обновлённой программе (2016))
- 23:22, 21 февраля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 4.pdf» (математическая логика и логическое программирование, лекция 4 по обновлённой программе (2016))
- 03:21, 19 февраля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 2.pdf» (математическая логика и логическое программирование, лекция 2 по обновлённой программе (2016))
- 13:13, 15 февраля 2016 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 3.pdf» (математическая логика и логическое программирование, лекция 3 по обновлённой программе (2016))
- 00:13, 14 февраля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 2.pdf» (математическая логика и логическое программирование, лекция 2 по обновлённой программе (2016))
- 15:29, 12 февраля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 2.pdf» (математическая логика и логическое программирование, лекция 2 по обновлённой программе (2016))
- 01:21, 10 февраля 2016 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 1.pdf» (математическая логика и логическое программирование, лекция 1 по обновлённой программе (2016))
- 23:59, 9 декабря 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:Мофп подловченко вопросы 2015.docx» (Вопросы к экзамену по курсу "Математические основы функционального программирования" Р.И. Подловченко, осень 2015 г.)
- 03:22, 2 декабря 2015 PodymovVV (обсуждение | вклад) загрузил «Файл:Podymov.jpg»
