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

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

Пособие представляет курс лекций, освещающий наиболее важные разделы математической логики и теории алгоритмов; в нем рассматриваются элементы теории множеств, аксиоматическое построение исчисления высказываний, исчисления предикатов, теорий первого порядка и их приложения к некоторым системам искус...

Disgrifiad llawn

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Макоха, А. Н. (070)
Fformat:	Книга
Pynciau:	математика логика алгоритм теория упражнение
Mynediad Ar-lein:	Перейти к просмотру издания
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Eitemau Tebyg

Математическая логика и теория алгоритмов учебник
gan: Горюшкин, А. П.

Математическая логика и теория алгоритмов учебное пособие
gan: Вайнштейн, Ю. В.

Математическая логика и теория алгоритмов
gan: Макоха, А. Н., et al.
Cyhoeddwyd: (2018)

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

Математическая логика и теория алгоритмов методические указания к самостоятельной работе

Математическая логика и теория алгоритмов учебное пособие
gan: Михальченко, Г. Е.

Математическая логика и теория алгоритмов учебное пособие
gan: Перемитина, Т. О.

Математическая логика и теория алгоритмов учебное пособие для вузов
gan: Рыбин С. В.
Cyhoeddwyd: (2024)

Математическая логика учебное пособие
gan: Ткаченко, С. В.

Математическая логика и теория алгоритмов учебное пособие
gan: Маньшин, М. Е.

Математическая логика и теория алгоритмов учебное пособие
gan: Балюкевич, Э. Л.

Математическая логика учебное пособие
gan: Унучек, С. А.

Математическая логика и теория алгоритмов учебно-методическое пособие
gan: Мачикина, Е. П.

Математическая логика и теория алгоритмов учебное пособие для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий
gan: Гамова, А. Н.

Математическая логика и теория алгоритмов учебно-методическое пособие
gan: Геут, К. Л.

Математическая логика учебное пособие
gan: Хворостухина, Е. В.

Указания по выполнению РГР по дисциплине «Математическая логика и теория алгоритмов» учебно-методическое пособие
gan: Мачикина, Е. П.

Математическая логика учебное пособие
gan: Алябьева, В. Г.

Математическая логика учебно-методическое пособие
gan: Трунтаева, Т. И.

Логика учебное пособие
gan: Светлов, В. А.

Логика учебное пособие
gan: Шадрин, Д. А.

Логика учебное пособие
gan: Балтовский, Л. В.

Теория алгоритмов учебное пособие
gan: Брыкалова, А. А.

Теория вычислительной сложности учебное пособие
gan: Агибалов, Г. П.

Теория алгоритмов практикум
gan: Поднебесова, Г. Б.

Теория алгоритмов лабораторный практикум
gan: Брыкалова, А. А.

Математическая логика и теория алгоритмов
gan: Блатов И. А.
Cyhoeddwyd: (2017)

Дискретная математика и математическая логика учебное пособие для спо
gan: Шмырин, А. М.

Теория алгоритмов. Основные подходы к формализации алгоритма учебное пособие
gan: Безусова, Т. А.

Математическая логика и теория алгоритмов учебное пособие
gan: Гамова А. Н.
Cyhoeddwyd: (2020)

Математическая логика и теория алгоритмов Учебник
gan: Пруцков А.В

Прикладная логика учебное пособие
gan: Непейвода, Н. Н.

Математическая логика и булевы функции учебно-методическое пособие
gan: Прокопенко, Н. Ю.

Математическая логика учебное пособие
gan: Афанасьев, С. Г.

Лекции по дискретной математике. Математическая логика учебное пособие
gan: Зарипова, Э. Р.

Математическая логика и теория алгоритмов учебное пособие
gan: Вайнштейн Ю. В.
Cyhoeddwyd: (2019)

Математическая логика и теория алгоритмов учебное пособие
gan: Михальченко Г. Е.
Cyhoeddwyd: (2018)

Математическая логика и теория алгоритмов Учебное пособие
gan: Михальченко Г.Е

Математическая логика и теория алгоритмов Учебное пособие
gan: Вайнштейн Ю.В

Математическая логика учебное пособие для спо
gan: Алаев, П. Е.