Вклад участника
(новейшие | старейшие) Просмотреть (500 более новые | 500 более старые) (20 | 50 | 100 | 250 | 500)
- 18:11, 11 апреля 2020 (разн. | история) . . (-588) . . м Математическая логика (318, 319/2, 241, 242)
- 18:10, 11 апреля 2020 (разн. | история) . . (-294) . . Математическая логика (318, 319/2, 241, 242)
- 18:08, 11 апреля 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 10.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 10.pdf»)
- 13:43, 2 апреля 2020 (разн. | история) . . (-101) . . м Математическая логика (318, 319/2, 241, 242)
- 13:20, 2 апреля 2020 (разн. | история) . . (+373) . . Математическая логика (318, 319/2, 241, 242)
- 13:18, 2 апреля 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 9.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 9.pdf») (текущая)
- 11:27, 2 апреля 2020 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 15:54, 31 марта 2020 (разн. | история) . . (+124) . . Математическая логика (318, 319/2, 241, 242)
- 12:07, 30 марта 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 7.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 7.pdf») (текущая)
- 12:49, 22 марта 2020 (разн. | история) . . (+7) . . Математическая логика (318, 319/2, 241, 242)
- 12:47, 22 марта 2020 (разн. | история) . . (+14) . . Математическая логика (318, 319/2, 241, 242)
- 12:43, 22 марта 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 8.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 8.pdf») (текущая)
- 12:43, 22 марта 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 7.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 7.pdf»)
- 13:12, 16 марта 2020 (разн. | история) . . (-28) . . Математическая логика (318, 319/2, 241, 242)
- 12:59, 16 марта 2020 (разн. | история) . . (-704) . . Математическая логика (318, 319/2, 241, 242)
- 12:58, 16 марта 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 6.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 6.pdf») (текущая)
- 11:04, 4 марта 2020 (разн. | история) . . (+710) . . Математическая логика (318, 319/2, 241, 242)
- 10:59, 4 марта 2020 (разн. | история) . . (+249) . . Н Файл:Mathlog 318 lecture 4 5.pdf (мат.логика и логическая программирование у групп 318, 241, 242. Лекции 4 и 5 (от определения общезначимости до корректности табличного вывода).) (текущая)
- 11:58, 23 февраля 2020 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 11:28, 18 февраля 2020 (разн. | история) . . (-88) . . Математическая логика (318, 319/2, 241, 242)
- 11:27, 18 февраля 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 3.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 3.pdf») (текущая)
- 16:17, 13 февраля 2020 (разн. | история) . . (+122) . . м Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 16:17, 13 февраля 2020 (разн. | история) . . (+53) . . м Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 16:16, 13 февраля 2020 (разн. | история) . . (-6778) . . Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 10:13, 11 февраля 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 2.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 2.pdf») (текущая)
- 13:03, 10 февраля 2020 (разн. | история) . . (+435) . . Математическая логика (318, 319/2, 241, 242)
- 13:00, 10 февраля 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 2.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 2.pdf»)
- 12:59, 10 февраля 2020 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 1.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 1.pdf») (текущая)
- 10:49, 2 января 2020 (разн. | история) . . (0) . . м Языки описания схем
- 10:49, 2 января 2020 (разн. | история) . . (+207) . . Языки описания схем
- 10:48, 2 января 2020 (разн. | история) . . (+178) . . Н Файл:Hdl lecture aux 05.pdf (языки описания схем. протокол spi для произвольного числа устройств. состояние высокого импеданса)
- 16:09, 20 декабря 2019 (разн. | история) . . (+13) . . Дискретный анализ (лекционный курс) (текущая)
- 16:06, 20 декабря 2019 (разн. | история) . . (+12) . . Просеминар для 2-го курса
- 16:06, 20 декабря 2019 (разн. | история) . . (+12) . . Дискретный анализ (текущая)
- 16:19, 13 декабря 2019 (разн. | история) . . (+392) . . Языки описания схем
- 16:18, 13 декабря 2019 (разн. | история) . . (+117) . . Н Файл:Hdl lecture aux 04.pdf (языки описания схем. кое-что еще 4: протокол spi для двух устройств)
- 16:17, 13 декабря 2019 (разн. | история) . . (+139) . . Н Файл:Hdl lecture aux 03.pdf (языки описания схем. кое-что еще 3: классификация протоколов передачи данных)
- 16:17, 13 декабря 2019 (разн. | история) . . (+121) . . Н Файл:Hdl lecture aux 02.pdf (языки описания схем. кое-что еще 2: схемная реализация протокола UART)
- 12:33, 29 ноября 2019 (разн. | история) . . (-7) . . Математические методы верификации схем и программ
- 12:33, 29 ноября 2019 (разн. | история) . . (0) . . Файл:Lecture Verification 10.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 10.pdf») (текущая)
- 21:20, 23 ноября 2019 (разн. | история) . . (+289) . . Вечер кафедр 2019 (текущая)
- 14:05, 23 ноября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture aux 01.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture aux 01.pdf»)
- 15:33, 22 ноября 2019 (разн. | история) . . (+306) . . Языки описания схем
- 15:30, 22 ноября 2019 (разн. | история) . . (+181) . . Н Файл:Hdl lecture aux 01.pdf (языки описания схем. лекция 1 не для зачёта. протоколы передачи данных. общее описание протокола uart.)
- 15:25, 22 ноября 2019 (разн. | история) . . (+157) . . Н Файл:Hdl lecture 23.pdf (языки описания схем. последняя лекция: автоматы с приостановкой выполнения переходов)
- 10:47, 20 ноября 2019 (разн. | история) . . (-14) . . Математические методы верификации схем и программ
- 10:45, 20 ноября 2019 (разн. | история) . . (0) . . Файл:Lecture Verification 9.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 9.pdf») (текущая)
- 18:05, 14 ноября 2019 (разн. | история) . . (+422) . . Языки описания схем
- 18:04, 14 ноября 2019 (разн. | история) . . (+134) . . Н Файл:Hdl practice 06.pdf (языки описания схем. практика: операционный и управляющий автоматы в verilog)
- 18:02, 14 ноября 2019 (разн. | история) . . (+126) . . Н Файл:Hdl lecture 22.pdf (языки описания схем. как дополнить операционный автомат управляющим)
- 18:01, 14 ноября 2019 (разн. | история) . . (+113) . . Н Файл:Hdl lecture 21.pdf (языки описания схем. как спроектировать операционный автомат)
- 15:16, 13 ноября 2019 (разн. | история) . . (+373) . . Шаблон:Important Announcements
- 15:13, 13 ноября 2019 (разн. | история) . . (+1907) . . Н Вечер кафедр 2019 (Новая страница: «На этой странице размещена информация о вечере кафедр математической кибернетики и инф…»)
- 15:20, 8 ноября 2019 (разн. | история) . . (+87) . . Языки описания схем
- 15:18, 8 ноября 2019 (разн. | история) . . (+72) . . Н Файл:Hdl practice 05.pdf (языки описания схем. Практика: автоматы)
- 15:15, 8 ноября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 20.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 20.pdf»)
- 15:15, 8 ноября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 19.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 19.pdf»)
- 21:38, 5 ноября 2019 (разн. | история) . . (0) . . Файл:Seminar Verification 8.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 8.pdf») (текущая)
- 21:35, 1 ноября 2019 (разн. | история) . . (-76) . . Языки описания схем
- 21:34, 1 ноября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 18.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 18.pdf»)
- 21:34, 1 ноября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 17.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 17.pdf»)
- 21:33, 1 ноября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 16.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 16.pdf»)
- 14:05, 26 октября 2019 (разн. | история) . . (0) . . Файл:Seminar Verification 7.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 7.pdf») (текущая)
- 14:04, 26 октября 2019 (разн. | история) . . (0) . . Файл:Lecture Verification 7.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 7.pdf») (текущая)
- 11:24, 25 октября 2019 (разн. | история) . . (+215) . . Языки описания схем
- 11:23, 25 октября 2019 (разн. | история) . . (+184) . . Н Файл:Hdl practice 04.pdf (языки описания схем. практический блок 4: verilog и продвинутый синтаксис (параметры, массивы, генерация))
- 11:22, 25 октября 2019 (разн. | история) . . (+104) . . Н Файл:Hdl practice 03.pdf (языки описания схем. практический блок 3: verilog и процедуры)
- 11:19, 25 октября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 15.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 15.pdf»)
- 12:30, 14 октября 2019 (разн. | история) . . (0) . . Файл:Seminar Verification 4.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 4.pdf») (текущая)
- 12:10, 11 октября 2019 (разн. | история) . . (0) . . Языки описания схем
- 12:09, 11 октября 2019 (разн. | история) . . (+135) . . Языки описания схем
- 12:09, 11 октября 2019 (разн. | история) . . (+117) . . Н Файл:Hdl practice 02.pdf (языки описания схем, задания для практических занятий. Verilog + assign)
- 12:05, 11 октября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 14.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 14.pdf»)
- 12:03, 11 октября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 13.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 13.pdf»)
- 12:01, 11 октября 2019 (разн. | история) . . (+55) . . Языки описания схем
- 12:00, 11 октября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 14.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 14.pdf»)
- 11:59, 11 октября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 13.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 13.pdf»)
- 11:34, 10 октября 2019 (разн. | история) . . (+17) . . м Участник:PodymovVV
- 11:33, 10 октября 2019 (разн. | история) . . (-113) . . Участник:PodymovVV
- 09:40, 8 октября 2019 (разн. | история) . . (0) . . Файл:Seminar Verification 3.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 3.pdf») (текущая)
- 20:30, 4 октября 2019 (разн. | история) . . (-29) . . Языки описания схем
- 20:29, 4 октября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 12.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 12.pdf»)
- 20:26, 4 октября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 11.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 11.pdf»)
- 18:28, 3 октября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 11.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 11.pdf»)
- 18:20, 3 октября 2019 (разн. | история) . . (+4) . . м Языки описания схем
- 18:19, 3 октября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 11.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 11.pdf»)
- 10:18, 1 октября 2019 (разн. | история) . . (+91) . . Математические методы верификации схем и программ
- 14:54, 27 сентября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 10.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 10.pdf»)
- 12:47, 27 сентября 2019 (разн. | история) . . (+29) . . Языки описания схем
- 12:46, 27 сентября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 11.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 11.pdf»)
- 12:45, 27 сентября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 10.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 10.pdf»)
- 12:23, 24 сентября 2019 (разн. | история) . . (0) . . Файл:Seminar Verification 2.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 2.pdf») (текущая)
- 15:31, 19 сентября 2019 (разн. | история) . . (+1) . . м Языки описания схем
- 15:31, 19 сентября 2019 (разн. | история) . . (+59) . . Языки описания схем
- 15:31, 19 сентября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 09.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 09.pdf»)
- 12:44, 13 сентября 2019 (разн. | история) . . (+139) . . Языки описания схем
- 12:43, 13 сентября 2019 (разн. | история) . . (+84) . . Н Файл:Hdl practice 01.pdf (практические задания: последовательные схемы)
- 16:30, 12 сентября 2019 (разн. | история) . . (-21) . . Языки описания схем
- 16:29, 12 сентября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 09.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 09.pdf»)
- 16:29, 12 сентября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 08.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 08.pdf»)
- 16:28, 12 сентября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 07.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 07.pdf»)
- 16:28, 12 сентября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 06.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 06.pdf»)
- 17:08, 10 сентября 2019 (разн. | история) . . (0) . . Файл:Seminar Verification 1.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 1.pdf») (текущая)
- 17:05, 10 сентября 2019 (разн. | история) . . (-36) . . Математические методы верификации схем и программ
- 18:42, 6 сентября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 03.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 03.pdf»)
- 12:34, 6 сентября 2019 (разн. | история) . . (+187) . . Языки описания схем
- 12:33, 6 сентября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 06.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 06.pdf»)
- 12:32, 6 сентября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 05.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 05.pdf»)
- 12:31, 6 сентября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 04.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 04.pdf»)
- 12:29, 6 сентября 2019 (разн. | история) . . (0) . . Файл:Lecture Verification 2.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 2.pdf») (текущая)
- 09:22, 4 сентября 2019 (разн. | история) . . (-5709) . . Языки описания схем
- 09:09, 4 сентября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 03.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 03.pdf»)
- 09:08, 4 сентября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 02.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 02.pdf»)
- 09:08, 4 сентября 2019 (разн. | история) . . (0) . . Файл:Hdl lecture 01.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 01.pdf»)
- 20:44, 8 июля 2019 (разн. | история) . . (-15) . . Участник:PodymovVV
- 18:42, 19 июня 2019 (разн. | история) . . (+68) . . м Математическая логика (318, 319/2, 241, 242)
- 17:22, 19 июня 2019 (разн. | история) . . (+70) . . Математическая логика (318, 319/2, 241, 242)
- 14:16, 19 июня 2019 (разн. | история) . . (+35) . . Математическая логика (318, 319/2, 241, 242)
- 13:47, 19 июня 2019 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 21:36, 18 июня 2019 (разн. | история) . . (-1603) . . Математическая логика (318, 319/2, 241, 242)
- 23:37, 12 июня 2019 (разн. | история) . . (+137) . . Математические модели и методы физического синтеза сверхбольших интегральных схем
- 17:21, 31 мая 2019 (разн. | история) . . (-522) . . Математическая логика (318, 319/2, 241, 242)
- 16:44, 31 мая 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 15.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 15.pdf»)
- 15:44, 20 мая 2019 (разн. | история) . . (+1580) . . Математическая логика (318, 319/2, 241, 242)
- 10:42, 20 мая 2019 (разн. | история) . . (+35) . . Математическая логика (318, 319/2, 241, 242)
- 20:29, 17 мая 2019 (разн. | история) . . (+35) . . Математическая логика (318, 319/2, 241, 242)
- 19:44, 17 мая 2019 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 18:18, 15 мая 2019 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 18:03, 13 мая 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 17.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 17.pdf»)
- 18:03, 13 мая 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 16.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 16.pdf»)
- 18:00, 13 мая 2019 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 16:25, 13 мая 2019 (разн. | история) . . (+57) . . м Математическая логика (318, 319/2, 241, 242)
- 16:23, 13 мая 2019 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 16:43, 12 мая 2019 (разн. | история) . . (+96) . . Математическая логика (318, 319/2, 241, 242)
- 16:34, 12 мая 2019 (разн. | история) . . (+523) . . Математическая логика (318, 319/2, 241, 242)
- 16:31, 12 мая 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 17.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 17.pdf»)
- 16:30, 12 мая 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 16.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 16.pdf»)
- 13:44, 6 мая 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 15.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 15.pdf»)
- 13:37, 6 мая 2019 (разн. | история) . . (+35) . . Математическая логика (318, 319/2, 241, 242)
- 20:33, 5 мая 2019 (разн. | история) . . (+784) . . Математическая логика (318, 319/2, 241, 242)
- 20:23, 5 мая 2019 (разн. | история) . . (+349) . . Математическая логика (318, 319/2, 241, 242)
- 20:22, 5 мая 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 15.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 15.pdf»)
- 14:40, 28 апреля 2019 (разн. | история) . . (-839) . . Математическая логика (318, 319/2, 241, 242)
- 14:32, 28 апреля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 14.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 14.pdf»)
- 17:16, 26 апреля 2019 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 16:56, 26 апреля 2019 (разн. | история) . . (-60) . . Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 16:17, 26 апреля 2019 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 09:18, 26 апреля 2019 (разн. | история) . . (-7) . . м Математическая логика (318, 319/2, 241, 242)
- 09:17, 26 апреля 2019 (разн. | история) . . (-220) . . м Математическая логика (318, 319/2, 241, 242)
- 16:04, 25 апреля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 seminar natural inference.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 seminar natural inference.pdf»)
- 11:35, 25 апреля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 13.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 13.pdf») (текущая)
- 11:32, 25 апреля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 13.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 13.pdf»)
- 16:15, 22 апреля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 13.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 13.pdf»)
- 16:08, 22 апреля 2019 (разн. | история) . . (-41) . . Математическая логика (318, 319/2, 241, 242)
- 14:34, 22 апреля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 12.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 12.pdf») (текущая)
- 20:25, 21 апреля 2019 (разн. | история) . . (+53) . . Математическая логика (318, 319/2, 241, 242)
- 20:20, 21 апреля 2019 (разн. | история) . . (+501) . . Математическая логика (318, 319/2, 241, 242)
- 20:17, 21 апреля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 13.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 13.pdf»)
- 20:17, 21 апреля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 12.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 12.pdf»)
- 10:49, 16 апреля 2019 (разн. | история) . . (0) . . Файл:Mllp 318 seminar definability.pdf (PodymovVV загружена новая версия «Файл:Mllp 318 seminar definability.pdf»)
- 13:11, 15 апреля 2019 (разн. | история) . . (+1233) . . Математическая логика (318, 319/2, 241, 242)
- 12:39, 15 апреля 2019 (разн. | история) . . (0) . . м Математическая логика (318, 319/2, 241, 242)
- 16:13, 11 апреля 2019 (разн. | история) . . (+76) . . м Математическая логика (318, 319/2, 241, 242)
- 16:11, 11 апреля 2019 (разн. | история) . . (0) . . Файл:Mllp 318 seminar definability.pdf (PodymovVV загружена новая версия «Файл:Mllp 318 seminar definability.pdf»)
- 19:58, 8 апреля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 11.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 11.pdf»)
- 21:03, 7 апреля 2019 (разн. | история) . . (+1007) . . Математическая логика (318, 319/2, 241, 242)
- 20:52, 7 апреля 2019 (разн. | история) . . (+627) . . Математическая логика (318, 319/2, 241, 242)
- 20:49, 7 апреля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 11.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 11.pdf»)
- 20:48, 7 апреля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 10.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 10.pdf»)
- 08:56, 29 марта 2019 (разн. | история) . . (+127) . . Математическая логика (318, 319/2, 241, 242)
- 12:14, 24 марта 2019 (разн. | история) . . (0) . . м Математическая логика (318, 319/2, 241, 242)
- 09:27, 18 марта 2019 (разн. | история) . . (+133) . . м Математическая логика (318, 319/2, 241, 242)
- 20:25, 10 марта 2019 (разн. | история) . . (-115) . . Математическая логика (318, 319/2, 241, 242)
- 20:22, 10 марта 2019 (разн. | история) . . (+70) . . Математическая логика (318, 319/2, 241, 242)
- 20:19, 10 марта 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 8.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 8.pdf»)
- 20:19, 10 марта 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 7.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 7.pdf»)
- 19:11, 3 марта 2019 (разн. | история) . . (-99) . . Математическая логика (318, 319/2, 241, 242)
- 19:08, 3 марта 2019 (разн. | история) . . (-37) . . Математическая логика (318, 319/2, 241, 242)
- 19:06, 3 марта 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 6.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 6.pdf»)
- 13:13, 2 марта 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 5.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 5.pdf») (текущая)
- 17:55, 23 февраля 2019 (разн. | история) . . (-796) . . Математическая логика (318, 319/2, 241, 242)
- 17:48, 23 февраля 2019 (разн. | история) . . (+2) . . Математическая логика (318, 319/2, 241, 242)
- 17:46, 23 февраля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 5.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 5.pdf»)
- 17:46, 23 февраля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 4.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 4.pdf») (текущая)
- 15:57, 20 февраля 2019 (разн. | история) . . (0) . . м Избранные вопросы теории графов
- 14:03, 18 февраля 2019 (разн. | история) . . (+13) . . Основы кибернетики (418 группа) (текущая)
- 14:01, 18 февраля 2019 (разн. | история) . . (+13) . . Дополнительные главы кибернетики и теории управляющих систем (текущая)
- 13:10, 18 февраля 2019 (разн. | история) . . (+13) . . Элементарные рекурсивные функции (текущая)
- 13:09, 18 февраля 2019 (разн. | история) . . (+13) . . Частичные булевы функции (текущая)
- 13:09, 18 февраля 2019 (разн. | история) . . (+13) . . Функциональные уравнения многозначной логики (текущая)
- 13:08, 18 февраля 2019 (разн. | история) . . (+13) . . Предполные классы многозначной логики (текущая)
- 13:08, 18 февраля 2019 (разн. | история) . . (+13) . . Предикатное определение замкнутых классов (текущая)
- 13:08, 18 февраля 2019 (разн. | история) . . (+13) . . Основы теории алгоритмов (текущая)
- 13:07, 18 февраля 2019 (разн. | история) . . (+13) . . Операторы замыкания в многозначной логике (текущая)
- 13:07, 18 февраля 2019 (разн. | история) . . (+13) . . Однородные функции (текущая)
- 12:27, 18 февраля 2019 (разн. | история) . . (+13) . . Некоторые вопросы теории управляющих систем (текущая)
- 12:26, 18 февраля 2019 (разн. | история) . . (-211) . . Категория:Спецсеминары кафедры математической кибернетики (текущая)
- 12:26, 18 февраля 2019 (разн. | история) . . (+1) . . Категория:Архив спецсеминаров кафедры математической кибернетики (текущая)
- 09:55, 17 февраля 2019 (разн. | история) . . (+12) . . Дополнительные главы дискретной математики (2-й поток) (текущая)
- 17:27, 16 февраля 2019 (разн. | история) . . (+81) . . Математическая логика (318, 319/2, 241, 242)
- 17:25, 16 февраля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 3.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 3.pdf»)
- 11:22, 15 февраля 2019 (разн. | история) . . (0) . . Файл:LectEng2.pdf (PodymovVV загружена новая версия «Файл:LectEng2.pdf») (текущая)
- 21:43, 14 февраля 2019 (разн. | история) . . (0) . . Файл:LectEng2.pdf (PodymovVV загружена новая версия «Файл:LectEng2.pdf»)
- 16:53, 11 февраля 2019 (разн. | история) . . (+50) . . м Категория:Спецкурсы кафедры МК (архив) (текущая)
- 12:19, 11 февраля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 2.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 2.pdf»)
- 20:38, 9 февраля 2019 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 20:37, 9 февраля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 2.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 2.pdf»)
- 20:36, 9 февраля 2019 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 1.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 1.pdf»)
- 12:20, 7 февраля 2019 (разн. | история) . . (-77) . . м Математическая логика (318, 319/2, 241, 242)
- 12:19, 7 февраля 2019 (разн. | история) . . (-76) . . м Математическая логика и теория алгоритмов (текущая)
- 12:19, 7 февраля 2019 (разн. | история) . . (+207) . . Н Математическая логика (группы 318, 241) (Перенаправление на Математическая логика и логическое программирование (группа 318))
- 14:02, 5 февраля 2019 (разн. | история) . . (-190) . . Математическая логика (318, 319/2, 241, 242)
- 11:24, 5 февраля 2019 (разн. | история) . . (-1587) . . Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 13:58, 11 декабря 2018 (разн. | история) . . (0) . . Файл:Otchet pattern618-2018.zip (PodymovVV загружена новая версия «Файл:Otchet pattern618-2018.zip») (текущая)
- 13:57, 11 декабря 2018 (разн. | история) . . (0) . . Файл:Otchet pattern418-2018.zip (PodymovVV загружена новая версия «Файл:Otchet pattern418-2018.zip») (текущая)
- 12:20, 28 ноября 2018 (разн. | история) . . (-14) . . м Математические методы верификации схем и программ
- 12:19, 28 ноября 2018 (разн. | история) . . (0) . . Файл:Seminar Verification 10.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 10.pdf») (текущая)
- 11:18, 28 ноября 2018 (разн. | история) . . (0) . . Файл:Lecture Verification 10.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 10.pdf»)
- 23:01, 27 ноября 2018 (разн. | история) . . (-83) . . м Математические методы верификации схем и программ
- 23:00, 27 ноября 2018 (разн. | история) . . (0) . . Файл:Lecture Verification 10.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 10.pdf»)
- 16:35, 15 ноября 2018 (разн. | история) . . (0) . . Файл:Lecture Verification 9.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 9.pdf»)
- 18:44, 14 ноября 2018 (разн. | история) . . (-39) . . м Математические методы верификации схем и программ
- 18:42, 14 ноября 2018 (разн. | история) . . (0) . . Файл:Lecture Verification 9.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 9.pdf»)
- 19:25, 8 ноября 2018 (разн. | история) . . (-88) . . м Вечер кафедр 2018 (текущая)
- 20:41, 7 ноября 2018 (разн. | история) . . (+424) . . Шаблон:Important Announcements (→Объявления)
- 20:38, 7 ноября 2018 (разн. | история) . . (+54) . . Н Файл:Traditional meeting 2018 announcement.pdf (объявление о вечере кафедр 2018) (текущая)
- 20:36, 7 ноября 2018 (разн. | история) . . (+2004) . . Н Вечер кафедр 2018 (Новая страница: «На этой странице размещена информация о вечере кафедр математической кибернетики и инф…»)
- 15:18, 2 ноября 2018 (разн. | история) . . (0) . . Файл:Seminar Verification 7.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 7.pdf»)
- 15:16, 2 ноября 2018 (разн. | история) . . (0) . . Файл:Seminar Verification 7.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 7.pdf»)
- 14:54, 30 октября 2018 (разн. | история) . . (0) . . Файл:Seminar Verification 7.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 7.pdf»)
- 14:57, 23 октября 2018 (разн. | история) . . (+119) . . Языки описания схем
- 14:55, 23 октября 2018 (разн. | история) . . (+159) . . Н Файл:Hdl lecture 20.pdf (курс "языки описания схем", блок 20: практические задания по управляющим автоматам в verilog)
- 20:08, 22 октября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 19.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 19.pdf»)
- 21:42, 18 октября 2018 (разн. | история) . . (+240) . . Н Графы и их приложения (Новая страница: «Категория:Спецкурсы кафедры МК Спецкурс для аспирантов. Лекторы: Селезнева Светлан…»)
- 21:37, 18 октября 2018 (разн. | история) . . (0) . . Файл:Seminar Verification 8.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 8.pdf»)
- 21:26, 18 октября 2018 (разн. | история) . . (0) . . Файл:Seminar Verification 7.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 7.pdf»)
- 20:07, 18 октября 2018 (разн. | история) . . (-196) . . Математические методы верификации схем и программ
- 20:04, 18 октября 2018 (разн. | история) . . (0) . . Файл:Lecture Verification 7.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 7.pdf»)
- 22:43, 28 сентября 2018 (разн. | история) . . (0) . . Файл:Seminar Verification 5.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 5.pdf») (текущая)
- 22:20, 28 сентября 2018 (разн. | история) . . (0) . . Файл:Seminar Verification 3.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 3.pdf»)
- 22:20, 28 сентября 2018 (разн. | история) . . (0) . . Файл:Seminar Verification 2.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 2.pdf»)
- 22:09, 28 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 08.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 08.pdf»)
- 20:27, 24 сентября 2018 (разн. | история) . . (+1096) . . Теоретические проблемы программирования
- 20:23, 24 сентября 2018 (разн. | история) . . (0) . . Н Файл:Paper-33-2018.pdf (текущая)
- 20:23, 24 сентября 2018 (разн. | история) . . (0) . . Н Файл:Paper-32-2018.pdf (текущая)
- 20:22, 24 сентября 2018 (разн. | история) . . (0) . . Н Файл:Paper-31-2018.pdf (текущая)
- 20:21, 24 сентября 2018 (разн. | история) . . (0) . . Н Файл:Paper-30-2018.pdf (текущая)
- 20:21, 24 сентября 2018 (разн. | история) . . (0) . . Н Файл:Paper-29-2018.pdf (текущая)
- 20:20, 24 сентября 2018 (разн. | история) . . (0) . . Н Файл:Paper-28-2018.pdf (текущая)
- 20:19, 24 сентября 2018 (разн. | история) . . (0) . . Н Файл:Paper-27-2018.pdf (текущая)
- 20:18, 24 сентября 2018 (разн. | история) . . (0) . . Н Файл:Paper-26-2018.pdf (текущая)
- 20:17, 24 сентября 2018 (разн. | история) . . (0) . . Н Файл:Paper-25-2018.pdf (текущая)
- 20:17, 24 сентября 2018 (разн. | история) . . (0) . . Н Файл:Paper-24-2018.pdf (текущая)
- 20:16, 24 сентября 2018 (разн. | история) . . (0) . . Н Файл:Paper-23-2018.pdf (текущая)
- 20:12, 24 сентября 2018 (разн. | история) . . (0) . . Н Файл:Paper-22-2018.pdf (текущая)
- 17:00, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 01.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 01.pdf»)
- 17:00, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 02.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 02.pdf»)
- 16:59, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 03.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 03.pdf»)
- 16:59, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 04.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 04.pdf»)
- 16:59, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 05.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 05.pdf»)
- 16:59, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 06.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 06.pdf»)
- 16:59, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 07.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 07.pdf»)
- 16:59, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 08.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 08.pdf»)
- 16:58, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 09.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 09.pdf»)
- 16:58, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 10.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 10.pdf»)
- 16:58, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 11.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 11.pdf»)
- 16:58, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 12.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 12.pdf»)
- 16:58, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 13.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 13.pdf»)
- 16:58, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 14.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 14.pdf»)
- 16:57, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 15.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 15.pdf»)
- 16:57, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 16.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 16.pdf»)
- 16:57, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 17.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 17.pdf»)
- 16:57, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 18.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 18.pdf»)
- 16:57, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 19.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 19.pdf»)
- 13:11, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Seminar Verification 4.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 4.pdf»)
- 11:57, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 19.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 19.pdf»)
- 11:57, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 18.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 18.pdf»)
- 11:57, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 17.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 17.pdf»)
- 11:56, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 16.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 16.pdf»)
- 11:56, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 15.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 15.pdf»)
- 11:56, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 14.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 14.pdf»)
- 11:56, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 13.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 13.pdf»)
- 11:56, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 12.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 12.pdf»)
- 11:55, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 11.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 11.pdf»)
- 11:55, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 10.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 10.pdf»)
- 11:55, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 09.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 09.pdf»)
- 11:55, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 08.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 08.pdf»)
- 11:55, 13 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 07.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 07.pdf»)
- 17:55, 12 сентября 2018 (разн. | история) . . (0) . . Файл:Seminar Verification 3.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 3.pdf»)
- 17:55, 12 сентября 2018 (разн. | история) . . (0) . . Файл:Seminar Verification 2.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 2.pdf»)
- 21:35, 11 сентября 2018 (разн. | история) . . (0) . . Файл:Seminar Verification 1.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 1.pdf»)
- 15:40, 6 сентября 2018 (разн. | история) . . (-2389) . . Языки описания схем
- 15:00, 6 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 02.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 02.pdf»)
- 14:55, 6 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 01.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 01.pdf»)
- 14:55, 6 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 04.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 04.pdf»)
- 14:55, 6 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 05.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 05.pdf»)
- 14:55, 6 сентября 2018 (разн. | история) . . (0) . . Файл:Hdl lecture 06.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 06.pdf»)
- 13:10, 6 сентября 2018 (разн. | история) . . (0) . . Файл:Lecture Verification 2.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 2.pdf»)
- 13:01, 6 сентября 2018 (разн. | история) . . (-202) . . Математические методы верификации схем и программ
- 13:41, 16 июля 2018 (разн. | история) . . (+119) . . м Языки описания схем
- 11:45, 21 июня 2018 (разн. | история) . . (+62) . . Математическая логика (318, 319/2, 241, 242)
- 17:26, 21 мая 2018 (разн. | история) . . (+6) . . Математическая логика (318, 319/2, 241, 242)
- 12:50, 20 мая 2018 (разн. | история) . . (+62) . . Математическая логика (318, 319/2, 241, 242)
- 23:25, 16 мая 2018 (разн. | история) . . (-437) . . м Математическая логика (318, 319/2, 241, 242)
- 12:54, 14 мая 2018 (разн. | история) . . (+62) . . Математическая логика (318, 319/2, 241, 242)
- 13:56, 13 мая 2018 (разн. | история) . . (+3379) . . Математическая логика (318, 319/2, 241, 242)
- 21:21, 9 мая 2018 (разн. | история) . . (-26) . . Математическая логика (318, 319/2, 241, 242)
- 15:11, 7 мая 2018 (разн. | история) . . (+62) . . Математическая логика (318, 319/2, 241, 242)
- 15:06, 7 мая 2018 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 14 15.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 14 15.pdf») (текущая)
- 04:30, 7 мая 2018 (разн. | история) . . (+644) . . Математическая логика (318, 319/2, 241, 242)
- 04:14, 7 мая 2018 (разн. | история) . . (+928) . . Математическая логика (318, 319/2, 241, 242)
- 03:50, 7 мая 2018 (разн. | история) . . (+189) . . Н Файл:Mathlog 318 lecture 14 15.pdf (мат.логика и логическое программирование, группа 318. последние лекции: модальные логики и model checking для ltl)
- 12:43, 30 апреля 2018 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 14:11, 27 апреля 2018 (разн. | история) . . (0) . . м Математическая логика (318, 319/2, 241, 242)
- 14:10, 27 апреля 2018 (разн. | история) . . (+202) . . Математическая логика (318, 319/2, 241, 242)
- 14:08, 27 апреля 2018 (разн. | история) . . (+126) . . Н Файл:Mathlog 318 seminar natural inference.pdf (мат.логика и лог.прог. для группы 318. Семинар 6: натуральное исчисление)
- 20:11, 25 апреля 2018 (разн. | история) . . (-60) . . м Математическая логика (318, 319/2, 241, 242)
- 20:11, 25 апреля 2018 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 13.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 13.pdf»)
- 16:38, 25 апреля 2018 (разн. | история) . . (+185) . . м Математическая логика (318, 319/2, 241, 242)
- 16:37, 25 апреля 2018 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 13.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 13.pdf»)
- 16:10, 24 апреля 2018 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 13.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 13.pdf»)
- 14:38, 24 апреля 2018 (разн. | история) . . (+16) . . м Математическая логика (318, 319/2, 241, 242)
- 14:37, 24 апреля 2018 (разн. | история) . . (+170) . . Математическая логика (318, 319/2, 241, 242)
- 14:31, 24 апреля 2018 (разн. | история) . . (-10) . . Математическая логика (318, 319/2, 241, 242)
- 14:22, 24 апреля 2018 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 13.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 13.pdf»)
- 10:35, 23 апреля 2018 (разн. | история) . . (+65) . . м Математическая логика (318, 319/2, 241, 242)
- 10:34, 23 апреля 2018 (разн. | история) . . (0) . . Н Файл:Mathlog 318 lecture 13new.pdf (текущая)
- 10:33, 23 апреля 2018 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 13.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 13.pdf»)
- 10:31, 23 апреля 2018 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 13.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 13.pdf»)
- 10:30, 23 апреля 2018 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 13.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 13.pdf»)
- 15:21, 20 апреля 2018 (разн. | история) . . (+189) . . Математическая логика (318, 319/2, 241, 242)
- 15:18, 20 апреля 2018 (разн. | история) . . (+181) . . Н Файл:Mllp 318 seminar definability.pdf (мат.логика и логическое программирование для группы 318. Семинар по определимости в интерпретациях.)
- 18:45, 18 апреля 2018 (разн. | история) . . (+62) . . Математическая логика (318, 319/2, 241, 242)
- 08:42, 16 апреля 2018 (разн. | история) . . (-1426) . . Математическая логика (318, 319/2, 241, 242)
- 07:57, 16 апреля 2018 (разн. | история) . . (+172) . . Н Файл:Mathlog 318 lecture 11 12.pdf (математическая логика и логическое программирование, лекция 11-12 по обновлённой программе (2018)) (текущая)
- 15:04, 12 апреля 2018 (разн. | история) . . (+476) . . Modern trends in discrete mathematics and computer science
- 10:00, 11 апреля 2018 (разн. | история) . . (0) . . м Математическая логика (318, 319/2, 241, 242)
- 20:46, 18 марта 2018 (разн. | история) . . (+132) . . Математическая логика (318, 319/2, 241, 242)
- 17:49, 18 марта 2018 (разн. | история) . . (+1228) . . Математическая логика (318, 319/2, 241, 242)
- 17:43, 18 марта 2018 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 9.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 9.pdf»)
- 17:43, 18 марта 2018 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 8.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 8.pdf»)
- 11:16, 16 марта 2018 (разн. | история) . . (+473) . . Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 07:42, 12 марта 2018 (разн. | история) . . (0) . . м Математическая логика (318, 319/2, 241, 242)
- 07:41, 12 марта 2018 (разн. | история) . . (+110) . . Математическая логика (318, 319/2, 241, 242)
- 07:39, 12 марта 2018 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 7.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 7.pdf»)
- 08:43, 5 марта 2018 (разн. | история) . . (0) . . м Математическая логика (318, 319/2, 241, 242)
- 08:00, 5 марта 2018 (разн. | история) . . (+313) . . Математическая логика (318, 319/2, 241, 242)
- 07:56, 5 марта 2018 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 6.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 6.pdf»)
- 14:04, 2 марта 2018 (разн. | история) . . (+345) . . м Математическая логика (318, 319/2, 241, 242)
- 14:01, 2 марта 2018 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 3.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 3.pdf»)
- 12:52, 2 марта 2018 (разн. | история) . . (+58) . . м Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 21:23, 25 февраля 2018 (разн. | история) . . (+257) . . Математическая логика (318, 319/2, 241, 242)
- 20:59, 25 февраля 2018 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 5.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 5.pdf»)
- 14:29, 19 февраля 2018 (разн. | история) . . (+616) . . Математическая логика (318, 319/2, 241, 242)
- 14:29, 19 февраля 2018 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 4.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 4.pdf»)
- 14:23, 19 февраля 2018 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 3.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 3.pdf»)
- 14:28, 16 февраля 2018 (разн. | история) . . (+263) . . Modern trends in discrete mathematics and computer science
- 14:02, 16 февраля 2018 (разн. | история) . . (+95) . . Н Файл:LectEng2.pdf (english course for master students. lection "formal correctness proofs for sequential programs")
- 13:24, 12 февраля 2018 (разн. | история) . . (+76) . . Modern trends in discrete mathematics and computer science
- 12:52, 12 февраля 2018 (разн. | история) . . (+410) . . Математическая логика (318, 319/2, 241, 242)
- 12:49, 12 февраля 2018 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 2.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 2.pdf»)
- 12:46, 12 февраля 2018 (разн. | история) . . (0) . . Файл:Mathlog 318 lecture 1.pdf (PodymovVV загружена новая версия «Файл:Mathlog 318 lecture 1.pdf»)
- 23:49, 11 февраля 2018 (разн. | история) . . (0) . . Математическая логика (318, 319/2, 241, 242)
- 23:40, 11 февраля 2018 (разн. | история) . . (+4) . . м Математическая логика (318, 319/2, 241, 242)
- 23:28, 11 февраля 2018 (разн. | история) . . (-6366) . . Математическая логика (318, 319/2, 241, 242)
- 19:04, 10 февраля 2018 (разн. | история) . . (-4554) . . Modern trends in discrete mathematics and computer science
- 17:26, 9 февраля 2018 (разн. | история) . . (+44) . . м Modern trends in discrete mathematics and computer science
- 17:24, 9 февраля 2018 (разн. | история) . . (+6242) . . Modern trends in discrete mathematics and computer science
- 16:28, 9 февраля 2018 (разн. | история) . . (+275) . . Н Modern trends in discrete mathematics and computer science (Новая страница: «Категория:Спецкурсы кафедры МК Актуальность информации: '''весенний семестр 2017/2018 уче…»)
- 20:10, 8 февраля 2018 (разн. | история) . . (-18) . . м Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 20:08, 8 февраля 2018 (разн. | история) . . (-18) . . м Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 20:07, 8 февраля 2018 (разн. | история) . . (-2103) . . Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 21:04, 27 декабря 2017 (разн. | история) . . (0) . . Файл:Ivdm-kolok17.docx (PodymovVV загружена новая версия «Файл:Ivdm-kolok17.docx») (текущая)
- 15:39, 22 декабря 2017 (разн. | история) . . (+732) . . Языки описания схем
- 15:33, 22 декабря 2017 (разн. | история) . . (0) . . Файл:Hdl isa macros.zip (PodymovVV загружена новая версия «Файл:Hdl isa macros.zip») (текущая)
- 14:32, 12 декабря 2017 (разн. | история) . . (+113) . . Практикум (3 курс, осенний семестр 2017 года)
- 14:03, 8 декабря 2017 (разн. | история) . . (+2017) . . Языки описания схем
- 01:02, 8 декабря 2017 (разн. | история) . . (-13) . . Практикум (3 курс, осенний семестр 2017 года)
- 13:49, 4 декабря 2017 (разн. | история) . . (+483) . . Практикум (3 курс, осенний семестр 2017 года)
- 13:45, 4 декабря 2017 (разн. | история) . . (+184) . . Н Файл:Prac 318 algorithms.pdf (практикум на эвм, 3 курс, весенний семестр. проба пера на тему структур данных, алгоритмов и сложности) (текущая)
- 17:52, 29 ноября 2017 (разн. | история) . . (0) . . Файл:Lecture Verification 10.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 10.pdf»)
- 08:14, 29 ноября 2017 (разн. | история) . . (+25) . . м Математические методы верификации схем и программ
- 08:14, 29 ноября 2017 (разн. | история) . . (-161) . . Математические методы верификации схем и программ
- 08:09, 29 ноября 2017 (разн. | история) . . (0) . . Файл:Lecture Verification 10.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 10.pdf»)
- 08:09, 29 ноября 2017 (разн. | история) . . (0) . . Файл:Seminar Verification 10.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 10.pdf»)
- 19:55, 28 ноября 2017 (разн. | история) . . (0) . . Файл:Lecture Verification 9.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 9.pdf»)
- 12:51, 28 ноября 2017 (разн. | история) . . (+127) . . Н Вероятностные и квантовые алгоритмы (Новая страница: «Категория:Лекционные курсы кафедры МК ''Страница ещё не наполнена''»)
- 11:12, 22 ноября 2017 (разн. | история) . . (-289) . . Математические методы верификации схем и программ
- 11:09, 22 ноября 2017 (разн. | история) . . (0) . . Файл:Lecture Verification 9.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 9.pdf»)
- 15:38, 10 ноября 2017 (разн. | история) . . (0) . . Файл:Hdl lecture 19.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 19.pdf»)
- 15:38, 10 ноября 2017 (разн. | история) . . (0) . . Файл:Hdl lecture 18.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 18.pdf»)
- 15:37, 10 ноября 2017 (разн. | история) . . (0) . . Файл:Hdl lecture 17.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 17.pdf»)
- 00:25, 10 ноября 2017 (разн. | история) . . (+123) . . Языки описания схем
- 00:24, 10 ноября 2017 (разн. | история) . . (+122) . . Н Файл:Hdl lecture 19.pdf (языки описания схем. блок 19. verilog: реализация управляющего автомата)
- 23:04, 9 ноября 2017 (разн. | история) . . (+120) . . Н Файл:Hdl lecture 18.pdf (языки описания схем. блок 18. немного синтаксического сахара в Verilog)
- 23:04, 9 ноября 2017 (разн. | история) . . (+119) . . Языки описания схем
- 20:41, 9 ноября 2017 (разн. | история) . . (+125) . . Языки описания схем
- 20:41, 9 ноября 2017 (разн. | история) . . (+124) . . Н Файл:Hdl lecture 17.pdf (языки описания схем. блок 17. как спроектировать управляющий автомат)
- 17:07, 3 ноября 2017 (разн. | история) . . (0) . . Файл:Seminar Verification 8.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 8.pdf»)
- 13:49, 3 ноября 2017 (разн. | история) . . (-55) . . Языки описания схем
- 13:47, 3 ноября 2017 (разн. | история) . . (+180) . . Н Файл:Hdl isa macros.zip (языки описания схем. макроопределения для удобной работы с модельной архитектурой системы команд)
- 13:46, 3 ноября 2017 (разн. | история) . . (+191) . . Н Файл:Hdl sa macros.zip (языки описания схем. макроопределения для более удобной работы с модельной архитектурой системы команд) (текущая)
- 13:15, 3 ноября 2017 (разн. | история) . . (+808) . . Языки описания схем
- 10:03, 3 ноября 2017 (разн. | история) . . (0) . . Файл:Seminar Verification 7.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 7.pdf»)
- 22:53, 2 ноября 2017 (разн. | история) . . (0) . . Файл:Seminar Verification 7.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 7.pdf»)
- 21:11, 31 октября 2017 (разн. | история) . . (0) . . Файл:Lecture Verification 7.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 7.pdf»)
- 19:00, 30 октября 2017 (разн. | история) . . (0) . . Файл:Prac 318 labyrinth.pdf (PodymovVV загружена новая версия «Файл:Prac 318 labyrinth.pdf») (текущая)
- 02:08, 27 октября 2017 (разн. | история) . . (+3291) . . Языки описания схем
- 01:43, 27 октября 2017 (разн. | история) . . (+374) . . Языки описания схем
- 01:41, 27 октября 2017 (разн. | история) . . (+159) . . Н Файл:Hdl lecture 16.pdf (блок 16. модельный процессор: операционный автомат, комбинационный управляющий автомат)
- 01:40, 27 октября 2017 (разн. | история) . . (+126) . . Н Файл:Hdl lecture 15.pdf (языки описания схем. блок 15. как спроектировать операционный автомат)
- 16:17, 25 октября 2017 (разн. | история) . . (0) . . Файл:Prac 318 labyrinth.pdf (PodymovVV загружена новая версия «Файл:Prac 318 labyrinth.pdf»)
- 21:52, 23 октября 2017 (разн. | история) . . (+875) . . Практикум (3 курс, осенний семестр 2017 года)
- 19:21, 23 октября 2017 (разн. | история) . . (0) . . Файл:Prac 318 labyrinth.pdf (PodymovVV загружена новая версия «Файл:Prac 318 labyrinth.pdf»)
- 16:14, 23 октября 2017 (разн. | история) . . (+889) . . Практикум (3 курс, осенний семестр 2017 года)
- 15:50, 23 октября 2017 (разн. | история) . . (+144) . . Н Файл:Prac 318 labyrinth.pdf (практикум для группы 318. первое задание практического блока: робот в лабиринте.)
- 00:55, 20 октября 2017 (разн. | история) . . (+140) . . Языки описания схем
- 00:51, 20 октября 2017 (разн. | история) . . (+139) . . Н Файл:Hdl lecture 14.pdf (языки описания схем. блок 14: понятия операционного и управляющего автоматов)
- 22:12, 19 октября 2017 (разн. | история) . . (+73) . . Языки описания схем
- 22:11, 19 октября 2017 (разн. | история) . . (+102) . . Н Файл:Hdl lecture 13.pdf (языки описания схем. блок 13: немного о стандарте синтеза)
- 16:43, 18 октября 2017 (разн. | история) . . (0) . . Файл:Seminar Verification 4.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 4.pdf»)
- 21:14, 17 октября 2017 (разн. | история) . . (0) . . Файл:Seminar Verification 5.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 5.pdf»)
- 18:19, 17 октября 2017 (разн. | история) . . (-117) . . м Математические методы верификации схем и программ
- 18:19, 17 октября 2017 (разн. | история) . . (0) . . Файл:Seminar Verification 4.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 4.pdf»)
- 19:12, 13 октября 2017 (разн. | история) . . (+250) . . м Языки описания схем
- 19:10, 13 октября 2017 (разн. | история) . . (0) . . Файл:Hdl lecture 12.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 12.pdf»)
- 12:27, 13 октября 2017 (разн. | история) . . (0) . . Файл:Hdl lecture 11.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 11.pdf»)
- 10:17, 13 октября 2017 (разн. | история) . . (+394) . . Языки описания схем
- 10:13, 13 октября 2017 (разн. | история) . . (+127) . . Н Файл:Hdl lecture 12.pdf (языки описания схем. блок 12. процессор: основные функциональные блоки)
- 10:12, 13 октября 2017 (разн. | история) . . (+139) . . Н Файл:Hdl lecture 11.pdf (языки описания схем. блок 11: что такое процессор; архитектура системы команд)
- 11:31, 11 октября 2017 (разн. | история) . . (0) . . Файл:Seminar Verification 1.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 1.pdf»)
- 20:56, 6 октября 2017 (разн. | история) . . (+609) . . Шаблон:Important Announcements (→Объявления)
- 20:55, 6 октября 2017 (разн. | история) . . (+1377) . . Магистерские программы
- 23:15, 5 октября 2017 (разн. | история) . . (+166) . . Языки описания схем
- 23:13, 5 октября 2017 (разн. | история) . . (+75) . . Н Файл:Hdl lecture 10.pdf (языки описания схем. блок 10: практика verilog)
- 23:13, 5 октября 2017 (разн. | история) . . (+97) . . Н Файл:Hdl lecture 09.pdf (языки описания схем. блок 9: функциональная симуляция)
- 15:32, 5 октября 2017 (разн. | история) . . (+551) . . Шаблон:Important Announcements (→Объявления)
- 15:30, 5 октября 2017 (разн. | история) . . (-25) . . м Заглавная страница (→Информация)
- 15:27, 5 октября 2017 (разн. | история) . . (-361) . . Магистерские программы
- 15:05, 5 октября 2017 (разн. | история) . . (+1745) . . Магистерские программы
- 14:31, 5 октября 2017 (разн. | история) . . (-22) . . м Заглавная страница (→Информация)
- 17:57, 4 октября 2017 (разн. | история) . . (-153) . . м Шаблон:Current Seminars (→Доклады на спецсеминарах)
- 17:56, 4 октября 2017 (разн. | история) . . (+2013) . . Шаблон:Current Seminars
- 17:51, 4 октября 2017 (разн. | история) . . (+2158) . . Теоретические проблемы программирования (→2017-18 учебный год)
- 21:05, 2 октября 2017 (разн. | история) . . (+1250) . . Языки описания схем
- 13:53, 1 октября 2017 (разн. | история) . . (0) . . Файл:Hdl lecture 08.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 08.pdf»)
- 16:56, 29 сентября 2017 (разн. | история) . . (0) . . Файл:Hdl lecture 08.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 08.pdf»)
- 09:48, 29 сентября 2017 (разн. | история) . . (-41) . . Математические методы верификации схем и программ
- 09:47, 29 сентября 2017 (разн. | история) . . (0) . . Файл:Seminar Verification 3.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 3.pdf»)
- 09:44, 29 сентября 2017 (разн. | история) . . (0) . . Файл:Seminar Verification 3.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 3.pdf»)
- 09:44, 29 сентября 2017 (разн. | история) . . (0) . . Файл:Seminar Verification 2.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 2.pdf»)
- 01:54, 29 сентября 2017 (разн. | история) . . (+67) . . Языки описания схем
- 01:53, 29 сентября 2017 (разн. | история) . . (+92) . . Н Файл:Hdl lecture 08.pdf (языки описания схем, блок 8. verilog: базовый синтаксис)
- 01:52, 29 сентября 2017 (разн. | история) . . (0) . . Файл:Hdl lecture 07.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture 07.pdf»)
- 01:37, 29 сентября 2017 (разн. | история) . . (0) . . Языки описания схем
- 01:37, 29 сентября 2017 (разн. | история) . . (+93) . . Языки описания схем
- 01:37, 29 сентября 2017 (разн. | история) . . (+91) . . Н Файл:Hdl lecture 07.pdf (языки описания схем, блок 7. базовый синтаксис verilog)
- 16:13, 28 сентября 2017 (разн. | история) . . (0) . . Файл:Hdl task part1.pdf (PodymovVV загружена новая версия «Файл:Hdl task part1.pdf») (текущая)
- 22:46, 27 сентября 2017 (разн. | история) . . (+641) . . Языки описания схем
- 22:41, 27 сентября 2017 (разн. | история) . . (+112) . . Н Файл:Hdl task part1.pdf (первая часть основного задания по курсу "Языки описания схем")
- 07:57, 27 сентября 2017 (разн. | история) . . (0) . . Файл:Seminar Verification 2.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 2.pdf»)
- 16:05, 25 сентября 2017 (разн. | история) . . (+131) . . Языки описания схем
- 16:02, 25 сентября 2017 (разн. | история) . . (0) . . Н Файл:Hdl lecture 06.pdf
- 14:48, 23 сентября 2017 (разн. | история) . . (+96) . . Языки описания схем
- 14:47, 23 сентября 2017 (разн. | история) . . (+96) . . Н Файл:Hdl lecture 05.pdf (языки описания схем. блок 5 (модули, шины, регистры, rtl))
- 13:42, 19 сентября 2017 (разн. | история) . . (+357) . . Участник:PodymovVV
- 12:10, 19 сентября 2017 (разн. | история) . . (+1542) . . Практикум (3 курс, осенний семестр 2017 года)
- 21:43, 15 сентября 2017 (разн. | история) . . (+237) . . Языки описания схем
- 21:40, 15 сентября 2017 (разн. | история) . . (+125) . . Н Файл:Hdl lecture 04.pdf (языки описания схем. блок 4 (последовательные схемы, тактовый сигнал))
- 16:01, 13 сентября 2017 (разн. | история) . . (+328) . . Математические методы верификации схем и программ
- 10:30, 13 сентября 2017 (разн. | история) . . (0) . . Файл:Seminar Verification 1.pdf (PodymovVV загружена новая версия «Файл:Seminar Verification 1.pdf»)
- 18:36, 12 сентября 2017 (разн. | история) . . (-2843) . . Математические методы верификации схем и программ
- 20:15, 11 сентября 2017 (разн. | история) . . (+255) . . м Практикум (3 курс, осенний семестр 2017 года)
- 20:10, 11 сентября 2017 (разн. | история) . . (+1857) . . Практикум (3 курс, осенний семестр 2017 года)
- 19:46, 11 сентября 2017 (разн. | история) . . (+128) . . Н Файл:Prac-318-git-task-tree.pdf (практикум 318 группы, осенний семестр, дерево коммитов для задания по git) (текущая)
- 15:50, 11 сентября 2017 (разн. | история) . . (+2501) . . Н Практикум (3 курс, осенний семестр 2017 года) (Новая страница: «Категория:Семинары кафедры математической кибернетики = Общая информация = * Занятия …»)
- 10:24, 11 сентября 2017 (разн. | история) . . (+49) . . м Математические методы верификации схем и программ
- 22:15, 8 сентября 2017 (разн. | история) . . (+341) . . Языки описания схем
- 22:11, 8 сентября 2017 (разн. | история) . . (+88) . . Н Файл:Hdl lecture 02.pdf (курс "языки описания схем", блок слайдов про кмоп)
- 21:48, 8 сентября 2017 (разн. | история) . . (+105) . . Н Файл:Hdl lecture 01.pdf (вступительный блок слайдов по курсу "языки описания схем")
- 21:41, 8 сентября 2017 (разн. | история) . . (+18) . . м Математические методы верификации схем и программ
- 21:36, 8 сентября 2017 (разн. | история) . . (0) . . Файл:Lecture Verification 2.pdf (PodymovVV загружена новая версия «Файл:Lecture Verification 2.pdf»)
- 17:00, 28 августа 2017 (разн. | история) . . (+22) . . м Языки описания схем
- 14:31, 28 августа 2017 (разн. | история) . . (-231) . . м Языки описания схем
- 12:01, 28 августа 2017 (разн. | история) . . (-3056) . . Языки описания схем
- 15:33, 9 июня 2017 (разн. | история) . . (-28) . . м Математическая логика (318, 319/2, 241, 242)
- 15:32, 9 июня 2017 (разн. | история) . . (0) . . Файл:Mllp exam 2017 318.xls (PodymovVV загружена новая версия «Файл:Mllp exam 2017 318.xls») (текущая)
- 14:29, 9 июня 2017 (разн. | история) . . (+230) . . Математическая логика (318, 319/2, 241, 242)
- 14:28, 9 июня 2017 (разн. | история) . . (0) . . Н Файл:Mllp exam 2017 318.xls
- 13:12, 6 июня 2017 (разн. | история) . . (+212) . . Математическая логика (318, 319/2, 241, 242)
- 14:08, 25 мая 2017 (разн. | история) . . (+468) . . Математическая логика (318, 319/2, 241, 242)
- 23:57, 23 мая 2017 (разн. | история) . . (-339) . . Математическая логика (318, 319/2, 241, 242)
- 00:22, 22 мая 2017 (разн. | история) . . (+4893) . . Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 19:33, 15 мая 2017 (разн. | история) . . (+1969) . . Математическая логика (318, 319/2, 241, 242)
- 18:54, 15 мая 2017 (разн. | история) . . (+853) . . Математическая логика (318, 319/2, 241, 242)
- 18:49, 15 мая 2017 (разн. | история) . . (+153) . . Н Файл:Mathlog 318 lecture 16 17.pdf (мат.логика и логическое программирование, группы 318 и 241, заключительная пара лекций) (текущая)
- 16:26, 15 мая 2017 (разн. | история) . . (+450) . . Математическая логика (318, 319/2, 241, 242)
- 18:21, 25 апреля 2017 (разн. | история) . . (+28) . . м Математическая логика (318, 319/2, 241, 242)
- 18:20, 25 апреля 2017 (разн. | история) . . (+68) . . м Математическая логика (318, 319/2, 241, 242)
- 18:15, 25 апреля 2017 (разн. | история) . . (+217) . . м Математическая логика (318, 319/2, 241, 242)
(новейшие | старейшие) Просмотреть (500 более новые | 500 более старые) (20 | 50 | 100 | 250 | 500)