Математическая логика и теория алгоритмов

Main
Mathematics - Logic
Математическая логика и теория...

Математическая логика и теория алгоритмов

Зюзьков В.М., Шелупанов А.А.

0 / 0

Колко ви харесва тази книга?

Какво е качеството на файла?

Изтеглете книгата за оценка на качеството

Какво е качеството на изтеглените файлове?

ТУСУР, 2001, 154с.
Томский межвузовский центр дистанционного образования (ТУСУР).Содержание:
Основы теории множеств.
Логика высказываний.
Булевы алгебры.
Логика предикатов.
Исчисления.
Теория алгоритмов.
Логические парадоксы.
Многозначные логики.

Категории:

Mathematics - Logic

Език:

russian

Файл:

PDF, 1.81 MB

IPFS:

,

russian0

Четете Онлайн

Преобразуването в се извършва

Преобразуването в е неуспешно

Може да се интересувате от

Ф.К. Алиев, И.А. Юров — Курс лекций по математической логике и теории алгоритмов

А.Н. Макоха, А.В. Шапошников, В.В. Бережной. — Математическая логика и теория алгоритмов.

Троякова Г. А., Монгуш А. С. — Математическая логика: Задачник-практикум для студентов физико-математического факультета

коллектив авторов — Математическая логика и теория алгоритмов: учебное пособие. Специальность 10.05.01 – Компьютерная безопасность. Специализация «Математические методы защиты информации». Квалификация выпускника – специалист

Дехтярь М. И., Дудаков С. М., Карлов Б. Н. — Сборник задач по множествам, булевым функциям и математической логике: Учебное пособие

Блатов И. А., Старожилова О. В. — Математическая логика и теория алгоритмов: Учебное пособие

Гладкий А.В. — Математическая логика

Глухов М.М. — Математическая логика

Столяр А. А. — Элементарное введение в математическую логику. Пособие для учителей

Столяр А. А. — Логическое введение в математику

Глухов М.М., Шишков А.Б. — Математическая логика. Дискретные функции. Теория алгоритмов

Фетисов В.Г., Филиппенко В.И. — Элементы математической логики и теории алгоритмов

Маркин П.М. — Математическая логика

Волосевич А.А. — Теория алгоритмов

Феофанова В.А., Воротников В.И. — Дискретная математика

Замятин А.П. — Математическая логика и теория алгоритмов

Романович В.А. (сост.) — Введение в теорию множеств и математическую логику

Макоха А. Н., Шапошников А. В., Бережной В. В. — Математическая логика и теория алгоритмов

Перемитина Т. О. — Математическая логика и теория алгоритмов

Перемитина Т. О. — Математическая логика и теория алгоритмов

Коллектив авторов — Математика. Дискретная математика

Мощенский В.А. — Лекции по математической логике

Макоха А.Н., Шапошников А.В., Бережной В.В. — Математическая логика и теория алгоритмов

Никольская И.Л. — Математическая логика

Стенюшкина В.А. — Математическая логика и теория алгоритмов: Учебное пособие

Рояк М.Э., Рояк С.Х. — Математическая логика

Коробков С.С. — Элементы математической логики и теории множеств: Учебное пособие

Анкудинов Г.И., Иванова И.В., Бригаднов И.А. — Математическая логика и теория алгоритмов: Рабочая программа, методические указания к изучению дисциплины, задания на контрольные работы

Блатов И.А., Старожилова О.В. — Математическая логика и теория алгоритмов

В. А. Осипова — Основы дискретной математики: учебное пособие для студентов

Осипова В.А. — Основы дискретной математики

Бочаров В.А., Маркин В.И. — Введение в логику

Игошин В.И. — Математическая логика + CD-R

Л. А.Латотин, Ю. А. Макаренков, В. В. Николаева, А. А. Столяр — Математическая логика

Колмогоров А.Н., Драгалин А.Г. — Математическая логика

Най-често използвани термини

отношение

множество

множества

множестве

называется

переменных

высказываний

эквивалентности

доказать

предикатов

определение

натуральных

существует

значений

являются

множеств

переменные

предикаты

следующие

запишите

высказывания

отношения

логических

доказательство

элементы

алгоритм

алгоритмов

алгоритма

докажите

доказательства

символов

исчисления

элементов

высказывание

утверждение

получаем

математической