Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 18:28, 20 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 5 eng.pdf» (курс методов верификации, 2020. английский перевод семинара 5 (практические задачи по nusmv))
- 14:19, 20 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Lecture Verification 7 eng.pdf» (Курс методов верификации, 2020. Английский перевод лекции 7 про табличный и автоматный алгоритмы верификации для ltl)
- 16:08, 19 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 4 eng.pdf» (2020. английская версия семинара 4 по курсу мат.методов верификации схем и программ (обзор средства NuSMV))
- 19:10, 14 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Выставка кафедр Задачки (миниатюра).png» (Осень 2020)
- 19:09, 14 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Выставка кафедр Информационный лист (миниатюра).png» (Осень 2020)
- 18:48, 14 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Постер кафедры (миниатюра).png» (Осень 2020)
- 17:59, 14 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Постер кафедры.jpg» (Осень 2020)
- 17:57, 14 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Постер кафедры.png»
- 17:51, 14 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Выставка кафедр Задачки.pdf» (Осень 2020)
- 17:29, 14 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Выставка кафедр Информационный лист.pdf» (Осень 2020)
- 17:28, 14 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Постер кафедры.pdf»
- 15:31, 14 октября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 12.pdf» (2020. теперь это основы программной симуляции в verilog)
- 15:31, 14 октября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 11.pdf» (2020. теперь это начало рассказа про verilog (вплоть до комбинационных схем в assign))
- 17:37, 6 октября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 3 eng.pdf» (курс методов верификации, 2020. перевод "Seminar_Verification_3.pdf" на английский)
- 13:06, 27 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 01.pdf» (задачки те же, поправлены детали представления)
- 12:39, 27 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 10.pdf» (2020. теперь это "шины, регистры, RTL")
- 12:38, 27 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 09.pdf» (теперь это "последовательные схемы")
- 12:37, 27 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 08.pdf» (теперь это "подробнее о триггерах")
- 12:23, 27 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 07.pdf» (теперь это терминология для сигналов)
- 12:21, 27 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 06.pdf» (либо вообще без изменений, либо есть мелкие правки - лень думать)
- 15:59, 22 сентября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 2 eng.pdf» (Английский перевод версии 2019 года (то же без "eng") с косметическими правками)
- 14:31, 16 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 06.pdf» (материал тот же, чуть-чуть улучшено представление)
- 14:30, 16 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 05.pdf» (материал тот же, чуть-чуть улучшено представление)
- 19:00, 14 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 04.pdf» (исправил терминологию. фронты не "передний" и "задний", а "положительный" и "отрицательный". а "передний" и "задний" - это leading и trailing, которые н…)
- 10:55, 12 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 04.pdf» (обновился год, остальное то же)
- 23:44, 8 сентября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Seminar Verification 1 eng.pdf» (курс методов верификации. осень 2020. семинар по логике хоара на английском)
- 11:11, 8 сентября 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Lecture Verification 2 eng.pdf» (магистерский курс методов верификации, лекция про логику Хоара)
- 21:52, 4 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 03.pdf» (Сменился год, остальное то же)
- 21:52, 4 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 02.pdf» (сменился год, поправились опечатки)
- 21:51, 4 сентября 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 01.pdf» (сменился год, остальное то же)
- 14:47, 1 июля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Test.txt»
- 20:46, 23 июня 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Test.txt»
- 19:02, 24 мая 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 17.pdf» (Весна 2020. Минимальные изменения - пара правок в терминологии.)
- 11:42, 17 мая 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 16.pdf» (весна 2020. ltl для формальной верификации)
- 11:41, 17 мая 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 15.pdf» (весна 2020. логика хоара)
- 10:41, 16 мая 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 14.pdf» (слегка подправил вводный слайд)
- 19:27, 14 мая 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 14.pdf» (весна 2020. Темы те же, но чуть поправил форму изложения и подрезал.)
- 18:02, 3 мая 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 seminar natural inference.pdf» (Весна 2020 (улучшена матчасть, вырезаны аксиоматические теории))
- 11:27, 3 мая 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 12 13.pdf» (поправлены опечатки)
- 01:58, 27 апреля 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 12 13.pdf» (2020, весна. Всё про исчисления, кроме общих слов (они в лекции 11).)
- 11:39, 21 апреля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 11.pdf» (поправил недочёты на последнем слайде (про исчисление дизъюнктов))
- 15:24, 17 апреля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 11.pdf» (весна 2020. теорема чёрча, машины тьюринга, вводные слова про логические исчисления)
- 16:04, 13 апреля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 10.pdf» (урезано согласно фактически прочитанному: машины Тьюринга будут в лекции 11)
- 18:08, 11 апреля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 10.pdf» (весна 2020. полнота метода резолюций, и прелюдия к теореме чёрча)
- 13:18, 2 апреля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 9.pdf» (весна 2020. от резолютивного вывода до теоремы эрбрана.)
- 12:07, 30 марта 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 7.pdf» (мелкие правки)
- 12:43, 22 марта 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 8.pdf» (2020, весна. Алгоритм унификации с доказательством.)
- 12:43, 22 марта 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 7.pdf» (2020, весна. Начало метода резолюций - до задачи унификации включительно.)
- 12:58, 16 марта 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 6.pdf» (2020, весенний семестр. метод сем.таблиц от полноты до конца + равносильность)
- 10:59, 4 марта 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 4 5.pdf» (мат.логика и логическая программирование у групп 318, 241, 242. Лекции 4 и 5 (от определения общезначимости до корректности табличного вывода).)
.png){kind=link}
.png){kind=link}
.png){kind=link}
