Bağış 15 Eylül 2024 – 1 Ekim 2024 Bağış toplama hakkında

Математическая логика и теория алгоритмов: учебное пособие

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

Математическая логика и теория алгоритмов: учебное пособие

Ю. В. Вайнштейн, Т. Г. Пенькова, В. И. Вайнштейн

0 / 0

Bu kitabı ne kadar beğendiniz?

İndirilen dosyanın kalitesi nedir?

Kalitesini değerlendirmek için kitabı indirin

İndirilen dosyaların kalitesi nedir?

Yıl:

2019

Yayımcı:

СФУ

Dil:

russian

Sayfalar:

109

ISBN 10:

5763840763

ISBN 13:

9785763840766

Dosya:

PDF, 1.64 MB

IPFS:

,

russian, 2019

Online Oku

'e dönüştürme devam ediyor

dosyasına dönüştürme başarısız oldu

İlginizi çekebilir

Чёрч А. — Введение в математическую логику

Гринченков Д.В., Потоцкий С.И. — Математическая логика и теория алгоритмов для программистов

Верещагин Н.К., Шень А. — Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств

Верещагин Н.К., Шень А. — Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления

Верещагин Н.К., Шень А. — Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции

Верещагин Н.К., Шень А. — Лекции по математической логике и теории алгоритмов

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

Игошин В. И. — Задачи и упражнения по математической логике и теории алгоритмов

Герасимов А.С. — Курс математической логики и теории вычислимости

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

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

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

Сангалова М. Е. — Проектно-ориентированное обучение математической логике: Учебно-методическое пособие

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

Гуц А.К. — Математическая логика и теория алгоритмов

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

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

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

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

Зюзьков В.М., Шелупанов А.А. — Математическая логика и теория алгоритмов

Семичевская Н.П. — Дискретная математика (ИУС)

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

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

Воротников С.М. — Введение в математическую логику

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

Блатов И. А. — Конспект лекций по учебной дисциплине «Математическая логика и теория алгоритмов»

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

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

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

Блатов И. А. — Математическая логика и теория алгоритмов (240,00 руб.)

Коллектив авторов — Вайнштейн, Юлия Владимировна. Математическая логика и теория алгоритмов

Корнеева Н. Н. (Наталья Николаевна) — Математическая логика: конспект лекций

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

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

Терехов Д.В., Куценко Д.А. — Математическая логика и теория алгоритмов. Уч.пособ

Радаев В.Н. — Математическая логика и основы теории алгоритмов: Программа курса

Анкудинов Г.И., Анкудинов И.Г., Петухов О.А. — Математическая логика и теория алгоритмов: Учебное пособие. - 2-е изд.

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

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

Новак В., Перфильева И., Мочкорж И. (Novak V., Perfilieva I., Mockor J.) — Математические принципы нечеткой логики

Битюцкий В.П., Папуловская Н.В. — Математическая логика. Исчисления высказываний и предикатов

Бочаров В.А., Маркин В.И. — Основы логики

Anahtar ifadeler

алгоритмов

переменных

математическая

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

тьюринга

называется

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

предикатов

истинности

следовательно

значения

логических

переменной

значений

алгоритм

применить

доказать

формальные

логической

рассмотрим

следующие

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

функцией

множество

отрицание

следующих

называют

операций

переменная

переменные

исчисление

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

отрицания

являются