Игошин В.И. Математическая логика и теория алгоритмов

Игошин В.И. Математическая логика и теория алгоритмов

Игошин В.И. Математическая логика и теория алгоритмов : учеб. пособие для студ. высш. учеб. заведений / В. И. Игошин. — 2-е изд., стер. — М., 2008. — 448 с. Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В.И. …

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

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

Гуц А.К. Математическая логика и теория алгоритмов: Учебное пособие. - Омскь, 2003. - 108 с. Учебное пособие посвящено изложению основ математической логики и теории алгоритмов. Основу пособия составляют конспекты лекций, которые читались студентам второго курса отделения компьютерных наук Омского государственного университета в 2002 году.

Читать далее...
Градштейн И.С. Прямая и обратная теоремы. Элементы алгебры логики

Градштейн И.С. Прямая и обратная теоремы. Элементы алгебры логики

Градштейн И.С. Прямая и обратная теоремы. Элементы алгебры логики. Изд.2, перераб. М., 1950. - 1959. 128 с. Весь основной материал в этой книжке не выходит за пределы программы 8-х и 9-х классов, и только некоторые примеры относятся к программе 10-го класса. Книжка рассчитана в первую очередь на любителей математики: учащихся …

Читать далее...
Гохман А. В. и др. Сборник задач по математической логике и алгебре множеств

Гохман А. В. и др. Сборник задач по математической логике и алгебре множеств

А. В. Гохман и др. Сборник задач по математической логике и алгебре множеств. - Изд-во Саратовского университета, 1969. Предлагаемый сборник задач составлен в соответствии с программой университетского курса «Элементы математической логики и алгебры множеств». Первые четыре параграфа посвящены двоичной булевой алгебре и ее применению в теории релейно-контактных схем, а также …

Читать далее...
Гжегорчик А. Популярная логика: Общедоступный очерк логики предложений

Гжегорчик А. Популярная логика: Общедоступный очерк логики предложений

Гжегорчик А. Популярная логика: Общедоступный очерк логики предложений. Пер. с польск. Изд. 3, стереотип.- М., 1979. 112 с. Книга предназначена для того, чтобы удовлетворить возрастающий интерес к математической логике людей, не являющихся специалистами ни в математике, ни в логике. От читателя не требуется ни знания математических фактов, ни привычки к …

Читать далее...
Гиндикин С.Г. Алгебра логики в задачах

Гиндикин С.Г. Алгебра логики в задачах

Гиндикин С.Г. Алгебра логики в задачах. - М., 1972 - 288 с. Содержит следующие разделы: операции над высказываниями, функции алгебры логики, нормальные формы, закон двойственности, арифметические операции в алгебре логики, монотонные функции, функционально замкнутые классы и теорема Поста, общая теория функционально замкнутых классов, схемы на функциональных элементах, релейно-контактные схемы, элементы …

Читать далее...