Библиотечно-информационный центр Упрощенный режим Описание
Авторизация
Фамилия
Номер читательского билета
 

Базы данных


ЭБС "ЛАНЬ"- результаты поиска

Вид поиска
Каталог книг и учебно-методических материалов
Статьи из журналов
Авторефераты и диссертации
ЭБС "IPRBooks"
ЭБС "ЛАНЬ"
Сетевая Электронная Библиотека
ЭБС ИНФРА-М ("znanium.com")
ЭБ УМЦ ЖДТ
ЭБС Юрайт
Видеотека "Решение: учебное видео"
КЖТ УрГУПС
ПИЖТ УрГУПС
ЧИПС УрГУПС
Филиал в г. Н. Тагиле
Филиал в г. Тюмени
Филиал в г. Златоусте
ВКР
Публикации
Труды вузов Росжелдора
Методические материалы СПО
Отчеты НИР
Область поиска
 Найдено в других БД:Каталог книг и учебно-методических материалов (6)Сетевая Электронная Библиотека (1)Труды вузов Росжелдора (2)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>K=тьюринга<.>
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.
RU-LAN-BOOK-210278

    Кузнецов, О. П.
    Дискретная математика для инженера [] : учебное пособие / О. П. Кузнецов. - 6-е изд., стер. - Санкт-Петербург : Лань, 2022. - 400 с. - ISBN 978-5-8114-0570-1 : Б. ц.
Книга из коллекции Лань - Математика
. - [Б. м. : б. и.]. - https://e.lanbook.com/book/167753
УДК
519.713
ББК 32.815
Рубрики: Математика--Дискретная математика и математическая логика--Лань
Кл.слова (ненормированные):
математика для инженера -- дискретная математика -- автоматы -- автоматы (матем) -- алгебра -- алгебра логики -- алгебра логика теория графов теория алгоритмов -- алгебра теории алгоритмов математическая логика -- алгоритмов теория -- алгоритмы -- алгоритмы теория -- булева алгебра -- введение в логику -- вычислимость -- грамматики (матем) -- графы -- исчисления логические -- логика -- логика введение -- математика -- математическая логика -- множества -- общая алгебра -- отношения -- предикатов исчисление -- предикаты логика язык -- разрешимость -- сложности вычислений -- теория автоматов -- теория алгоритмов -- тьюринга машина -- учебники для вузов -- формальные системы -- функции -- функция логическая -- функция рекурсивная -- элементы общей алгебры -- языки -- языки (матем)
Аннотация: В книге изложены основные понятия теории множеств, общей алгебры, логики, теории графов, теории алгоритмов и формальных систем, теории автоматов. По сравнению с изданием 1988г. заново написаны разделы по теории графов и сложности вычислений. Для инженеров, специализирующихся в области автоматизированного управления и проектирования, вычислительной техники, информационных технологий, передачи информации, а также для студентов и аспирантов соответствующих специальностей.

Перейти: Ссылка на документ в ЭБС Лань
Свободных экз. нет
Найти похожие
2.
RU-LAN-BOOK-210281

    Лихтарников, Л. М.
    Математическая логика. Курс лекций. Задачник-практикум и решения [] : практикум / Л. М. Лихтарников, Т. Г. Сукачева. - 4-е изд., стер. - Санкт-Петербург : Лань, 2022. - 288 с. - ISBN 978-5-8114-0082-9 : Б. ц.
Книга из коллекции Лань - Математика
. - [Б. м. : б. и.]. - https://e.lanbook.com/book/167754
УДК
510.6(075)
ББК 22.122я73
Рубрики: Математика--Дискретная математика и математическая логика--Лань
Кл.слова (ненормированные):
математическая логика -- учебное пособие -- алгоритм -- алгебра логики -- курс лекций -- задачник -- аксиома логическая -- алгебра -- алгоритмы -- буля -- буля алгебра -- вычислимая -- геделя -- двойственность -- двойственность закон -- дедукция теорема -- дизъюнктивная -- доказуемость -- задачи -- задачи решения -- закон -- исчисление высказываний -- исчисление аксиоматическое -- исчисления высказываний -- конъюнктивная -- курсы лекций -- логика -- логика предикатов -- математика -- математика логика -- математическая логика исчисление высказываний алгебра логики логика предикатов математические теории машина тьюринга алгоритмы учебные пособия теорема дедукции теорема геделя лекции задачи -- математические теории -- машина -- операция логическая -- разрешимость -- рекурсивная -- решение задач -- тавтология -- терма -- тьюринга -- тьюринга машина -- учебник и пособие -- учебные пособия -- форма дизъюнктивная -- формула доказуемая -- функция -- функция вычислимая -- функция рекурсивная
Аннотация: Учебное пособие состоит из двух частей — курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Учебное пособие предназначено для студентов университетов и педагогических вузов, изучающих математическую логику.

