Математическая логика и теория алгоритмов. Уч.пособ

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

Математическая логика и теория алгоритмов. Уч.пособ

Терехов Д.В., Куценко Д.А.

0 / 0

როგორ მოგეწონათ ეს წიგნი?

როგორი ხარისხისაა ეს ფაილი?

ჩატვირთეთ, ხარისხის შესაფასებლად

როგორი ხარისხისაა ჩატვირთული ფაილი?

კატეგორია:

Mathematics - Applied Mathematics

ენა:

russian

გვერდები:

26

ფაილი:

PDF, 360 KB

IPFS:

,

russian0

ონლაინ წაკითხვა

ჩატვირთვა (pdf, 360 KB)

ხორციელდება კონვერტაციის -ში

კონვერტაციის -ში ვერ მოხერხდა

შესაძლოა დაგაინტერესოთ

Гильберт Д., Аккерман В.(Hilbert D., Ackermann W.) — Основы теоретической логики

Колмогоров А.Н., Драгалин А.Г. — Введение в математическую логику

Новиков П.С. — Элементы математической логики

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

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

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

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

Гордон Е.И. — Лекции по математической логике и теории алгоритмов. Часть 1

Гильберт Давид, Аккерман Вильгельм — Основы теоретической логики

Гильберт Давид, Аккерман Вильгельм — Основы теоретической логики

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

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

Гильберт Д., Аккерман В.(Hilbert D., Ackermann W.) — Основы теоретической логики

Эдельман С.Л. — Математическая логика. Учебное пособие для институтов.

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

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

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

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

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

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

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

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

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

Бродский И.Н. — Элементарное введение в символическую логику

Новиков П.С. — Конструктивная математическая логика с точки зрения классической

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

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

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

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

Плиско В.Е. — Математическая логика. Курс лекций

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

Эдельман С. Л. — Математическая логика

Волохович А.В. — Основные понятия и методы теории формальных систем: Методические указания к изучению курса ''Дискретная математика'' и решению задач

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

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

საკვანძო ფრაზები

предикатов

называется

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

переменных

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

значения

существует

исчисление

переменная

тьюринга

дизъюнктов

множества

множество

переменные

алгоритм

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

дизъюнкт

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

применить

состояние

ухабистая

используется

кванторов

операций

резолюций

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

формальная

кванторы

логического