Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> Математика
----> основания математики и математическая логика
------> вычисления, алгоритмы и вычислимые (рекурсивные) функции. Булевы функции
Печать списка
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
30 из 31
Доступно
1 из 1
Доступно
1 из 1
Доступно
5 из 6
Доступно
2 из 2
Доступно
1 из 3
Доступно
2 из 2
Доступно
2 из 4
Доступно
1 из 1
Доступно
2 из 2
Доступно
3 из 3
Доступно
4 из 5
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
10 из 10
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
14 из 20
Доступно
3 из 3
Доступно
1 из 1
Доступно
17 из 17
Доступно
3 из 5
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
2 из 2
Доступно
1 из 1
Доступно
3 из 3
Доступно
2 из 2
Доступно
1 из 1
Доступно
5 из 6
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 4
Доступно
1 из 1
Доступно
2 из 2
Доступно
2 из 3
Доступно
2 из 2
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
193 из 198
Доступно
2 из 2
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Доступно
1 из 1
Доступно
1 из 1
Доступно
109 из 110
Доступно
1 из 1
Доступно
2 из 2
Доступно
2 из 3
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
19 из 20
Доступно
1 из 1
Доступно
7 из 8
Доступно
6 из 6
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 2
Доступно
79 из 80
Доступно
2 из 2
Доступно
1 из 1
Доступно
22 из 22
Доступно
36 из 36
Доступно
1 из 1
Доступно
3 из 3
--> Математика
----> основания математики и математическая логика
------> вычисления, алгоритмы и вычислимые (рекурсивные) функции. Булевы функции
Рубрика
- Название:
- вычисления, алгоритмы и вычислимые (рекурсивные) функции. Булевы функции
Печать списка
Связанные описания:


Доступно
1 из 1
Книга
Гольденберг, Л. М.
Алгоритмика и точность вычислительных процессов. Ч.1: учебное пособие
1968 г.
ISBN отсутствует
Гольденберг, Л. М.
Алгоритмика и точность вычислительных процессов. Ч.1: учебное пособие
1968 г.
ISBN отсутствует

Доступно
1 из 1
Книга
Гольденберг, Л. М.
Алгоритмика и точность вычислительных процессов. Ч.2: учебное пособие
1968 г.
ISBN отсутствует
Гольденберг, Л. М.
Алгоритмика и точность вычислительных процессов. Ч.2: учебное пособие
1968 г.
ISBN отсутствует

Доступно
2 из 2

Доступно
1 из 1
Книга
Косовская, Т. М.
Алгоритмы и анализ их сложности: учебное пособие
Ай Пи Ар Медиа, 2023 г.
ISBN 978-5-4497-1855-6
Косовская, Т. М.
Алгоритмы и анализ их сложности: учебное пособие
Ай Пи Ар Медиа, 2023 г.
ISBN 978-5-4497-1855-6

Доступно
30 из 31
Книга
Трахтенброт, Б. А.
Алгоритмы и вычислительные автоматы
Советское радио, 1974 г.
ISBN отсутствует
Трахтенброт, Б. А.
Алгоритмы и вычислительные автоматы
Советское радио, 1974 г.
ISBN отсутствует

Доступно
1 из 1

Доступно
1 из 1

Доступно
5 из 6

Доступно
2 из 2

Доступно
1 из 3

Доступно
2 из 2

Доступно
2 из 4
Книга
Гашков, С. Б.
Арифметика. Алгоритмы. Сложность вычислений: Популярное введение в теорию чисел и арифметическую теорию сложности
Наука, 1996 г.
ISBN 5-02-015219-6
Гашков, С. Б.
Арифметика. Алгоритмы. Сложность вычислений: Популярное введение в теорию чисел и арифметическую теорию сложности
Наука, 1996 г.
ISBN 5-02-015219-6

Доступно
1 из 1
Книга
Гашков, С. Б.
Арифметика. Алгоритмы. Сложность вычислений: Учебное пособие для вузов
Высшая школа, 2000 г.
ISBN 5-06-003613-8
Гашков, С. Б.
Арифметика. Алгоритмы. Сложность вычислений: Учебное пособие для вузов
Высшая школа, 2000 г.
ISBN 5-06-003613-8

Доступно
2 из 2
Книга
Яглома, И. М
Булева структура и ее модели
ISBN отсутствует
Яглома, И. М
Булева структура и ее модели
Серия: Кибернетика
Советское радио, 1980 г.ISBN отсутствует

Доступно
3 из 3

