Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 19:21, 23 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Prac 318 labyrinth.pdf»
- 15:50, 23 октября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac 318 labyrinth.pdf» (практикум для группы 318. первое задание практического блока: робот в лабиринте.)
- 00:51, 20 октября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 14.pdf» (языки описания схем. блок 14: понятия операционного и управляющего автоматов)
- 22:11, 19 октября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 13.pdf» (языки описания схем. блок 13: немного о стандарте синтеза)
- 16:43, 18 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 4.pdf» (поправлена пара неточностей)
- 21:14, 17 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 5.pdf» (немного некритичных исправлений)
- 18:19, 17 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 4.pdf» (супер-пупер обновление обзора)
- 19:10, 13 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 12.pdf» (исправлена ошибка в отсылке к архитектуре фон неймана)
- 12:27, 13 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 11.pdf» (исправлены опечатки)
- 10:13, 13 октября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 12.pdf» (языки описания схем. блок 12. процессор: основные функциональные блоки)
- 10:12, 13 октября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 11.pdf» (языки описания схем. блок 11: что такое процессор; архитектура системы команд)
- 11:31, 11 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 1.pdf» (исправлена некритичная опечатка в домашнем задании)
- 23:13, 5 октября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 10.pdf» (языки описания схем. блок 10: практика verilog)
- 23:13, 5 октября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 09.pdf» (языки описания схем. блок 9: функциональная симуляция)
- 13:53, 1 октября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 08.pdf» (поправлена еще одна опечатка)
- 16:56, 29 сентября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 08.pdf» (поправлены опечатки)
- 09:47, 29 сентября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 3.pdf» (убран слайд "домашнее задание")
- 09:44, 29 сентября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 3.pdf» (дополнен темами, не успевшимися на семинаре 2. изменено оформление.)
- 09:44, 29 сентября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 2.pdf» (урезан согласно фактически разобранному, исправлены опечатки)
- 01:53, 29 сентября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 08.pdf» (языки описания схем, блок 8. verilog: базовый синтаксис)
- 01:52, 29 сентября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 07.pdf» (неверная лекция. языки описания схем, блок 7. asic и плис)
- 01:37, 29 сентября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 07.pdf» (языки описания схем, блок 7. базовый синтаксис verilog)
- 16:13, 28 сентября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl task part1.pdf» (важное уточнение: "процессор" -> "однотактовый процессор")
- 22:41, 27 сентября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl task part1.pdf» (первая часть основного задания по курсу "Языки описания схем")
- 07:57, 27 сентября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 2.pdf» (2017 год, новое оформление, поправленные опечатки)
- 16:02, 25 сентября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 06.pdf»
- 14:47, 23 сентября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 05.pdf» (языки описания схем. блок 5 (модули, шины, регистры, rtl))
- 21:40, 15 сентября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 04.pdf» (языки описания схем. блок 4 (последовательные схемы, тактовый сигнал))
- 21:38, 15 сентября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 03.pdf» (языки описания схем. блок 3 (комбинационные схемы))
- 10:30, 13 сентября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 1.pdf» (новая нотация (согласно новому варианту лекций) и исправленные опечатки)
- 19:46, 11 сентября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Prac-318-git-task-tree.pdf» (практикум 318 группы, осенний семестр, дерево коммитов для задания по git)
- 22:11, 8 сентября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 02.pdf» (курс "языки описания схем", блок слайдов про кмоп)
- 21:48, 8 сентября 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 01.pdf» (вступительный блок слайдов по курсу "языки описания схем")
- 21:36, 8 сентября 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 2.pdf» (сильно обновлённая версия лекции про логику Хоара)
- 15:32, 9 июня 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mllp exam 2017 318.xls»
- 14:28, 9 июня 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Mllp exam 2017 318.xls»
- 18:49, 15 мая 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 lecture 16 17.pdf» (мат.логика и логическое программирование, группы 318 и 241, заключительная пара лекций)
- 16:43, 24 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 14.pdf»
- 21:16, 23 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 seminar zfc.pdf»
- 23:20, 21 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Peano axioms.pdf»
- 23:05, 21 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 11.pdf» (еще раз поправлено доказательство разрешимости арифметики Пресбургера)
- 13:32, 21 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 13.pdf»
- 16:24, 18 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 12.pdf»
- 15:57, 18 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 11.pdf»
- 11:59, 18 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 seminar sat-smt.pdf»
- 17:50, 16 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 seminar sat-smt.pdf»
- 22:13, 15 апреля 2017 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 241 test results.xls» (результаты контрольной работы по матлогике, группы 318 и 241)
- 14:52, 13 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Peano axioms.pdf» (переформулирована как теория без равенства)
- 13:47, 13 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 12.pdf» (черновик 2107)
- 12:06, 11 апреля 2017 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 11.pdf» (черновик)