База данных: Книги
Страница 2, Результатов: 13
Отмеченные записи: 0
11.
Подробнее
А 39
Акинина, Ю. С.
Теория автоматов : учебное пособие / Ю. С. Акинина. - 2-е изд. - Москва : Ай Пи Эр Медиа, 2023. - 156 с. - ISBN 978-5-4497-1877-8 : 6380. 00 тг.
ББК 32.965я7
Рубрики: ТЕХНИКА. ТЕХНИЧЕСКИЕ НАУКИ
АВТОМАТИКА
Кл.слова (ненормированные):
теория автоматов -- абстрактный автомат -- словесные определения автоматов -- модель Мили -- модель Мура -- язык-граф -- автоматные языки -- граф автомата -- язык схем алгоритмов -- матрицы переходов -- матрицы выходов -- язык логических схем -- математические модели автоматов -- минимизация абстрактных автоматов -- математические основы алгебры логики -- минимизация логических функций -- синтез комбинационных автоматов -- анализ комбинационных автоматов -- шифратор -- дешифратор -- мультиплексор -- элементарные автоматы -- триггеры -- разновидности триггеров -- асинхронный однотактный Т-триггеры -- двухтактные Т-триггеры -- синтез Т-триггера -- учебное пособие -- 09.03.01 "Информатика и вычислительная техника"
Аннотация: В учебном пособии рассматриваются основные задачи теории автоматов, различные словесные определения автоматов и их формальная классификация, математические и структурные модели типовых автоматов, способы задания абстрактных и структурных автоматов. Предназначено для студентов, обучающихся по направлению подготовки 09.03.01 "Информатика и вычислительная техника", а также для студентов других специальностей и направлений подготовки, учебными планами которых предусмотрено изучение данной дисциплины.
Доп.точки доступа:
Тюрин , С. В.
Экземпляры всего: 2
2.1-№2 Ч/З (2)
Свободны: 2.1-№2 Ч/З (2)
А 39
Акинина, Ю. С.
Теория автоматов : учебное пособие / Ю. С. Акинина. - 2-е изд. - Москва : Ай Пи Эр Медиа, 2023. - 156 с. - ISBN 978-5-4497-1877-8 : 6380. 00 тг.
Рубрики: ТЕХНИКА. ТЕХНИЧЕСКИЕ НАУКИ
АВТОМАТИКА
Кл.слова (ненормированные):
теория автоматов -- абстрактный автомат -- словесные определения автоматов -- модель Мили -- модель Мура -- язык-граф -- автоматные языки -- граф автомата -- язык схем алгоритмов -- матрицы переходов -- матрицы выходов -- язык логических схем -- математические модели автоматов -- минимизация абстрактных автоматов -- математические основы алгебры логики -- минимизация логических функций -- синтез комбинационных автоматов -- анализ комбинационных автоматов -- шифратор -- дешифратор -- мультиплексор -- элементарные автоматы -- триггеры -- разновидности триггеров -- асинхронный однотактный Т-триггеры -- двухтактные Т-триггеры -- синтез Т-триггера -- учебное пособие -- 09.03.01 "Информатика и вычислительная техника"
Аннотация: В учебном пособии рассматриваются основные задачи теории автоматов, различные словесные определения автоматов и их формальная классификация, математические и структурные модели типовых автоматов, способы задания абстрактных и структурных автоматов. Предназначено для студентов, обучающихся по направлению подготовки 09.03.01 "Информатика и вычислительная техника", а также для студентов других специальностей и направлений подготовки, учебными планами которых предусмотрено изучение данной дисциплины.
Доп.точки доступа:
Тюрин , С. В.
Экземпляры всего: 2
2.1-№2 Ч/З (2)
Свободны: 2.1-№2 Ч/З (2)
12.
Подробнее
К 88
Кубенский , А.А.
Функциональное программирование : учебник и практикум / А.А. Кубенский . - М. : Юрайт, 2024. - 348 с. - (Высшее образование ). - ISBN 978-5-9916-9242-7 : 10900.00 тг.
ББК 32.973я7
Рубрики: ТЕХНИКА. ТЕХНИЧЕСКИЕ НАУКИ
ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
ЭВМ И УСТРОЙСТВО
Кл.слова (ненормированные):
функциональное программирование -- карринг -- Haskell -- элементарные типы данных -- функции высших порядков -- ленивые вычисления -- функторы -- монады -- комбинаторная редукция -- лямбда-исчисление -- интерпретация функциональной программы -- учебник
Аннотация: Функциональное программирование уверенно входит в жизнь каждого программиста. Многие привычные языки, например, Java, вводят расширения в синтаксис языка и стандартные библиотеки для функциональных средств. В представленной книге даются практические основы функционального программирования и использованием популярного языка программирования Haskell, излагаются основы лямбда-исчисления и комбинаторной логики.
Экземпляры всего: 2
2.1-№2 Ч/З (2)
Свободны: 2.1-№2 Ч/З (2)
К 88
Кубенский , А.А.
Функциональное программирование : учебник и практикум / А.А. Кубенский . - М. : Юрайт, 2024. - 348 с. - (Высшее образование ). - ISBN 978-5-9916-9242-7 : 10900.00 тг.
Рубрики: ТЕХНИКА. ТЕХНИЧЕСКИЕ НАУКИ
ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
ЭВМ И УСТРОЙСТВО
Кл.слова (ненормированные):
функциональное программирование -- карринг -- Haskell -- элементарные типы данных -- функции высших порядков -- ленивые вычисления -- функторы -- монады -- комбинаторная редукция -- лямбда-исчисление -- интерпретация функциональной программы -- учебник
Аннотация: Функциональное программирование уверенно входит в жизнь каждого программиста. Многие привычные языки, например, Java, вводят расширения в синтаксис языка и стандартные библиотеки для функциональных средств. В представленной книге даются практические основы функционального программирования и использованием популярного языка программирования Haskell, излагаются основы лямбда-исчисления и комбинаторной логики.
Экземпляры всего: 2
2.1-№2 Ч/З (2)
Свободны: 2.1-№2 Ч/З (2)
13.
Подробнее
У 61
Унучек, С. А.
Математическая логика : учебное пособие / С. А. Унучек. - М. : Ай Пи Ар Медиа , 2024. - 240 с. - ISBN 978-5-4497-3091-6 : 11290. 05 тг.
ББК 22.12я7
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- Булевы функции -- рассуждения -- доказательства -- графы -- отношения -- комбинаторика -- машина Тъюринга -- элементы теории множеств -- минимизация автоматов -- алгоритм Маркова -- метод Квайна -- теория рекурсивных функций -- учебное пособие
Аннотация: Учебное пособие предназначено для студентов высших учебных заведений, изучающих дисциплины "Математическая логика и теория алгоритмов" и "Дискретная математика", обучающихся по укрупненным группам направлений подготовки и специальностей "Математика и механика", "Электроника, радиотехника и системы связи", укрупненной группе направлений подготовки "Информатика и вычислительная техника" и так далее. Пособие также может быть полезно студентам других специальностей и преподавателям, а также всем желающим начать самостоятельное изучение математической логики.
Экземпляры всего: 2
2.1-№2 Ч/З (2)
Свободны: 2.1-№2 Ч/З (2)
У 61
Унучек, С. А.
Математическая логика : учебное пособие / С. А. Унучек. - М. : Ай Пи Ар Медиа , 2024. - 240 с. - ISBN 978-5-4497-3091-6 : 11290. 05 тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- Булевы функции -- рассуждения -- доказательства -- графы -- отношения -- комбинаторика -- машина Тъюринга -- элементы теории множеств -- минимизация автоматов -- алгоритм Маркова -- метод Квайна -- теория рекурсивных функций -- учебное пособие
Аннотация: Учебное пособие предназначено для студентов высших учебных заведений, изучающих дисциплины "Математическая логика и теория алгоритмов" и "Дискретная математика", обучающихся по укрупненным группам направлений подготовки и специальностей "Математика и механика", "Электроника, радиотехника и системы связи", укрупненной группе направлений подготовки "Информатика и вычислительная техника" и так далее. Пособие также может быть полезно студентам других специальностей и преподавателям, а также всем желающим начать самостоятельное изучение математической логики.
Экземпляры всего: 2
2.1-№2 Ч/З (2)
Свободны: 2.1-№2 Ч/З (2)
Страница 2, Результатов: 13