Доступно
4 из 5
Книга
Логачев, О. А.
Булевы функции в теории кодирования и криптологии: Информационная безопасность: Криптография
МЦНМО, 2004 г.
ISBN 5-940571-17-4
Логачев, О. А.
Булевы функции в теории кодирования и криптологии: Информационная безопасность: Криптография
МЦНМО, 2004 г.
ISBN 5-940571-17-4

Доступно
2 из 2

Доступно
1 из 1

Доступно
1 из 1

Доступно
1 из 1
Книга
Вопросы анализа вычислительной сложности алгоритмов: [сборник статей]
Ин-т кибернетики АН УССР, 1979 г.
ISBN отсутствует
Вопросы анализа вычислительной сложности алгоритмов: [сборник статей]
Ин-т кибернетики АН УССР, 1979 г.
ISBN отсутствует

Доступно
10 из 10

Доступно
1 из 1
Книга
Вычислительные системы. Сборник научных трудов. Вып.165 : Структурные и сложностные проблемы вычи...: Сборник статей
1999 г.
ISBN отсутствует
Вычислительные системы. Сборник научных трудов. Вып.165 : Структурные и сложностные проблемы вычи...: Сборник статей
1999 г.
ISBN отсутствует

Доступно
2 из 2
Книга
Авдошин, С. М.
Дискретная математика. Алгоритмы: теория и практика
ДМК Пресс, 2019 г.
ISBN 978-5-97060-688-9
Авдошин, С. М.
Дискретная математика. Алгоритмы: теория и практика
ДМК Пресс, 2019 г.
ISBN 978-5-97060-688-9

Доступно
1 из 1
Книга
Береснев, В. Л.
Дискретные задачи размещения и полиномы от булевых переменных
Изд-во Ин-та математики им. С.Л. Соболева СО РАН, 2005 г.
ISBN 5-86134-129-X
Береснев, В. Л.
Дискретные задачи размещения и полиномы от булевых переменных
Изд-во Ин-та математики им. С.Л. Соболева СО РАН, 2005 г.
ISBN 5-86134-129-X

Доступно
1 из 1
Книга
Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов: учебное пособие для вузов по специальностям в области 090100 "Информационная безопасность"
Лань-Пресс, 2008 г.
ISBN 978-5-8114-0853-5
Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов: учебное пособие для вузов по специальностям в области 090100 "Информационная безопасность"
Лань-Пресс, 2008 г.
ISBN 978-5-8114-0853-5

Доступно
14 из 20
Книга
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 2009 г.
ISBN 978-5-9221-0026-7
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 2009 г.
ISBN 978-5-9221-0026-7

Доступно
3 из 3
Книга
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 2004 г.
ISBN 5-922100-26-2
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 2004 г.
ISBN 5-922100-26-2

Доступно
1 из 1
Книга
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 2001 г.
ISBN 5-922100-26-2
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 2001 г.
ISBN 5-922100-26-2

Доступно
17 из 17
Книга
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1984 г.
ISBN отсутствует
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1984 г.
ISBN отсутствует

Доступно
3 из 5
Книга
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 1995 г.
ISBN отсутствует
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Физматлит, 1995 г.
ISBN отсутствует

Доступно
1 из 1
Книга
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1975 г.
ISBN отсутствует
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1975 г.
ISBN отсутствует

Доступно
1 из 1

Доступно
2 из 2

Доступно
2 из 2
Книга
Кокс, Д.
Идеалы, многообразия и алгоритмы: Введение в вычислительные аспекты алгебраической геометрии и ко...
Мир, 2000 г.
ISBN 5-03-003320-3
Кокс, Д.
Идеалы, многообразия и алгоритмы: Введение в вычислительные аспекты алгебраической геометрии и ко...
Мир, 2000 г.
ISBN 5-03-003320-3

Доступно
1 из 1

Доступно
3 из 3

Доступно
2 из 2

Доступно
1 из 1
Книга
Валиев, К. А.
Квантовые компьютеры: Надежды и реальность
ISBN 5-939720-24-2
Валиев, К. А.
Квантовые компьютеры: Надежды и реальность
Серия: Науки о Земле
РХД, 2001 г.ISBN 5-939720-24-2

Доступно
5 из 6

Доступно
2 из 2
Книга
Квантовый компьютер & квантовые вычисления . Т.2
Ред-я журн. "Регулярная и хаотическая динамика", 1999 г.
ISBN 5-89806-025-1
Квантовый компьютер & квантовые вычисления . Т.2
Ред-я журн. "Регулярная и хаотическая динамика", 1999 г.
ISBN 5-89806-025-1

