Четвер, 17.07.2025, 11:51
Головна Реєстрація Вхід
Вітаю Вас, прохожий · RSS
Меню сайту
Категорії розділу
матаналіз [0]
Вінда_етк. [1]
Вебмайстру [0]
Програмування [5]
Операційні системи [0]
Теорія імовірності [1]
Мат_логіка [1]
Розвязування олімпіадних задач [1]
мат_статистика [1]
Пошук
 Каталог файлов
Головна » Файли » Книжки » Мат_логіка
А. Н. Колмогоров, А. Г. Драгалин - Математическая логика
18.11.2008, 10:08
теорема о полноте исчисления предикатов, теорема Геделя о неполноте. Обсуждается программа Гильберта обоснования математики.
Категорія: Мат_логіка | Додав: org100h
Переглядів: 773 | Завантажень: 2 | Рейтинг: 0.0/0
Всього коментарів: 0
Додавати коментарі можуть лише зареєстровані користувачі.
[ Реєстрація | Вхід ]
Copyright MyCorp © 2025
Вхід
Якась фіхня
МВІ
НАВЧАЛЬНА ПРОГРАМА ДЛЯ УЧНІВ 9-12 КЛАСІВ АКАДЕМІЧНИЙ РІВЕНЬ (0) (2)
МВІ
НАВЧАЛЬНА ПРОГРАМА ДЛЯ УЧНІВ 9-12 КЛАСІВ РІВЕНЬ СТАНДАРТУ (0) (1)
МВІ
Програма курсу «Основи інформатики. 7 клас» (0) (3)
МВІ
Програма курсу „Основи інформатики. 8 клас” (0) (5)
Утиліти
Пакет макрокоманд для текстового редактора Microsoft Word "Верстка" (1) (1)
Хостинг від uCoz