Список файлов

Перейти к: навигация, поиск

Эта служебная страница показывает все загруженные файлы.

Список файлов
Записей на страницу:
Поиск по имени файла:
Имя участника:
Включить старые версии изображений

убывДата Имя файла Миниатюра Размер Участник Описание Версий
16:44, 31 мая 2019 Mathlog 318 lecture 15.pdf (файл) 409 КБ PodymovVV поправлена нехорошая опечатка на слайде 14 (22) 6
18:03, 13 мая 2019 Mathlog 318 lecture 17.pdf (файл) 337 КБ PodymovVV поправлены опечатки 4
18:03, 13 мая 2019 Mathlog 318 lecture 16.pdf (файл) 360 КБ PodymovVV поправлены опечатки 4
14:32, 28 апреля 2019 Mathlog 318 lecture 14.pdf (файл) 350 КБ PodymovVV матлогика 318, программа 2018/2019 года. модальные логики 5
16:04, 25 апреля 2019 Mathlog 318 seminar natural inference.pdf (файл) 148 КБ PodymovVV суперобновлённая версия (программа 2018/2019 учебного года) 2
11:35, 25 апреля 2019 Mathlog 318 lecture 13.pdf (файл) 345 КБ PodymovVV опечатка была плохо поправлена, а теперь хорошо 15
14:34, 22 апреля 2019 Mathlog 318 lecture 12.pdf (файл) 356 КБ PodymovVV поправлены опечатки 6
10:49, 16 апреля 2019 Mllp 318 seminar definability.pdf (файл) 144 КБ PodymovVV немного поменял последние пункты упражнения 2 3
19:58, 8 апреля 2019 Mathlog 318 lecture 11.pdf (файл) 365 КБ PodymovVV поправлены опечатки 7
20:48, 7 апреля 2019 Mathlog 318 lecture 10.pdf (файл) 364 КБ PodymovVV программа 2018/2019 учебного года, первая лекция по аксиоматическим теориям 4
20:19, 10 марта 2019 Mathlog 318 lecture 8.pdf (файл) 355 КБ PodymovVV обновленная версия, программа 2018/2019 у.г. 5
20:19, 10 марта 2019 Mathlog 318 lecture 7.pdf (файл) 351 КБ PodymovVV обновленная версия, программа 2018/2019 у.г. 5
19:06, 3 марта 2019 Mathlog 318 lecture 6.pdf (файл) 365 КБ PodymovVV обновлённая версия: весенний семестр 2018/2019 учебного года 5
13:13, 2 марта 2019 Mathlog 318 lecture 5.pdf (файл) 423 КБ PodymovVV предыдущая версия - обновлённая версия: весенний семестр 2018/2019 учебного года в этой версии исправлено несколько опечаток 6
17:46, 23 февраля 2019 Mathlog 318 lecture 4.pdf (файл) 334 КБ PodymovVV обновлённая версия: весенний семестр 2018/2019 учебного года 5
17:25, 16 февраля 2019 Mathlog 318 lecture 3.pdf (файл) 494 КБ PodymovVV обновлённый вариант, 2018/2019 учебный год 6
11:22, 15 февраля 2019 LectEng2.pdf (файл) 450 КБ PodymovVV   3
12:19, 11 февраля 2019 Mathlog 318 lecture 2.pdf (файл) 315 КБ PodymovVV исправлены погрешности 9
20:36, 9 февраля 2019 Mathlog 318 lecture 1.pdf (файл) 979 КБ PodymovVV версия весеннего семестра учебного года 2018/2019 7
13:58, 11 декабря 2018 Otchet pattern618-2018.zip (файл) 148 КБ PodymovVV поправлен мелкий некритичный баг ("Список литературы") 2
13:57, 11 декабря 2018 Otchet pattern418-2018.zip (файл) 144 КБ PodymovVV поправлен мелкий некритичный баг ("Список литературы") 2
12:19, 28 ноября 2018 Seminar Verification 10.pdf (файл) 478 КБ PodymovVV семинар по uppaal, версия 18-го года (поправлена стилистика) 4
11:18, 28 ноября 2018 Lecture Verification 10.pdf (файл) 354 КБ PodymovVV поправлены опечатки 5
16:35, 15 ноября 2018 Lecture Verification 9.pdf (файл) 376 КБ PodymovVV вывернул определение логики tctl, чтобы было проще всё анализировать 6
20:38, 7 ноября 2018 Traditional meeting 2018 announcement.pdf (файл) 59 КБ PodymovVV объявление о вечере кафедр 2018 1
15:18, 2 ноября 2018 Seminar Verification 7.pdf (файл) 840 КБ PodymovVV и ещё одна мелкая правка 7
14:55, 23 октября 2018 Hdl lecture 20.pdf (файл) 244 КБ PodymovVV курс "языки описания схем", блок 20: практические задания по управляющим автоматам в verilog 1
20:08, 22 октября 2018 Hdl lecture 19.pdf (файл) 181 КБ PodymovVV суперпеределка 5
21:37, 18 октября 2018 Seminar Verification 8.pdf (файл) 185 КБ PodymovVV мелкие обновления 4
20:04, 18 октября 2018 Lecture Verification 7.pdf (файл) 335 КБ PodymovVV суперулучшенный вариант (2018) 5
22:43, 28 сентября 2018 Seminar Verification 5.pdf (файл) 1,56 МБ PodymovVV   3
22:20, 28 сентября 2018 Seminar Verification 3.pdf (файл) 177 КБ PodymovVV   5
22:20, 28 сентября 2018 Seminar Verification 2.pdf (файл) 219 КБ PodymovVV   6
22:09, 28 сентября 2018 Hdl lecture 08.pdf (файл) 330 КБ PodymovVV   6
20:23, 24 сентября 2018 Paper-33-2018.pdf (файл) 1,98 МБ PodymovVV   1
20:23, 24 сентября 2018 Paper-32-2018.pdf (файл) 254 КБ PodymovVV   1
20:22, 24 сентября 2018 Paper-31-2018.pdf (файл) 181 КБ PodymovVV   1
20:21, 24 сентября 2018 Paper-30-2018.pdf (файл) 443 КБ PodymovVV   1
20:21, 24 сентября 2018 Paper-29-2018.pdf (файл) 288 КБ PodymovVV   1
20:20, 24 сентября 2018 Paper-28-2018.pdf (файл) 745 КБ PodymovVV   1
20:19, 24 сентября 2018 Paper-27-2018.pdf (файл) 187 КБ PodymovVV   1
20:18, 24 сентября 2018 Paper-26-2018.pdf (файл) 170 КБ PodymovVV   1
20:17, 24 сентября 2018 Paper-25-2018.pdf (файл) 440 КБ PodymovVV   1
20:17, 24 сентября 2018 Paper-24-2018.pdf (файл) 283 КБ PodymovVV   1
20:16, 24 сентября 2018 Paper-23-2018.pdf (файл) 2,37 МБ PodymovVV   1
20:12, 24 сентября 2018 Paper-22-2018.pdf (файл) 234 КБ PodymovVV   1
17:00, 13 сентября 2018 Hdl lecture 01.pdf (файл) 168 КБ PodymovVV   3
17:00, 13 сентября 2018 Hdl lecture 02.pdf (файл) 408 КБ PodymovVV   3
16:59, 13 сентября 2018 Hdl lecture 03.pdf (файл) 192 КБ PodymovVV   2
16:59, 13 сентября 2018 Hdl lecture 04.pdf (файл) 186 КБ PodymovVV   3

Первая страница
Первая страница
Последняя страница
Последняя страница