Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 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 (от определения общезначимости до корректности табличного вывода).)
- 11:27, 18 февраля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 3.pdf» (весна 2020. вырезаны последние темы, взамен подробнее строится формула по предложению)
- 10:13, 11 февраля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 2.pdf» (исправлена пара опечаток)
- 13:00, 10 февраля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 2.pdf» (Версия весны 2020. Мелкие правки.)
- 12:59, 10 февраля 2020 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 lecture 1.pdf» (Версия весны 2020. Мелкие правки.)
- 10:48, 2 января 2020 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture aux 05.pdf» (языки описания схем. протокол spi для произвольного числа устройств. состояние высокого импеданса)
- 16:18, 13 декабря 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture aux 04.pdf» (языки описания схем. кое-что еще 4: протокол spi для двух устройств)
- 16:17, 13 декабря 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture aux 03.pdf» (языки описания схем. кое-что еще 3: классификация протоколов передачи данных)
- 16:17, 13 декабря 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture aux 02.pdf» (языки описания схем. кое-что еще 2: схемная реализация протокола UART)
- 12:33, 29 ноября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 10.pdf» (обновлён год + мелкие не очень значительные правки. по содержанию всё то же.)
- 14:05, 23 ноября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture aux 01.pdf» (суть та же, что и в прошлой версии, но сделано чуть более подробно, наглядно и красиво)
- 15:30, 22 ноября 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture aux 01.pdf» (языки описания схем. лекция 1 не для зачёта. протоколы передачи данных. общее описание протокола uart.)
- 15:25, 22 ноября 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 23.pdf» (языки описания схем. последняя лекция: автоматы с приостановкой выполнения переходов)
- 10:45, 20 ноября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Lecture Verification 9.pdf» (2019. обновил год, остальное то же)
- 18:04, 14 ноября 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl practice 06.pdf» (языки описания схем. практика: операционный и управляющий автоматы в verilog)
- 18:02, 14 ноября 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 22.pdf» (языки описания схем. как дополнить операционный автомат управляющим)
- 18:01, 14 ноября 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl lecture 21.pdf» (языки описания схем. как спроектировать операционный автомат)
- 15:18, 8 ноября 2019 PodymovVV (обсуждение | вклад) загрузил «Файл:Hdl practice 05.pdf» (языки описания схем. Практика: автоматы)
- 15:15, 8 ноября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 20.pdf» (2019. Операционный и управляющий автоматы)
- 15:15, 8 ноября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 19.pdf» (2019. Символьные автоматы на языке Verilog)
- 21:38, 5 ноября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Seminar Verification 8.pdf» (2019. обновил год, остальное то же)
- 21:34, 1 ноября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 18.pdf» (2019. Символьные автоматы)
- 21:34, 1 ноября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 17.pdf» (2019. Соответствие между схемами и автоматами)
- 21:33, 1 ноября 2019 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 16.pdf» (2019. Напоминание, что такое автоматы)
- 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» (поправил опечатку в синтаксисе задержки+непр.присв.)