Доступно
1 из 1
Книга
Стрыгин, В. З.
Классы булевых функций, имеющих полиномиальные алгоритмы минимизации
ЦАГИ, 1990 г.
ISBN отсутствует
Стрыгин, В. З.
Классы булевых функций, имеющих полиномиальные алгоритмы минимизации
ЦАГИ, 1990 г.
ISBN отсутствует

Доступно
1 из 1
Книга
Верещагин, Н. К.
Колмогоровская сложность и алгоритмическая случайность
МЦНМО, 2013 г.
ISBN 978-5-4439-0212-8
Верещагин, Н. К.
Колмогоровская сложность и алгоритмическая случайность
МЦНМО, 2013 г.
ISBN 978-5-4439-0212-8

Доступно
2 из 4
Книга
Герасимов, А. С.
Курс математической логики и теории вычислимости: учебное пособие
Лань-Пресс, 2014 г.
ISBN 978-5-8114-1666-0
Герасимов, А. С.
Курс математической логики и теории вычислимости: учебное пособие
Лань-Пресс, 2014 г.
ISBN 978-5-8114-1666-0

Доступно
1 из 1

Доступно
2 из 2
Книга
Босс, В.
Лекции по математике. Т.6. От Диофанта до Тьюринга
Эдиториал УРСС, 2010 г.
ISBN 978-5-484-01204-6
Босс, В.
Лекции по математике. Т.6. От Диофанта до Тьюринга
Эдиториал УРСС, 2010 г.
ISBN 978-5-484-01204-6

Доступно
2 из 3
Книга
Босс, В.
Лекции по математике. Т.6. От Диофанта до Тьюринга
Эдиториал УРСС, 2006 г.
ISBN 5-484-00463-2
Босс, В.
Лекции по математике. Т.6. От Диофанта до Тьюринга
Эдиториал УРСС, 2006 г.
ISBN 5-484-00463-2

Доступно
2 из 2
Книга
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов: Ч.3. Вычислимые функции
МЦНМО, 1999 г.
ISBN 5-900916-39-1
Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов: Ч.3. Вычислимые функции
МЦНМО, 1999 г.
ISBN 5-900916-39-1

Доступно
2 из 2

Доступно
1 из 1
Книга
Гуц, А. К.
Математическая логика и теория алгоритмов
Эдиториал УРСС, 2009 г.
ISBN 978-5-397-00056-7
Гуц, А. К.
Математическая логика и теория алгоритмов
Эдиториал УРСС, 2009 г.
ISBN 978-5-397-00056-7

Доступно
1 из 1
Книга
Игошин, В. И.
Математическая логика и теория алгоритмов: учебное пособие для вузов по специальности 032100 "Математика"
Академия, 2004 г.
ISBN 5-7695-1363-2
Игошин, В. И.
Математическая логика и теория алгоритмов: учебное пособие для вузов по специальности 032100 "Математика"
Академия, 2004 г.
ISBN 5-7695-1363-2

Доступно
1 из 1
Книга
Судоплатов, С. В.
Математическая логика и теория алгоритмов: [учебник]
ISBN 978-5-7782-1838-3
Судоплатов, С. В.
Математическая логика и теория алгоритмов: [учебник]
Серия: Учебники НГТУ
Изд-во НГТУ, 2012 г.ISBN 978-5-7782-1838-3

Доступно
193 из 198

Доступно
2 из 2
Книга
Игошин, В. И.
Математическая логика и теория алгоритмов: учебное пособие для вузов по специальности "Математика"
Академия, 2010 г.
ISBN 978-5-7695-7045-2
Игошин, В. И.
Математическая логика и теория алгоритмов: учебное пособие для вузов по специальности "Математика"
Академия, 2010 г.
ISBN 978-5-7695-7045-2

Доступно
1 из 1

Доступно
2 из 2

Доступно
1 из 1
Книга
Методы дискретного анализа в изучении булевых функций и графиков: сборник научных трудов №48
АН СССР. Сиб. отд-ние. Ин-т математики, 1989 г.
ISBN отсутствует
Методы дискретного анализа в изучении булевых функций и графиков: сборник научных трудов №48
АН СССР. Сиб. отд-ние. Ин-т математики, 1989 г.
ISBN отсутствует

