Вклад участника
(новейшие | старейшие) Просмотреть (20 более новые | 20 более старые) (20 | 50 | 100 | 250 | 500)
- 00:48, 15 февраля 2021 (разн. | история) . . (+191) . . Н Файл:Mathlog 318 b6.pdf (Математическая логика для 318, блок 6: невозможно проверить общезначимость формул логики предикатов в лоб)
- 00:47, 15 февраля 2021 (разн. | история) . . (+197) . . Н Файл:Mathlog 318 b5.pdf (Математическая логика для 318, блок 5: логика предикатов - выполнимость, общезначимость, логическое следствие)
- 17:49, 10 февраля 2021 (разн. | история) . . (+96) . . Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- 01:11, 8 февраля 2021 (разн. | история) . . (+675) . . Математическая логика (318, 319/2, 241, 242)
- 01:04, 8 февраля 2021 (разн. | история) . . (+163) . . Н Файл:Mathlog 318 b4.pdf (Математическая логика для 318, блок 4: формализация утверждения на языке логики предикатов)
- 01:04, 8 февраля 2021 (разн. | история) . . (+187) . . Н Файл:Mathlog 318 b3.pdf (Математическая логика для 318, блок 3: базовые определения (синтаксис и семантика) для логики предикатов)
- 01:03, 8 февраля 2021 (разн. | история) . . (+148) . . Н Файл:Mathlog 318 b2.pdf (Математическая логика для 318, блок 2: базовые определения для логики высказываний)
- 01:03, 8 февраля 2021 (разн. | история) . . (+80) . . Н Файл:Mathlog 318 b1.pdf (Математическая логика для 318, блок 1: вводный)
- 16:03, 4 февраля 2021 (разн. | история) . . (-66) . . Математическая логика (318, 319/2, 241, 242)
- 16:02, 4 февраля 2021 (разн. | история) . . (+4) . . Математическая логика (318, 319/2, 241, 242) (Страница подготовлена к весеннему семестру 2021)
- 16:01, 4 февраля 2021 (разн. | история) . . (+104) . . Математическая логика (318, 319/2, 241, 242)
- 15:39, 4 февраля 2021 (разн. | история) . . (-2677) . . Математическая логика (318, 319/2, 241, 242)
- 12:29, 4 февраля 2021 (разн. | история) . . (-33) . . м Практикум по дискретным структурам
- 21:50, 3 февраля 2021 (разн. | история) . . (+37) . . м Математическая логика (318, 319/2, 241, 242)
- 17:03, 3 февраля 2021 (разн. | история) . . (-2537) . . м Математическая логика (318, 319/2, 241, 242)
- 16:57, 3 февраля 2021 (разн. | история) . . (+211) . . м Математическая логика (318, 319/2, 241, 242) (начало подготовки страницы к семестру 2021-весна)
- 01:05, 3 февраля 2021 (разн. | история) . . (-76) . . м Математическая логика (группы 318, 241) (текущая)
- 11:01, 17 декабря 2020 (разн. | история) . . (-68) . . Языки описания схем
- 11:01, 17 декабря 2020 (разн. | история) . . (0) . . Файл:Hdl lecture aux 05.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture aux 05.pdf») (текущая)
- 11:01, 17 декабря 2020 (разн. | история) . . (0) . . Файл:Hdl lecture aux 04.pdf (PodymovVV загружена новая версия «Файл:Hdl lecture aux 04.pdf») (текущая)
(новейшие | старейшие) Просмотреть (20 более новые | 20 более старые) (20 | 50 | 100 | 250 | 500)