Приложение
для AndroidПолное описание
| УДК | |
| 004.43(075.32) |
| ББК | |
| 22.12я723 |
Кл.слова (ненормированные): Программирование -- Компьютерные и информационные науки -- Программирование -- Методы программирования -- Основы программирования -- Прикладное программирование -- Программирование для ЭВМ -- Элементы математической логики -- Введение в программирование -- Программирование на ЭВМ
Аннотация: Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество задач и упражнений для самостоятельного решения.
Доп. точки доступа:
Демидов, Михаил Владимирович
Голанова, Анна Викторовна
Кудрявцева, Ирина Андреевна
Держатели документа:
Образовательная платформа «Юрайт» : 111123, г. Москва, ул. Плеханова, д.4А, комната 15 (Шифр в БД-источнике (URITE): RU/URAIT/587349)
Шифр в сводном ЭК: 34cdf759021baba833bbe9db704803c3
Голанова, А. В. Основы программирования на языке Python : практикум. Ч. 3, 2019. - 129 с. - Текст : непосредственный.Голанова, Анна Викторовна. Основы архитектуры компьютера : практикум / А. В. Голанова, Е. И. Голикова, 2021. - 90 с. - Текст (визуальный) : непосредственный.Кудрявцева, Ирина Андреевна. Программирование: комбинаторная логика : учебник для вузов / И. А. Кудрявцева, М. В. Швецкий., 2026. - 524 с. - Текст : электронный.Швецкий, Михаил Владимирович. Программирование: математическая логика : учебник для вузов / М. В. Швецкий, М. В. Демидов, А. В. Голанова, И. А. Кудрявцева., 2026. - 675 с. - Текст : электронный.Кудрявцева, Ирина Андреевна. Программирование: комбинаторная логика : учебник для спо / И. А. Кудрявцева, М. В. Швецкий., 2026. - 524 с. - Текст : электронный.Швецкий, Михаил Владимирович. Программирование: математическая логика : учебник для спо / М. В. Швецкий, М. В. Демидов, А. В. Голанова, И. А. Кудрявцева., 2026. - 675 с. - Текст : электронный.Кудрявцева, Ирина Андреевна. Программирование: теория типов : учебник для вузов / И. А. Кудрявцева, М. В. Швецкий., 2026. - 652 с. - Текст : электронный.Кудрявцева, Ирина Андреевна. Программирование: теория типов : учебник для спо / И. А. Кудрявцева, М. В. Швецкий., 2026. - 652 с. - Текст : электронный.
Слагода В.Г. Основы экономики / В. Г. Слагода, 2003. - 215 с. - Текст : непосредственный.Худолеев В.В. Налоги и налогообложение / В. В. Худолеев, 2007. - 319 с. - Текст : непосредственный.Туревский И.С. Экономика отрасли (автомобильный транспорт) : учебное пособие / И. С. Туревский, 2008. - 287 с. - Текст : непосредственный.Этика деловых отношений / В. К. Борисов, Е. М. Панина, М. И. Панов [и др.], 2006. - 175 с. - Текст : непосредственный.Щербаков Е.Ф. Электроснабжение и электропотребление на предприятиях : выставочные материалы / Е. Ф. Щербаков, Д. С. Александров, А. Л. Дубов, 2012. - 494 с. - Текст : непосредственный.Маслов В.И. Сварочные работы / В. И. Маслов, 2003. - 234 с. - Текст : непосредственный.Кнышова Е.Н. Экономика организации / Е. Н. Кнышова, Е. Е. Панфилова, 2005. - 334 с. - Текст : непосредственный.Кошевая И.П. Метрология, стандартизация, сертификация : учебное пособие / И. П. Кошевая, А. А. Канке, 2009. - 414 с. - Текст : непосредственный.Овчинников В. В. Оборудование термических цехов : выставочные материалы / В. В. Овчинников, 2014. - 364 с. - Текст : непосредственный.Овчинников В.В. Технология изготовления сварных конструкций : выставочные материалы / В. В. Овчинников, 2015. - 208 с. - Текст : непосредственный.Овчинников В.В. Производство сварных конструкций : выставочные материалы / В. В. Овчинников, 2015. - 287 с. - Текст : непосредственный.Голицына О.Л. Программное обеспечение : учебное пособие / О. Л. Голицына, Т. Л. Партыка, И. И. Попова, 2008. - 447 с. - Текст : непосредственный.Дубовой Н.Д. Основы метрологии, стандартизации и сертификации : учебное пособие / Н. Д. Дубовой, Е. М. Портнов, 2008. - 255 с. - Текст : непосредственный.Герасимова Е.Б. Управление качеством : учебное пособие / Е. Б. Герасимова, Б. И. Герасимов, А. Ю. Сизикин, 2007. - 255 с. - Текст : непосредственный.Блинова Т.В. Основы бухгалтерского учета / Т. В. Блинова, 2005. - 204 с. - Текст : непосредственный.Чичерин И.И. Общестроительные работы / И. И. Чичерин, 2002. - 416 с. - Текст : непосредственный.Канке А.А. Анализ финансово-хозяйственной деятельности предприятия : учебное пособие / А. А. Канке, И. П. Кошевая, 2008. - 287 с. - Текст : непосредственный.Слагода В.Г. Экономическая теория : учебное пособие / В. Г. Слагода, 2008. - 367 с. - Текст : непосредственный.Кудина М.В. Основы экономики : учебное пособие / М. В. Кудина, 2008. - 351 с. - Текст : непосредственный.Кругликов Г.И. Настольная книга мастера профессионального обучения : учебное пособие / Г. И. Кругликов, 2008. - 272 с. - Текст : непосредственный.
Показать все результатыГуриков, Сергей Ростиславович. Введение в программирование на языке Visual C# : Учебное пособие / Московский технический университет связи и информатики, 2019. - 447 с. - Текст : электронный.Хорев, Павел Борисович. Объектно-ориентированное программирование с примерами на C# : Учебное пособие: Учебное пособие / Московский энергетический институт, 2023. - 200 с. - Текст : электронный.Немцова, Тамара Игоревна. Программирование на языке высокого уровня. Программирование на языке Object Pascal : Учебное пособие / ООО "ИННОВАЦИЯ" структурное подразделение "Центр Компьютерного Обучения и Дополнительного Образовани, 2023. - 496 с. - Текст : электронный.Дорогов, Виктор Георгиевич. Основы программирования на языке С : Учебное пособие / Московский институт электронной техники, 2023. - 224 с. - Текст : электронный.Щербаков А.Г. Практикум изучения языка программирования PYTHON. Начальный уровень : Учебное пособие / А.Г. Щербаков, 2023. - 116 с. - Текст : электронный.Кузин, Александр Владимирович. Программирование на языке Си : Справочник: Учебное пособие: Учебное пособие / Даичи ООО, 2024. - 143 с. - Текст : электронный.Щербаков А.Г. Практикум изучения языка программирования PYTHON. Начальный уровень : Учебное пособие / А.Г. Щербаков, 2024. - 116 с. - Текст : электронный.Кузин, Александр Владимирович. Основы программирования на языке Objective-C для iOS : Учебное пособие / Даичи ООО, 2025. - 118 с. - Текст : электронный.Демин, Антон Юрьевич. Информатика. Программирование на C# в Visual Studio : учебник для спо / А. Ю. Демин, В. А. Дорофеев., 2025. - 138 с. - Текст : электронный.Жуков, Роман Александрович. Язык программирования Python. Практикум : Учебное пособие / Финансовый университет при Правительстве Российской Федерации, Тульский ф-л, 2026. - 216 с. - Текст : электронный.Щербаков А.Г. Практикум изучения языка программирования PYTHON. Начальный уровень : Учебное пособие / А.Г. Щербаков, 2026. - 116 с. - Текст : электронный.Голицына, Ольга Леонидовна. Языки программирования : Учебное пособие / Национальный исследовательский ядерный университет "МИФИ", 2026. - 399 с. - Текст : электронный.Швецкий, Михаил Владимирович. Программирование: математическая логика : учебник для спо / М. В. Швецкий, М. В. Демидов, А. В. Голанова, И. А. Кудрявцева., 2026. - 675 с. - Текст : электронный.Черпаков, Игорь Владимирович. Основы программирования : учебник и практикум для спо / И. В. Черпаков., 2026. - 196 с. - Текст : электронный.Подбельский, Вадим Валериевич. Программирование. Базовый курс С# : учебник для спо / В. В. Подбельский., 2026. - 369 с. - Текст : электронный.Ратанова, Ольга Валентиновна. Веб-разработка : учебник для спо / О. В. Ратанова [и др.] ; под общей редакцией О. В. Ратановой, Н. А. Ребус, А. Ю. Анисимова. - 217 с. - Текст : электронный.Гуриков, Сергей Ростиславович. Введение в программирование на языке Visual Basic for Applications (VBA) : Учебное пособие / Московский государственный технологический университет "Станкин". - 317 с. - Текст : электронный.Гуриков, Сергей Ростиславович. Основы алгоритмизации и программирования на языке Microsoft Visual Basic : Учебное пособие / Московский государственный технологический университет "Станкин". - 594 с. - Текст : электронный.
Просмотр издания Электронно-библиотечная система «Юрайт» , требуется авторизация