Суббота, 27.04.2024, 03:15
Приветствую Вас Гость

группа ИВЧТ-11

Форма входа
Меню сайта
Категории раздела
Мини-чат
200
Наш опрос
Придумайте опрос сами и напишите его в гостевой книге!!!
Всего ответов: 7
Статистика

Онлайн всего: 1
Гостей: 1
Пользователей: 0
Главная » Файлы » Математический анализ

C. Шапарев - Математическая логика (дискретка)
[ Скачать с сервера (2.36 Mb) ] 21.02.2011, 20:48
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов.

Дается введение в теорию алгоритмов и вычислимых функций. Содержание разделов книги взаимно связано друг с другом и снабжено большим количеством примеров и решенных задач, помогающих усвоить и закрепить излагаемый материал.
Категория: Математический анализ | Добавил: SerG93 | Теги: Матан, дискретка
Просмотров: 588 | Загрузок: 66
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Праздники
Праздники России
Поиск
Карта