Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (100 более новые | 100 более старые) (20 | 50 | 100 | 250 | 500)- 12:05, 11 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 14.pdf» (поправил опечатку в титуле (номер блока))
- 12:03, 11 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 13.pdf» (поправил опечатку в титуле (номер блока))
- 12:00, 11 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 14.pdf» (2019. теперь это про синтезируемый always в верилоге)
- 11:59, 11 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 13.pdf» (2019. теперь это про ветвления и выборы в verilog и около того)
- 09:40, 8 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 3.pdf» (поменялся год, остальное как было)
- 20:29, 4 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 12.pdf» (2019. поддерживаемые, игнорируемые и неподдерживаемые конструкции)
- 20:26, 4 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 11.pdf» (поправил опечатку в синтаксисе задержки+непр.присв.)
- 18:28, 3 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 11.pdf» (поправил опечатку в заголовке одного слайда)
- 18:19, 3 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 11.pdf» (перестроил поток мыслей)
- 14:54, 27 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 10.pdf» (поправлена пара опечаток)
- 12:46, 27 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 11.pdf» (2019. симуляция в verilog)
- 12:45, 27 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 10.pdf» (2019. начала рассказа про verilog)
- 12:23, 24 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 2.pdf» (осень 2019. перестановка условий, несколько мелких правок)
- 15:31, 19 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 09.pdf» (теперь это: шины, регистры, rtl)
- 12:43, 13 сентября 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl practice 01.pdf» (практические задания: последовательные схемы)
- 16:29, 12 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 09.pdf» (теперь это шины и регистры)
- 16:29, 12 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 08.pdf» (теперь это последовательные схемы)
- 16:28, 12 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 07.pdf» (теперь это обсуждение триггеров)
- 16:28, 12 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 06.pdf» (теперь это комб.схемы с обратной связью и основные триггеры)
- 17:08, 10 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 1.pdf» (осень 2019, поменял последовательность задач)
- 18:42, 6 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 03.pdf» (опечатка в рисунке в конце)
- 12:33, 6 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 06.pdf» (теперь это база про последовательные схемы)
- 12:32, 6 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 05.pdf» (теперь это про сфэз)
- 12:31, 6 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 04.pdf» (теперь это про комбинационные схемы)
- 12:29, 6 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 2.pdf» (снова мелкие правки)
- 09:09, 4 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 03.pdf» (2019 год, по переработанному плану)
- 09:08, 4 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 02.pdf» (2019 год, по переработанному плану)
- 09:08, 4 сентября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 01.pdf» (2019 год, по переработанному плану)
- 16:44, 31 мая 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 15.pdf» (поправлена нехорошая опечатка на слайде 14 (22))
- 18:03, 13 мая 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 17.pdf» (поправлены опечатки)
- 18:03, 13 мая 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 16.pdf» (поправлены опечатки)
- 16:31, 12 мая 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 17.pdf» (суперобновлённый вариант. 2018/2019 учебный год. табличный алгоритм model checking для ltl)
- 16:30, 12 мая 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 16.pdf» (суперобновлённый вариант. 2018/2019 учебный год. ltl для формальной верификации)
- 13:44, 6 мая 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 15.pdf» (поправлены опечатки)
- 20:22, 5 мая 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 15.pdf» (суперобновлённый вариант. программа 2018/2019 учебного года. логика Хоара)
- 14:32, 28 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 14.pdf» (матлогика 318, программа 2018/2019 года. модальные логики)
- 16:04, 25 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 seminar natural inference.pdf» (суперобновлённая версия (программа 2018/2019 учебного года))
- 11:35, 25 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf» (опечатка была плохо поправлена, а теперь хорошо)
- 11:32, 25 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf» (исправлена нехорошая опечатка в правилах натурального вывода)
- 16:15, 22 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf» (исправлены опечатки)
- 14:34, 22 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 12.pdf» (поправлены опечатки)
- 20:17, 21 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf» (программа 2018/2019 учебного года: конец рассказа про исчисления)
- 20:17, 21 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 12.pdf» (программа 2018/2019 учебного года: начало рассказа про исчисления)
- 10:49, 16 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mllp 318 seminar definability.pdf» (немного поменял последние пункты упражнения 2)
- 16:11, 11 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mllp 318 seminar definability.pdf»
- 19:58, 8 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 11.pdf» (поправлены опечатки)
- 20:49, 7 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 11.pdf» (2018/2019 учебный год. аксиоматические теории: выразимость, арифметика пресбургера)
- 20:48, 7 апреля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 10.pdf» (программа 2018/2019 учебного года, первая лекция по аксиоматическим теориям)
- 20:19, 10 марта 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 8.pdf» (обновленная версия, программа 2018/2019 у.г.)
- 20:19, 10 марта 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 7.pdf» (обновленная версия, программа 2018/2019 у.г.)
- 19:06, 3 марта 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 6.pdf» (обновлённая версия: весенний семестр 2018/2019 учебного года)
- 13:13, 2 марта 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 5.pdf» (предыдущая версия - обновлённая версия: весенний семестр 2018/2019 учебного года в этой версии исправлено несколько опечаток)
- 17:46, 23 февраля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 5.pdf»
- 17:46, 23 февраля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 4.pdf» (обновлённая версия: весенний семестр 2018/2019 учебного года)
- 17:25, 16 февраля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 3.pdf» (обновлённый вариант, 2018/2019 учебный год)
- 11:22, 15 февраля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:LectEng2.pdf»
- 21:43, 14 февраля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:LectEng2.pdf»
- 12:19, 11 февраля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 2.pdf» (исправлены погрешности)
- 20:37, 9 февраля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 2.pdf» (версия весеннего семестра учебного года 2018/2019)
- 20:36, 9 февраля 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 1.pdf» (версия весеннего семестра учебного года 2018/2019)
- 13:58, 11 декабря 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Otchet pattern618-2018.zip» (поправлен мелкий некритичный баг ("Список литературы"))
- 13:57, 11 декабря 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Otchet pattern418-2018.zip» (поправлен мелкий некритичный баг ("Список литературы"))
- 12:19, 28 ноября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 10.pdf» (семинар по uppaal, версия 18-го года (поправлена стилистика))
- 11:18, 28 ноября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 10.pdf» (поправлены опечатки)
- 23:00, 27 ноября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 10.pdf» (супер-пупер-обновлённая версия)
- 16:35, 15 ноября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 9.pdf» (вывернул определение логики tctl, чтобы было проще всё анализировать)
- 18:42, 14 ноября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 9.pdf» (обновлённая версия, более милая и понятная)
- 20:38, 7 ноября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Traditional meeting 2018 announcement.pdf» (объявление о вечере кафедр 2018)
- 15:18, 2 ноября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 7.pdf» (и ещё одна мелкая правка)
- 15:16, 2 ноября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 7.pdf» (пара мелких правок)
- 14:54, 30 октября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 7.pdf» (новая версия, намного более милая)
- 14:55, 23 октября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 20.pdf» (курс "языки описания схем", блок 20: практические задания по управляющим автоматам в verilog)
- 20:08, 22 октября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 19.pdf» (суперпеределка)
- 21:37, 18 октября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 8.pdf» (мелкие обновления)
- 21:26, 18 октября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 7.pdf» (поправлены опечатки, в т.ч. нехорошие)
- 20:04, 18 октября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 7.pdf» (суперулучшенный вариант (2018))
- 22:43, 28 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 5.pdf»
- 22:20, 28 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 3.pdf»
- 22:20, 28 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 2.pdf»
- 22:09, 28 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 08.pdf»
- 20:23, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-33-2018.pdf»
- 20:23, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-32-2018.pdf»
- 20:22, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-31-2018.pdf»
- 20:21, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-30-2018.pdf»
- 20:21, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-29-2018.pdf»
- 20:20, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-28-2018.pdf»
- 20:19, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-27-2018.pdf»
- 20:18, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-26-2018.pdf»
- 20:17, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-25-2018.pdf»
- 20:17, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-24-2018.pdf»
- 20:16, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-23-2018.pdf»
- 20:12, 24 сентября 2018 PodymovVV (обсуждение | вклад) загрузил «Файл:Paper-22-2018.pdf»
- 17:00, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 01.pdf»
- 17:00, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 02.pdf»
- 16:59, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 03.pdf»
- 16:59, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 04.pdf»
- 16:59, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 05.pdf»
- 16:59, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 06.pdf»
- 16:59, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 07.pdf»
- 16:59, 13 сентября 2018 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 08.pdf»