Доступно
1 из 1
Книга
Методы дискретного анализа в изучении булевых функций и графиков: сборник трудов №37
АН СССР. Сиб. отд-ние. Ин-т математики, 1981 г.
ISBN отсутствует
Методы дискретного анализа в изучении булевых функций и графиков: сборник трудов №37
АН СССР. Сиб. отд-ние. Ин-т математики, 1981 г.
ISBN отсутствует

Доступно
1 из 1

Экз. чит. зала

Доступно
1 из 1

Доступно
1 из 1
Книга
Нигматулин, Р. Г.
Нижние оценки сложности и сложность универсальных схем
Изд-во Казанск. ун-та, 1990 г.
ISBN отсутствует
Нигматулин, Р. Г.
Нижние оценки сложности и сложность универсальных схем
Изд-во Казанск. ун-та, 1990 г.
ISBN отсутствует

Доступно
109 из 110
Книга
Нарышкин, А. К.
Основы алгебры логики: Учебное пособие по курсу "Цифровые устройства и микропроцессоры" по направлению "Радиотехника"
Изд-во МЭИ, 2002 г.
ISBN 5-7046-0767-5
Нарышкин, А. К.
Основы алгебры логики: Учебное пособие по курсу "Цифровые устройства и микропроцессоры" по направлению "Радиотехника"
Изд-во МЭИ, 2002 г.
ISBN 5-7046-0767-5

Доступно
1 из 1
Книга
Агеев, М. И.
Основы алгоритмического языка АЛГОЛ-60. Выпуск 1
Вычислит. центр АН СССР, 1965 г.
ISBN отсутствует
Агеев, М. И.
Основы алгоритмического языка АЛГОЛ-60. Выпуск 1
Вычислит. центр АН СССР, 1965 г.
ISBN отсутствует

Доступно
2 из 2

Доступно
2 из 3
Книга
Косовский, Н. К.
Основы теории элементарных алгоритмов: учебное пособие для среднего специального образования
Изд-во Ленингр. ун-та, 1987 г.
ISBN отсутствует
Косовский, Н. К.
Основы теории элементарных алгоритмов: учебное пособие для среднего специального образования
Изд-во Ленингр. ун-та, 1987 г.
ISBN отсутствует

Доступно
1 из 1
Книга
Зуев, Ю. А.
По океану дискретной математики. От перечислительной комбинаторики до современной криптографии. Т...
Эдиториал УРСС, 2012 г.
ISBN 978-5-397-02785-4
Зуев, Ю. А.
По океану дискретной математики. От перечислительной комбинаторики до современной криптографии. Т...
Эдиториал УРСС, 2012 г.
ISBN 978-5-397-02785-4

Доступно
1 из 1
Книга
Зуев, Ю. А.
По океану дискретной математики: От перечислительной комбинаторики до современной криптографии. Т...
Эдиториал УРСС, 2012 г.
ISBN 978-5-397-02786-1
Зуев, Ю. А.
По океану дискретной математики: От перечислительной комбинаторики до современной криптографии. Т...
Эдиториал УРСС, 2012 г.
ISBN 978-5-397-02786-1

Доступно
1 из 1
Книга
Закревский, А. Д.
Полиномиальная реализация частичных булевых функций и систем
Эдиториал УРСС, 2012 г.
ISBN 978-5-354-01418-7
Закревский, А. Д.
Полиномиальная реализация частичных булевых функций и систем
Эдиториал УРСС, 2012 г.
ISBN 978-5-354-01418-7

Доступно
1 из 1
Книга
Закревский, А. Д.
Полиномиальная реализация частичных булевых функций и систем
Эдиториал УРСС, 2003 г.
ISBN отсутствует
Закревский, А. Д.
Полиномиальная реализация частичных булевых функций и систем
Эдиториал УРСС, 2003 г.
ISBN отсутствует

Доступно
1 из 1
Книга
Антамошкин, А. Н.
Регулярная оптимизация псевдобулевых функций
Изд-во Красноярского ун-та, 1989 г.
ISBN отсутствует
Антамошкин, А. Н.
Регулярная оптимизация псевдобулевых функций
Изд-во Красноярского ун-та, 1989 г.
ISBN отсутствует

Доступно
1 из 1

Доступно
1 из 1

Доступно
1 из 1
Книга
Горанский, Г. К.
Синтез минимизированных граф-схем алгоритмов выбора решений из множества возможных вариантов
Ин-т техн. кибернетики АН БССР, 1968 г.
ISBN отсутствует
Горанский, Г. К.
Синтез минимизированных граф-схем алгоритмов выбора решений из множества возможных вариантов
Ин-т техн. кибернетики АН БССР, 1968 г.
ISBN отсутствует

