Логика и компьютер

Main
Languages - General & Miscellaneous Languages - Reference
Логика и компьютер

Логика и компьютер

Алешина Н.А., Анисов А.М., Быстров П.И., и др.

0 / 0

Πόσο σας άρεσε αυτό το βιβλίο;

Ποια είναι η ποιότητα του ληφθέντος αρχείου;

Κατεβάστε το βιβλίο για να αξιολογήσετε την ποιότητά του

Ποια είναι η ποιότητα των ληφθέντων αρχείων;

Κατηγορίες:

Languages - General & Miscellaneous Languages - Reference

Έτος:

1990

Εκδότης:

Наука

Γλώσσα:

russian

Σελίδες:

241

ISBN 10:

5020071560

ISBN 13:

9785020071568

Αρχείο:

DJVU, 5.50 MB

IPFS:

,

russian, 1990

Διαβάστε online

Η μετατροπή σε βρίσκεται σε εξέλιξη

Η μετατροπή σε απέτυχε

Ίσως σας ενδιαφέρει

Таванец П.В. (ред.) — Проблемы логики [Сборник статей]

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

Михайлов А.Б., Рыжова Н.И., Швецкий М.В. — Упражнения по основам математической логики. Формальные системы первого порядка

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

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

Смирнов В.А. (ред.) — Логический вывод. Сборник статей

Таванец П.В. (ред.) — Исследование логических систем [сборник статей]

Таванец П.В. (ред.) — Исследование логических систем

Михайлов А. Б., Швецкий М.В. — Лекции по основам математической логики. Формальные системы первого порядка. Учебное пособие для студентов математического факультета

Михайлов А. Б., Швецкий М.В. — Лекции по основам математической логики. Формальные системы первого порядка. Учебное пособие для студентов математического факультета

Смирнов В.А. — Формальный вывод и логические исчисления

Субботин А. Л. — Традиционная и современная формальная логика

Зыков А.Г., Поляков В.И., Скорубский В.И. — Математическая логика

Леонов В.Е. и др. — Логика и теория аргументации

Зыков А.Г., Поляков В.И., Скорубский В.И. — Математическая логика

Гамова А.Н. — Формальная логика

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

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

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

Михайлов А.Б., Швецкий М.В — Лекции по основам математической логики. Формальные системы первого порядка

Зыков А.Г., Поляков В.И., Скорубский В.И — Математическая логика.

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

Смирнов В.А., и др. (ред.) — Логический вывод. Сборник статей

— Сборник. Исследование логических систем.

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

Чупахин И.Я., Бродский И.Н. (ред.) — Формальная логика

Таванец П.В. (ред.) — Неклассическая логика

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

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

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

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

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

— Пособие по Математической Логике

А. В. Казанцев ; Казанский федеральный ун-т — Элементы математической логики: учебное пособие

Алешина Н.А., Анисов А.М., Быстров П.И., и др. — Логика и компьютер

Φράσεις κλειδιά

программы

программ

программа

множество

исчисления

правильности

множества

рассуждений

допущение

утверждение

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

значения

программирования

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

предикатов

качестве

логические

выполнения

использовать

переменной

переменных

рассуждения

доказать

логического

относительно

построить

секвенции

являются

введения