Вклад участника

(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)

• 12:31, 24 сентября 2021 (разн. | история) . . (0)‎ . . Файл:Hdl lecture 04.pdf ‎ (PodymovVV загружена новая версия «Файл:Hdl lecture 04.pdf») (текущая)
• 12:30, 24 сентября 2021 (разн. | история) . . (0)‎ . . Файл:Hdl lecture 03.pdf ‎ (PodymovVV загружена новая версия «Файл:Hdl lecture 03.pdf») (текущая)
• 12:30, 24 сентября 2021 (разн. | история) . . (0)‎ . . Файл:Hdl lecture 02.pdf ‎ (PodymovVV загружена новая версия «Файл:Hdl lecture 02.pdf») (текущая)
• 12:29, 24 сентября 2021 (разн. | история) . . (0)‎ . . Файл:Hdl lecture 01.pdf ‎ (PodymovVV загружена новая версия «Файл:Hdl lecture 01.pdf») (текущая)
• 20:08, 2 сентября 2021 (разн. | история) . . (0)‎ . . м Языки описания схем ‎
• 18:27, 20 мая 2021 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 b39.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 b39.pdf»)
• 20:52, 17 мая 2021 (разн. | история) . . (+384)‎ . . Шаблон:Important Announcements ‎
• 20:44, 17 мая 2021 (разн. | история) . . (0)‎ . . Н Файл:Requirements-kurs-2021.zip ‎ (текущая)
• 03:09, 17 мая 2021 (разн. | история) . . (+1150)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 02:58, 17 мая 2021 (разн. | история) . . (+195)‎ . . Н Файл:Mathlog 318 b47.pdf ‎ (Математическая логика для 318, блок 47. Проверка моделей относительно логики деревьев вычислений (CTL model checking))
• 02:56, 17 мая 2021 (разн. | история) . . (+197)‎ . . Н Файл:Mathlog 318 b46.pdf ‎ (Математическая логика для 318, блок 46. Императивные программы. Формальная верификация программ. Логика Хоара)
• 02:55, 17 мая 2021 (разн. | история) . . (+173)‎ . . Н Файл:Mathlog 318 b45.pdf ‎ (Математическая логика для 318, блок 45. Что ещё интересного есть в логике. Формальная верификация)
• 14:48, 15 мая 2021 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 b42.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 b42.pdf»)
• 14:43, 15 мая 2021 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 b41.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 b41.pdf»)
• 14:40, 15 мая 2021 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 b40.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 b40.pdf»)
• 14:35, 15 мая 2021 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 b39.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 b39.pdf»)
• 14:29, 15 мая 2021 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 b37.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 b37.pdf»)
• 14:22, 15 мая 2021 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 b36.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 b36.pdf»)
• 08:31, 7 мая 2021 (разн. | история) . . (+30)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 20:40, 2 мая 2021 (разн. | история) . . (+57)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 20:31, 2 мая 2021 (разн. | история) . . (+104)‎ . . Н Файл:Mathlog 318 b44.pdf ‎ (Математическая логика для 318, блок 44. Темпоральные логики)
• 20:31, 2 мая 2021 (разн. | история) . . (+108)‎ . . Н Файл:Mathlog 318 b43.pdf ‎ (Математическая логика для 318, блок 43. Эпистемические логики)
• 20:30, 2 мая 2021 (разн. | история) . . (+98)‎ . . Н Файл:Mathlog 318 b42.pdf ‎ (Математическая логика для 318, блок 42. Модальные логики)
• 21:01, 25 апреля 2021 (разн. | история) . . (-1049)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 20:53, 25 апреля 2021 (разн. | история) . . (+110)‎ . . Н Файл:Mathlog 318 b41.pdf ‎ (Математическая логика для 318, блок 41. Арифметика Пресбургера)
• 20:53, 25 апреля 2021 (разн. | история) . . (+161)‎ . . Н Файл:Mathlog 318 b40.pdf ‎ (Математическая логика для 318, блок 40. Формальная арифметика и теорема Гёделя о неполноте)
• 17:16, 22 апреля 2021 (разн. | история) . . (+110)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 17:14, 22 апреля 2021 (разн. | история) . . (0)‎ . . Файл:Mllp 318 seminar definability.pdf ‎ (PodymovVV загружена новая версия «Файл:Mllp 318 seminar definability.pdf») (текущая)
• 10:55, 21 апреля 2021 (разн. | история) . . (+589)‎ . . Шаблон:Important Announcements ‎
• 10:51, 21 апреля 2021 (разн. | история) . . (0)‎ . . Н Файл:К предзащите 618-2 2021.pdf ‎ (текущая)
• 10:51, 21 апреля 2021 (разн. | история) . . (0)‎ . . Н Файл:К предзащите 418 2021.pdf ‎ (текущая)
• 22:26, 18 апреля 2021 (разн. | история) . . (+1700)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 22:14, 18 апреля 2021 (разн. | история) . . (+115)‎ . . Н Файл:Mathlog 318 b39.pdf ‎ (Математическая логика для 318, блок 39. Определения и выразимость)
• 22:13, 18 апреля 2021 (разн. | история) . . (+138)‎ . . Н Файл:Mathlog 318 b38.pdf ‎ (Математическая логика для 318, блок 38. Арифметические интерпретации и теории)
• 22:11, 18 апреля 2021 (разн. | история) . . (+144)‎ . . Н Файл:Mathlog 318 b37.pdf ‎ (Математическая логика для 318, блок 37. Основные свойства аксиоматических теорий)
• 22:11, 18 апреля 2021 (разн. | история) . . (+216)‎ . . Н Файл:Mathlog 318 b36.pdf ‎ (Математическая логика для 318, блок 36. Аксиоматические теории первого порядка. Проблема общезначимости формул в теории)
• 22:00, 18 апреля 2021 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 b35.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 b35.pdf»)
• 21:57, 18 апреля 2021 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 b33.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 b33.pdf»)
• 20:57, 15 апреля 2021 (разн. | история) . . (+141)‎ . . Заглавная страница ‎ (→‎Информация)
• 17:35, 11 апреля 2021 (разн. | история) . . (+362)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 17:29, 11 апреля 2021 (разн. | история) . . (+92)‎ . . Н Файл:Mathlog 318 b35.pdf ‎ (Математическая логика для 318, блок 35. Теорема Чёрча)
• 17:29, 11 апреля 2021 (разн. | история) . . (+96)‎ . . Н Файл:Mathlog 318 b34.pdf ‎ (Математическая логика для 318, блок 32. Машины Тьюринга)
• 17:28, 11 апреля 2021 (разн. | история) . . (+148)‎ . . Н Файл:Mathlog 318 b33.pdf ‎ (Математическая логика для 318, блок 33. Проблемы алгоритмы разрешимость сводимость)
• 15:52, 7 апреля 2021 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 seminar natural inference.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 seminar natural inference.pdf»)
• 15:49, 7 апреля 2021 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 seminar natural inference.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 seminar natural inference.pdf»)
• 15:49, 4 апреля 2021 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 b32.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 b32.pdf»)
• 15:01, 4 апреля 2021 (разн. | история) . . (+67)‎ . . м Математическая логика (318, 319/2, 241, 242) ‎
• 14:47, 4 апреля 2021 (разн. | история) . . (0)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 14:47, 4 апреля 2021 (разн. | история) . . (+1089)‎ . . Математическая логика (318, 319/2, 241, 242) ‎
• 14:31, 4 апреля 2021 (разн. | история) . . (0)‎ . . Файл:Mathlog 318 b31.pdf ‎ (PodymovVV загружена новая версия «Файл:Mathlog 318 b31.pdf»)

(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)