Все доступные журналы
Общий список журналов сайта Кафедра математической кибернетики. Вы можете отфильтровать результаты по типу журнала, имени участника (учитывается регистр) или затронутой странице (также учитывается регистр).
(новейшие | старейшие) Просмотреть (50 более новые | 50 более старые) (20 | 50 | 100 | 250 | 500)- 00:06, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 03.pdf» (Обновил год)
- 00:06, 29 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 02.pdf» (Обновил год)
- 20:12, 8 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Выставка кафедр Информационный лист.pdf» (Добавлена информация о Рамиле и Владимировой)
- 13:26, 8 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Выставка кафедр Информационный лист.pdf» (Поправлена неточность в наборе ДСА 2021)
- 12:19, 5 октября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Выставка кафедр Информационный лист.pdf» (Для выставки 2021)
- 12:34, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl practice 01.pdf» (Обновлён год на титуле)
- 12:32, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 10.pdf» (Обновлён год на титуле)
- 12:32, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 09.pdf» (Обновлён год на титуле)
- 12:32, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 08.pdf» (Обновлён год на титуле)
- 12:31, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 07.pdf» (Обновлён год на титуле)
- 12:31, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 06.pdf» (Обновлён год на титуле)
- 12:31, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 05.pdf» (Обновлён год на титуле)
- 12:31, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 04.pdf» (Обновлён год на титуле)
- 12:30, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 03.pdf» (Обновлён год на титуле)
- 12:30, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 02.pdf» (Обновлён год на титуле)
- 12:29, 24 сентября 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Hdl lecture 01.pdf» (Обновлён год на титуле)
- 18:27, 20 мая 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b39.pdf» (и ещё пара опечаток поправлена)
- 20:44, 17 мая 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Requirements-kurs-2021.zip»
- 02:58, 17 мая 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b47.pdf» (Математическая логика для 318, блок 47. Проверка моделей относительно логики деревьев вычислений (CTL model checking))
- 02:56, 17 мая 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b46.pdf» (Математическая логика для 318, блок 46. Императивные программы. Формальная верификация программ. Логика Хоара)
- 02:55, 17 мая 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b45.pdf» (Математическая логика для 318, блок 45. Что ещё интересного есть в логике. Формальная верификация)
- 14:48, 15 мая 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b42.pdf» (Поправил один из законов модальных логик)
- 14:43, 15 мая 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b41.pdf» (поправил опечатки)
- 14:40, 15 мая 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b40.pdf» (поправил опечатки)
- 14:35, 15 мая 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b39.pdf» (поправил опечатки)
- 14:29, 15 мая 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b37.pdf» (поправил опечатки)
- 14:22, 15 мая 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b36.pdf» (поправил опечатки)
- 20:31, 2 мая 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b44.pdf» (Математическая логика для 318, блок 44. Темпоральные логики)
- 20:31, 2 мая 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b43.pdf» (Математическая логика для 318, блок 43. Эпистемические логики)
- 20:30, 2 мая 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b42.pdf» (Математическая логика для 318, блок 42. Модальные логики)
- 20:53, 25 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b41.pdf» (Математическая логика для 318, блок 41. Арифметика Пресбургера)
- 20:53, 25 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b40.pdf» (Математическая логика для 318, блок 40. Формальная арифметика и теорема Гёделя о неполноте)
- 17:14, 22 апреля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mllp 318 seminar definability.pdf» (пара новых пунктов, слегка поправленная стилистика)
- 10:51, 21 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:К предзащите 618-2 2021.pdf»
- 10:51, 21 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:К предзащите 418 2021.pdf»
- 22:14, 18 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b39.pdf» (Математическая логика для 318, блок 39. Определения и выразимость)
- 22:13, 18 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b38.pdf» (Математическая логика для 318, блок 38. Арифметические интерпретации и теории)
- 22:12, 18 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b38.pdf» (Математическая логика для 318, блок 35. Арифметические интерпретации и теории)
- 22:11, 18 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b37.pdf» (Математическая логика для 318, блок 37. Основные свойства аксиоматических теорий)
- 22:11, 18 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b36.pdf» (Математическая логика для 318, блок 36. Аксиоматические теории первого порядка. Проблема общезначимости формул в теории)
- 22:00, 18 апреля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b35.pdf» (поправлена опечатка на слайде 3)
- 21:57, 18 апреля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b33.pdf» (поправил небольшие недочёты на предпоследнем слайде)
- 17:29, 11 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b35.pdf» (Математическая логика для 318, блок 35. Теорема Чёрча)
- 17:29, 11 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b34.pdf» (Математическая логика для 318, блок 32. Машины Тьюринга)
- 17:28, 11 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b33.pdf» (Математическая логика для 318, блок 33. Проблемы алгоритмы разрешимость сводимость)
- 17:25, 11 апреля 2021 PodymovVV (обсуждение | вклад) загрузил «Файл:Mathlog 318 b33.pdf» (Математическая логика для 318, блок 32. Проблемы алгоритмы разрешимость сводимость)
- 15:52, 7 апреля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 seminar natural inference.pdf» (и ещё капельку поправил (расположение правил вывода))
- 15:49, 7 апреля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 seminar natural inference.pdf» (поправил несколько слов (чисто стилистика))
- 15:49, 4 апреля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b32.pdf» (случайно залил версию не-handout, поправил)
- 14:31, 4 апреля 2021 PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Mathlog 318 b31.pdf» (поправил недочёт в титуле)