Перейти: Ссылка на документ в ЭБС Лань

Доп.точки доступа:
Сукачева, Т. Г.
Свободных экз. нет
Найти похожие
3.
RU-LAN-BOOK-210638

    Шоломов, Л. А.
    Основы теории дискретных логических и вычислительных устройств [] : учебное пособие / Л. А. Шоломов. - 3-е изд., испр. - Санкт-Петербург : Лань, 2022. - 432 с. - ISBN 978-5-8114-1197-9 : Б. ц.
Книга из коллекции Лань - Математика. Допущено УМО по классическому университетскому образованию в качестве учебного пособия для студентов вузов, обучающихся по направлению ВПО 010500 — «Прикладная математика и информатика» и 010400 — «Информационные технологии».
. - [Б. м. : б. и.]. - https://e.lanbook.com/book/167882
УДК
519.72+004(075.8)
ББК В 18я7
Рубрики: Математика--Прикладная математика--Лань
Кл.слова (ненормированные):
автомат конечный -- булевы функции -- вычислительная техника -- вычислительные возможности машин -- вычислительные устройства -- дискретные логические устройства -- дискретные устройства без памяти -- дискретные устройства с конечной памятью -- допущено умо -- жегалкина полином -- информация сжатие -- конечные автоматы -- линейные коды -- логические функции -- машины тьюринга -- метод сводимости -- мили автомат -- минимизация автоматов -- минимизация логических функций -- модели алгоритмов -- мура автомат -- передача информации -- передача информации при наличии помех -- помехоустойчивое кодирование -- сжатие информации -- сложно вычислимые функции -- схема самокорректирующаяся -- теория алгоритмов -- тьюринга машина -- тьюринга машины -- учебное пособие -- учебные пособия -- циклические коды -- частично-рекурсивные функции -- шеннона теорема
Аннотация: Книга содержит систематическое и вместе с тем доступное изложение результатов по теории дискретных устройств. Она состоит из трех частей, первая из которых посвящена устройствам с конечной памятью, вторая — алгоритмам и идеализированным моделям вычислительных машин, третья — надежным хранению, передаче и переработке дискретной информации. Предпочтение отдается конструктивным методам, на основе которых можно производить анализ, синтез и оптимизацию устройств. Пособие предназначено для студентов, обучающихся по направлениям «Прикладная математика и информатика» и «Информационные технологии». Она будет полезной инженерам, имеющим дело с вычислительной техникой и устройствами управления, а также может служить аспирантам и научным работникам для первоначального ознакомления с предметом.

Перейти: Ссылка на документ в ЭБС Лань
Свободных экз. нет
Найти похожие
4.
RU-LAN-BOOK-352274

    Гашков, С. Б.
    Теория алгоритмов и вычислений [] : учебное пособие для вузов / С. Б. Гашков. - Санкт-Петербург : Лань, 2023. - 168 с. - ISBN 978-5-507-46897-3 : Б. ц.
Книга из коллекции Лань - Информатика
УДК
510.5
ББК 22.12я73
Рубрики: Информатика--Алгоритмизация--Лань
Кл.слова (ненормированные):
машины тьюринга -- машины поста -- алгоритмы минского -- фрактран -- np-полные задачи -- вычисления на абаке
Аннотация: В первой части дается введение в теорию алгоритмов (часто называемую также теорией вычислимых функций или просто теорией вычислимости). Намечаются разные варианты её построения, основанные на использовании теории рекурсивных функций, машин Тьюринга, Поста и Минского, бесконечного абака, алгорифмов Маркова и экзотического языка Фрактран, предложенного Конвеем. Приводятся классические примеры алгоритмически неразрешимых проблем. Во второй части излагаются основы теории NP-полных задач. Доказывается NP-полнота ряда классических комбинаторных проблем переборного характера, таких как проблема выполнимости логических формул, проблемы коммивояжера, упаковки рюкзака, размена монет, поиска минимального покрытия и максимальной клики и др. Рассматриваются точные и приближенные алгоритмы для решения этих задач. В конце каждой части приводится список задач, дополняющих ее содержание. К некоторым из них даны указания к решению. В основу книги положен семестровый курс, читавшийся автором на факультете математики и компьютерных наук Бакинского филиала МГУ им. М. В. Ломоносова.

Перейти: Ссылка на документ в ЭБС Лань
Свободных экз. нет
Найти похожие
 
Стандартный
Новые поступления
Расширенный
Профессиональный
По словарю
УДК-навигатор
Статистика обращений