Приложение
для AndroidПолное описание
| УДК | |
| 004.43(075.8) |
| ББК | |
| 22.12я73 |
Кл.слова (ненормированные): Программирование -- Компьютерные и информационные науки -- Программирование -- Математическая логика и теория алгоритмов -- Теория и технология программирования -- Методы программирования -- Математическая логика -- Основы программирования -- Прикладное программирование -- Программирование для ЭВМ -- Введение в программирование -- Семантика языков программирования -- Программируемые логические интегральные схемы (ПЛИС) -- Разработка устройств на базе программируемых логических интегральных схем -- Программирование на ЭВМ -- Основы математической логики -- Программируемые логические схемы -- Модельно-ориентированное исследование промышленных объектов и систем -- Программируемые логические интегральные схемы -- Практико-ориентированное вхождение в профессию -- Введение в математическую логику -- Формальная верификация моделей программного обеспечения
Аннотация: Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество задач и упражнений для самостоятельного решения. Соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования. Книга предназначена для преподавателей, аспирантов и студентов педагогических вузов для направлений, связанных с информационными технологиями.
Доп. точки доступа:
Демидов, Михаил Владимирович
Голанова, Анна Викторовна
Кудрявцева, Ирина Андреевна
https://urait.ru/bcode/587341
https://urait.ru/book/cover/1BA51E0F-25C6-4796-A319-F7E9908596A4
Кол-во выдач 0
Кудрявцева, Ирина Андреевна. Программирование: комбинаторная логика. - 524 с. - Текст : электронный.Швецкий, Михаил Владимирович. Программирование: математическая логика. - 675 с. - Текст : электронный.Кудрявцева, Ирина Андреевна. Программирование: комбинаторная логика. - 524 с. - Текст : электронный.Швецкий, Михаил Владимирович. Программирование: математическая логика. - 675 с. - Текст : электронный.Кудрявцева, Ирина Андреевна. Программирование: теория типов. - 652 с. - Текст : электронный.Кудрявцева, Ирина Андреевна. Программирование: теория типов. - 652 с. - Текст : электронный.
Коничев, Александр Сергеевич. Молекулярная биология. Практикум. - 169 с. - Текст : электронный.Михельсон, Анна Вильгельмовна. Физическая оптика. - 70 с. - Текст : электронный.Антонян, Юрий Миранович. Криминология. - 388 с. - Текст : электронный.Лебедева, Людмила Владимировна. Организационное консультирование. - 154 с. - Текст : электронный.Андреев, Владимир Васильевич. Теория горения и взрыва: высокоэнергетические материалы. - 325 с. - Текст : электронный.Деев, Виктор Иосифович. Ядерные реакторы с водой сверхкритического давления (основы теплового расчета). - 156 с. - Текст : электронный.Волегов, Алексей Сергеевич. Метрология и измерительная техника: электронные средства измерений электрических величин. - 103 с. - Текст : электронный.Замятина, Оксана Михайловна. Вычислительные системы, сети и телекоммуникации. Моделирование сетей. - 167 с. - Текст : электронный.Терёхин, Вячеслав Борисович. Компьютерное моделирование систем электропривода постоянного и переменного тока в Simulink. - 306 с. - Текст : электронный.Спиридонова, Екатерина Анатольевна. Создание стартапов. - 187 с. - Текст : электронный.Скворцов, Владимир Федорович. Технология конструкционных материалов. Основы размерного анализа. - 79 с. - Текст : электронный.Ягодин, Валерий Владимирович. Основы спортивной этики. - 111 с. - Текст : электронный.Емельянов, Борис Владимирович. История русской философии XX века. - 249 с. - Текст : электронный.Емельянова, Ирина Никитична. Основы научной деятельности студента. Магистерская диссертация. - 107 с. - Текст : электронный.Кузнецов, Игорь Николаевич. Ведение деловой документации. - 259 с. - Текст : электронный.Григорьев, Михаил Викторович. Проектирование информационных систем. - 278 с. - Текст : электронный.Антипова, Людмила Васильевна. Анатомия и гистология сельскохозяйственных животных. - 388 с. - Текст : электронный.Васильева, Инна Витальевна. Психодиагностика персонала. - 120 с. - Текст : электронный.Пивоваров, Даниил Валентинович. Религиоведение. Вера бахаи: история, вероучение, культ. - 158 с. - Текст : электронный.Селиванов, Виктор Вениаминович. Туристские ресурсы региона. Крым. - 195 с. - Текст : электронный.
Показать все результатыМалявко, Александр Антонович. Формальные языки и компиляторы. - 429 с. - Текст : электронный.Демин, Антон Юрьевич. Информатика. Программирование на C# в Visual Studio. - 138 с. - Текст : электронный.Швецкий, Михаил Владимирович. Программирование: математическая логика. - 675 с. - Текст : электронный.Подбельский, Вадим Валериевич. Программирование. Базовый курс С#. - 369 с. - Текст : электронный.Черпаков, Игорь Владимирович. Основы программирования. - 196 с. - Текст : электронный.Ратанова, Ольга Валентиновна. Веб-разработка. - 217 с. - Текст : электронный.Малов, Алексей Викторович. Концепции современного программирования. - 96 с. - Текст : электронный.
Просмотр издания Электронно-библиотечная система «Юрайт» , требуется авторизация