Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 14:05, 26 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 7.pdf» (2019. Пара мелких визуальных правок)
- 14:04, 26 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 7.pdf» (2019. Добавил пару картинок)
- 11:23, 25 октября 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl practice 04.pdf» (языки описания схем. практический блок 4: verilog и продвинутый синтаксис (параметры, массивы, генерация))
- 11:22, 25 октября 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl practice 03.pdf» (языки описания схем. практический блок 3: verilog и процедуры)
- 11:19, 25 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 15.pdf» (2019. теперь здесь собран синтаксический сахар для verilog)
- 12:30, 14 октября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 4.pdf» (обновил год, наполнение то же)
- 12:09, 11 октября 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl practice 02.pdf» (языки описания схем, задания для практических занятий. Verilog + assign)
- 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 учебного года: начало рассказа про исчисления)
