Логические методы построения эффективных алгоритмов: междуведомственный тематический сборник научных трудов

Логические методы построения эффективных алгоритмов: междуведомственный тематический сборник научных трудов

Bibliographische Detailangaben
Körperschaft:	Калининский государственный университет
Weitere Verfasser:	Канович М. И. (редактор)
Sprache:	Russisch
Veröffentlicht:	Калинин, Изд-во КГУ, 1986
Schlagworte:	Компьютерные алгоритмы алгоритмы построение логические методы эффективность сложность программирование теория математическая логика
Format:	Buch
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=265744

Ähnliche Einträge

Ресурсно-эффективные компьютерные алгоритмы. Разработка и анализ: учебное пособие
von: Ульянов М. В. Михаил Васильевич
Veröffentlicht: (Москва, Физматлит, 2008)

Основы модулярной алгоритмики: монография
von: Инютин С. А. Сергей Арнольдович
Veröffentlicht: (Ханты-Мансийск, Полиграфист, 2008)

Математическая логика и теория алгоритмов: учебное пособие
von: Шелупанов А. А. Александр Александрович
Veröffentlicht: (Томск, STT, 2001)

Теоретические основы прикладной математики и информатики: элементы теории разработки эффективных алгоритмов учебно-методическое пособие
von: Долганова Н. Ф.
Veröffentlicht: (Томск, ТГПУ, 2019)

Применение методов математической логики. Секция : Логика взаимодействующих процессов. Секция : Алгоритмика трудных задач: тезисы докладов IV Всесоюзной конференции
Veröffentlicht: (Таллин, Институт кибернетики АН ЭССР, 1986)

Автоматы, алгорифмы, языки: межвузовский тематический сборник
Veröffentlicht: (Калинин, Изд-во Калининского гос. ун-та, 1982)

Математическая логика, математическая лингвистика и теория алгоритмов: сборник научных трудов
Veröffentlicht: (Калинин, Изд-во Калининского гос. ун-та, 1983)

Теория алгоритмов. Введение в сложность вычислений учебник для вузов
von: Крупский В. Н. Владимир Николаевич
Veröffentlicht: (Москва, Юрайт, 2025)

Теория алгоритмов. Введение в сложность вычислений учебное пособие для вузов
von: Крупский В. Н. Владимир Николаевич
Veröffentlicht: (Москва, Юрайт, 2021)

Теория алгоритмов. Введение в сложность вычислений учебное пособие для вузов
von: Крупский В. Н. Владимир Николаевич
Veröffentlicht: (Москва, Юрайт, 2022)

Теория алгоритмов. Введение в сложность вычислений учебное пособие для вузов
von: Крупский В. Н. Владимир Николаевич
Veröffentlicht: (Москва, Юрайт, 2023)

Теория алгоритмов. Введение в сложность вычислений учебное пособие для вузов
von: Крупский В. Н. Владимир Николаевич
Veröffentlicht: (Москва, Юрайт, 2024)

Математическая логика и теория алгоритмов для программистов: учебное пособие
von: Гринченков Д. В. Дмитрий Валерьевич
Veröffentlicht: (Москва, КноРус, 2010)

Анализ сложности алгоритмов учебно-методическое пособие
von: Филатов В. В.
Veröffentlicht: (Москва, РТУ МИРЭА, 2023)

Математическая логика и теория алгоритмов: учебное пособие
von: Крупский В. Н. Владимир Николаевич
Veröffentlicht: (Москва, Академия, 2013)

Математическая логика и теория алгоритмов для программистов: учебное пособие
von: Гринченков Д. В. Дмитрий Валерьевич
Veröffentlicht: (Москва, КноРус, 2013)

Дискретная математика: прикладные задачи и сложность алгоритмов учебник и практикум для вузов
von: Андреев А. Е. Александр Егорович
Veröffentlicht: (Москва, Юрайт, 2023)

Дискретная математика: прикладные задачи и сложность алгоритмов учебник и практикум для вузов
von: Андреев А. Е. Александр Егорович
Veröffentlicht: (Москва, Юрайт, 2021)

Дискретная математика: прикладные задачи и сложность алгоритмов учебник и практикум для вузов
von: Андреев А. Е. Александр Егорович
Veröffentlicht: (Москва, Юрайт, 2024)

Дискретная математика: прикладные задачи и сложность алгоритмов учебник и практикум для вузов
von: Андреев А. Е. Александр Егорович
Veröffentlicht: (Москва, Юрайт, 2025)

Дискретная математика: прикладные задачи и сложность алгоритмов учебник и практикум для вузов
von: Андреев А. Е. Александр Егорович
Veröffentlicht: (Москва, Юрайт, 2022)

Математическая логика и теория алгоритмов
Veröffentlicht: (Новосибирск, Изд-во ИМ СО РАН, 1993)

Систолические вычисления
von: Фрумкин М. А. Михаил Александрович
Veröffentlicht: (Москва, Наука, 1990)

Задачи по теории множеств, математической логике и теории алгоритмов
von: Лавров И. А. Игорь Андреевич
Veröffentlicht: (Москва, Наука, 1984)

Потоковые алгоритмы
von: Адельсон-Вельский Г. М. Георгий Максимович
Veröffentlicht: (Москва, Наука, 1975)

Математическая логика и теория алгоритмов: учебное пособие
von: Гурова Л. М. Любовь Михайловна
Veröffentlicht: (Москва, Изд-во МГГУ, 2006)

Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций: сборник переводов
Veröffentlicht: (Москва, Мир, 1970)

Основы дискретной математики и теории алгоритмов учебно-методическое пособие
von: Сидская О. В.
Veröffentlicht: (Пинск, ПолесГУ, 2020)

Логические уравнения
von: Закревский А. Д. Аркадий Дмитриевич
Veröffentlicht: (Минск, Наука и техника, 1975)

Вып. 5; Логические исследования
Veröffentlicht: (1998)

Логические методы синтеза оптимальных корректоров эвристических алгоритмов
von: Кабулов А. В. Анвар Василович
Veröffentlicht: (Ташкент, Фан, 1985)

Трехмерное радиовидение в доплеровских системах Учебное пособие
von: Клочко В. К.
Veröffentlicht: (Рязань, РГРТУ, 2017)

Теория цифрового компьютера: учебное пособие для вузов
von: Барский А. Б. Аркадий Бенционович
Veröffentlicht: (Москва, Форум, 2018)

Вып. 13; Математические вопросы кибернетики
Veröffentlicht: (2004)

Основания математики. Логические исчисления и формализация арифметики.
von: Гильберт Д. Давид
Veröffentlicht: (Москва, Наука, 1979)

Основания математики. Логические исчисления и формализация арифметики.
von: Гильберт Д. Давид
Veröffentlicht: (Москва, Наука, 1982)

Задачи по теории множеств, математической логике и теории алгоритмов
von: Лавров И. А. Игорь Андреевич
Veröffentlicht: (Наука, 1975)

Задачи по теории множеств, математической логике и теории алгоритмов
von: Лавров И. А. Игорь Андреевич
Veröffentlicht: (Москва, Физматлит, 2002)

Автоматизация построения алгоритмов для задач математической физики: сборник научных статей
Veröffentlicht: (Новосибирск, Изд-во ВЦ АН СССР, 1987)

Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов: учебное пособие для вузов
von: Косовский Н. К. Николай Кириллович
Veröffentlicht: (Ленинград, Изд-во Ленинградского ун-та, 1981)