Вклад участника
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 22:26, 16 января 2012 (разн. | история) . . (+89) . . КНФ
- 22:26, 16 января 2012 (разн. | история) . . (+89) . . ДНФ
- 22:26, 16 января 2012 (разн. | история) . . (+89) . . Определение булевой функции
- 22:25, 16 января 2012 (разн. | история) . . (+89) . . Алгоритм Флойда — Уоршалла
- 22:24, 16 января 2012 (разн. | история) . . (+89) . . Транзитивное замыкание
- 22:24, 16 января 2012 (разн. | история) . . (+89) . . Симметричное отношение
- 22:23, 16 января 2012 (разн. | история) . . (+89) . . Рефлексивное отношение
- 22:23, 16 января 2012 (разн. | история) . . (+89) . . Композиция отношений
- 03:25, 15 января 2012 (разн. | история) . . (+76) . . Примитивно рекурсивные функции
- 20:16, 14 января 2012 (разн. | история) . . (+40) . . Тестовая страница
- 20:01, 14 января 2012 (разн. | история) . . (+67) . . Решение задач по логике
- 03:48, 14 января 2012 (разн. | история) . . (+67) . . Геделева нумерация. Арифметизация доказательств
- 03:48, 14 января 2012 (разн. | история) . . (+67) . . Примитивно рекурсивные функции
- 03:48, 14 января 2012 (разн. | история) . . (+68) . . Секвенциальное и интуиционистское исчисление
- 03:48, 14 января 2012 (разн. | история) . . (+67) . . Теории первого порядка
- 03:47, 14 января 2012 (разн. | история) . . (+116) . . 1я и 2я теоремы Геделя о неполноте арифметики
- 03:47, 14 января 2012 (разн. | история) . . (+116) . . Теория множеств
- 03:46, 14 января 2012 (разн. | история) . . (+116) . . Теоретический минимум по математической логике за 3 семестр
- 03:45, 14 января 2012 (разн. | история) . . (+1) . . Теория множеств
- 03:18, 13 января 2012 (разн. | история) . . (0) . . Математическая логика
- 03:17, 13 января 2012 (разн. | история) . . (-1) . . Математическая логика
- 03:16, 13 января 2012 (разн. | история) . . (-103) . . Математическая логика
- 03:15, 13 января 2012 (разн. | история) . . (+67) . . Лемма о дедукции, полнота исчисления высказываний
- 03:15, 13 января 2012 (разн. | история) . . (+67) . . Исчисление высказываний
- 23:30, 12 января 2012 (разн. | история) . . (-10) . . Лемма о дедукции, полнота исчисления высказываний (Отмена правки 16378 участника Proshev (обсуждение))
- 23:30, 12 января 2012 (разн. | история) . . (+10) . . Лемма о дедукции, полнота исчисления высказываний
- 22:59, 12 января 2012 (разн. | история) . . (+1) . . м Категория:Математическая логика
- 22:58, 12 января 2012 (разн. | история) . . (+77) . . Н Категория:Математическая логика (Новая страница: «Главная страница Математическая логика»)
- 22:58, 12 января 2012 (разн. | история) . . (+23) . . Лемма о дедукции, полнота исчисления высказываний
- 22:57, 12 января 2012 (разн. | история) . . (+23) . . Исчисление высказываний
- 22:56, 12 января 2012 (разн. | история) . . (+70) . . Исчисление высказываний
- 22:51, 12 января 2012 (разн. | история) . . (+411) . . Н Обсуждение:Математическая логика (Новая страница: «Может тогда именовать странички не Лекция Номер, а по вопросам сразу? Т.е. вместо Лекция Дв...») (текущая)
- 22:46, 12 января 2012 (разн. | история) . . (+4) . . Математическая логика (Отмена правки 16360 участника Proshev (обсуждение))
- 22:46, 12 января 2012 (разн. | история) . . (-4) . . Математическая логика
- 22:45, 12 января 2012 (разн. | история) . . (+8) . . Математическая логика
- 22:41, 12 января 2012 (разн. | история) . . (-19) . . Матлогика (Перенаправление на Математическая логика) (текущая)
- 22:39, 12 января 2012 (разн. | история) . . (-35) . . Математическая логика (→Экзамен)
- 22:39, 12 января 2012 (разн. | история) . . (-19) . . Заглавная страница
- 22:38, 12 января 2012 (разн. | история) . . (0) . . м Математическая логика (переименовал Математическая логика - 3 семестр в Математическая логика)
- 22:38, 12 января 2012 (разн. | история) . . (+77) . . Н Математическая логика - 3 семестр (переименовал Математическая логика - 3 семестр в Математическая логика) (текущая)
- 22:38, 12 января 2012 (разн. | история) . . (0) . . м Вопросы к экзамену по математической логике за 3 семестр (переименовал Вопросы к экзамену в Вопросы к экзамену по математической логике за 3 семестр)
- 22:38, 12 января 2012 (разн. | история) . . (+139) . . Н Вопросы к экзамену (переименовал Вопросы к экзамену в Вопросы к экзамену по математической логике за 3 семестр) (текущая)
- 22:37, 12 января 2012 (разн. | история) . . (-1) . . Заглавная страница
- 22:37, 12 января 2012 (разн. | история) . . (+67) . . Заглавная страница
- 22:34, 12 января 2012 (разн. | история) . . (0) . . м Математическая логика (переименовал Матлогика в Математическая логика - 3 семестр)
- 22:34, 12 января 2012 (разн. | история) . . (+96) . . Н Матлогика (переименовал Матлогика в Математическая логика - 3 семестр)
- 22:29, 12 января 2012 (разн. | история) . . (+67) . . Вопросы к экзамену по математической логике за 3 семестр
- 22:28, 12 января 2012 (разн. | история) . . (0) . . Математическая логика (→Экзамен)
- 22:27, 12 января 2012 (разн. | история) . . (+35) . . Математическая логика (→Экзамен)
- 22:26, 12 января 2012 (разн. | история) . . (+77) . . Теоретический минимум по математическому анализу за 3 семестр
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
