Дискретная математика, мат. логика, теория алгоритмов, численные методы

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

Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов / В. И. Игошин. — 3-е изд., стер. — М. : Издательский центр «Академия», 2007. — 304 с. Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные …

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

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

01.08.201328.05.2020

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

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

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

01.08.201319.11.2019

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

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

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

01.08.201328.05.2020

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

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

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

01.08.201328.05.2020

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

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

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

30.07.201328.05.2020

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

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

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

30.07.201328.05.2020

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

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

Галиев Ш. И. Математическая логика и теория алгоритмов ОНЛАЙН

30.07.201328.05.2020

Галиев Ш. И. Математическая логика и теория алгоритмов. - Казань: Издательство КГТУ им. А. Н. Туполева. 2002. - 270 с. Пособие содержит следующие разделы. Логику высказываний и предикатов с приложениями, в том числе метод резолюций и элементы его реализации в языке ПРОЛОГ. Классические исчисления (высказываний и предикатов) и элементы неклассических …