Главная
Файлы
Теги
Ищу
Обсуждения
О сайте
Топ
Вопросы и ответы (FAQ)
По всему сайту
В разделе
Везде кроме раздела
Search
Email
Пароль
Войти
Зарегистрироваться
Восстановить пароль
FAQ по входу
Войти через:
vk.com
ok.ru
google.com
mail.ru
yandex.ru
Файлы
Академическая и специальная литература
Математика
Математическая логика
Карта раздела
Список файлов
Последние файлы
RSS
Многозначная логика
29
Модальная логика
17
Нечеткая логика
482
Теория доказательств
64
Теория множеств
197
Теория моделей
40
Отфильтровано по типу
Методички и практикумы
отменить фильтр
Отфильтровано по формату
djvu
отменить фильтр
Сортировать файлы
по дате добавления
по заголовку
по популярности
С
Подробнее
Степанова А.А., Плешкова Т.Ю., Гусев Е.Г. Математическая логика и теория алгоритмов
djvu
Раздел:
Математика
→
Математическая логика
Владивосток: Владивостокский государственный университет экономики и сервиса (ВГУЭС), 2010. Алгебра высказываний. Исчисления высказываний. Логика предикатов. Исчисление предикатов. Машины Тьюринга.
№1
1,02 МБ
дата добавления неизвестна
описание отредактировано
11.01.2023 20:23
В этом разделе нет файлов.
Комментарии
22 декабря 2017 в 21:13
в разделе
Математическая логика
#
Как скачать или посмотреть книгу. нет ни одной ссылки как это сделать!
ruslan
22 декабря 2017 в 21:29
в разделе
Математическая логика
#
Какую именно?
Dosia
В этом разделе нет комментариев.
Главная
Наверх
Комментарии