Доступно
1 из 1
Книга
Шурыгин, В. А.
Сложностный метод теории алгоритмов
Эдиториал УРСС, 2009 г.
ISBN 978-5-397-00185-4
Шурыгин, В. А.
Сложностный метод теории алгоритмов
Эдиториал УРСС, 2009 г.
ISBN 978-5-397-00185-4

Доступно
1 из 1
Книга
Нигматуллин, Р. Г.
Сложность булевых функций
Изд-во Казанского гос. ун-та, 1983 г.
ISBN отсутствует
Нигматуллин, Р. Г.
Сложность булевых функций
Изд-во Казанского гос. ун-та, 1983 г.
ISBN отсутствует

Доступно
19 из 20

Доступно
1 из 1
Книга
Поттосин, Ю. В.
Табличные методы декомпозиции систем полностью определенных булевых функций
Беларуская навука, 2006 г.
ISBN 985-08-0732-6
Поттосин, Ю. В.
Табличные методы декомпозиции систем полностью определенных булевых функций
Беларуская навука, 2006 г.
ISBN 985-08-0732-6

Доступно
7 из 8
Книга
Кокин, А. А.
Твердотельные квантовые компьютеры на ядерных спинах
Ин-т компьют. исслед., 2004 г.
ISBN 5-939723-19-5
Кокин, А. А.
Твердотельные квантовые компьютеры на ядерных спинах
Ин-т компьют. исслед., 2004 г.
ISBN 5-939723-19-5

Доступно
6 из 6

Доступно
1 из 1
Книга
Фалевич, Б. Я.
Теория алгоритмов: учебное пособие для вузов по направлению "Информатика и вычислительная техника"
Машиностроение, 2004 г.
ISBN 5-217-03249-9
Фалевич, Б. Я.
Теория алгоритмов: учебное пособие для вузов по направлению "Информатика и вычислительная техника"
Машиностроение, 2004 г.
ISBN 5-217-03249-9

Доступно
1 из 1
Книга
Игошин, В. И.
Теория алгоритмов: учебное пособие для вузов по специальности 050201.65 "Математика"
ISBN 978-5-16-005205-2
Игошин, В. И.
Теория алгоритмов: учебное пособие для вузов по специальности 050201.65 "Математика"
Серия: Высшее образование
ИНФРА-М, 2012 г.ISBN 978-5-16-005205-2

Доступно
1 из 2
Книга
Игошин, В. И.
Теория алгоритмов: учебное пособие для вузов по специальности 050201.65 "Математика"
ISBN 978-5-16-005205-2
Игошин, В. И.
Теория алгоритмов: учебное пособие для вузов по специальности 050201.65 "Математика"
Серия: Высшее образование
ИНФРА-М, 2013 г.ISBN 978-5-16-005205-2

Доступно
79 из 80
Книга
Вагин, В. Н.
Теория алгоритмов и дедуктивный вывод: Учебное пособие по курсам "Дискретная математика" и "Математическая логика"
Изд-во МЭИ, 1999 г.
ISBN отсутствует
Вагин, В. Н.
Теория алгоритмов и дедуктивный вывод: Учебное пособие по курсам "Дискретная математика" и "Математическая логика"
Изд-во МЭИ, 1999 г.
ISBN отсутствует

Доступно
2 из 2

Доступно
1 из 1

Доступно
22 из 22
Книга
Ващенко, В. П.
Учебное пособие по курсу "Математическая логика и теория алгоритмов": Декомпозиция логических фун...
Изд-во МЭИ, 1979 г.
ISBN отсутствует
Ващенко, В. П.
Учебное пособие по курсу "Математическая логика и теория алгоритмов": Декомпозиция логических фун...
Изд-во МЭИ, 1979 г.
ISBN отсутствует

Доступно
36 из 36
Книга
Вагин, В. Н.
Учебное пособие по курсу "Математическая логика": Дедуктивные методы в математической логике
Изд-во МЭИ, 1989 г.
ISBN отсутствует
Вагин, В. Н.
Учебное пособие по курсу "Математическая логика": Дедуктивные методы в математической логике
Изд-во МЭИ, 1989 г.
ISBN отсутствует

Доступно
1 из 1
Книга
Орса, В. А
Числовой метод минимизации булевых функций
Изд-во Ростовского ун-та, 1987 г.
ISBN отсутствует
Орса, В. А
Числовой метод минимизации булевых функций
Изд-во Ростовского ун-та, 1987 г.
ISBN отсутствует

Доступно
3 из 3