Приложение
для AndroidПолное описание
| УДК | |
| 004.43(075.8) |
| ББК | |
| 22.12я73 |
Аннотация: Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество задач и упражнений для самостоятельного решения. Соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования. Книга предназначена для преподавателей, аспирантов и студентов педагогических вузов для направлений, связанных с информационными технологиями.
Доп. точки доступа:
Демидов, Михаил Владимирович
Голанова, Анна Викторовна
Кудрявцева, Ирина Андреевна
Держатели документа:
Образовательная платформа «Юрайт» : 111123, г. Москва, ул. Плеханова, д.4А, комната 15 (Шифр в БД-источнике (URITE): RU/URAIT/587341)
Шифр в сводном ЭК: 9772656529a6c067ad512feb34315f51
Голанова, А. В. Основы программирования на языке Python : практикум. Ч. 3, 2019. - 129 с. - Текст : непосредственный.Голанова, Анна Викторовна. Основы архитектуры компьютера : практикум / А. В. Голанова, Е. И. Голикова, 2021. - 90 с. - Текст (визуальный) : непосредственный.Кудрявцева, Ирина Андреевна. Программирование: комбинаторная логика : учебник для вузов / И. А. Кудрявцева, М. В. Швецкий., 2026. - 524 с. - Текст : электронный.Швецкий, Михаил Владимирович. Программирование: математическая логика : учебник для вузов / М. В. Швецкий, М. В. Демидов, А. В. Голанова, И. А. Кудрявцева., 2026. - 675 с. - Текст : электронный.Кудрявцева, Ирина Андреевна. Программирование: комбинаторная логика : учебник для спо / И. А. Кудрявцева, М. В. Швецкий., 2026. - 524 с. - Текст : электронный.Швецкий, Михаил Владимирович. Программирование: математическая логика : учебник для спо / М. В. Швецкий, М. В. Демидов, А. В. Голанова, И. А. Кудрявцева., 2026. - 675 с. - Текст : электронный.Кудрявцева, Ирина Андреевна. Программирование: теория типов : учебник для вузов / И. А. Кудрявцева, М. В. Швецкий., 2026. - 652 с. - Текст : электронный.Кудрявцева, Ирина Андреевна. Программирование: теория типов : учебник для спо / И. А. Кудрявцева, М. В. Швецкий., 2026. - 652 с. - Текст : электронный.
Бродовой В.В. Комплексирование геофизических методов / В. В. Бродовой, 1991. - 330 с. - Текст : непосредственный.Юкша Я.А. Гражданское право : учебное пособие / Я. А. Юкша, 2011. - 368 с. - Текст : непосредственный.Мотивация и стимулирование трудовой деятельности : выставочные материалы / А. Я. Кибанов, И. А. Баткаева, Е. А. Митрофанова, М. В. Ловчева, 2012. - 523 с. - Текст : непосредственный.Письменный Д.Т. Конспект лекций по теории вероятностей, математической статистике и случайным процессам / Д. Т. Письменный, 2015. - 287 с. - Текст : непосредственный.Маслов Е.В. Управление персоналом предприятия / Е. В. Маслов, 2003. - 312 с. - Текст : непосредственный.Басовский Л.Е. Управление качеством / Л. Е. Басовский, В. Б. Протасьев, 2003. - 211 с. - Текст : непосредственный.Остапенко Ю.М. Экономика труда / Ю. М. Остапенко, 2003. - 267 с. - Текст : непосредственный.Мамаева Л.М. Институциональная экономика / Л. М. Мамаева, 2015. - 409 с. - Текст : непосредственный.Абрамов А.А. Флотационные методы обогащения / А. А. Абрамов, 1993. - 412 c. - Текст : непосредственный.Раджабова З.К. Мировая экономика : учебное пособие / З. К. Раджабова, 2010. - 304 с. - Текст : непосредственный.Рыхтикова Н.А. Анализ и управление рисками организации : учебное пособие / Н. А. Рыхтикова, 2009. - 239 с. - Текст : непосредственный.Черник Д.Г. Налоги и налогообложение / Д. Г. Черник, Д. Г. Черник, Л. П. Павлова, А. З. Дадашев, 2001. - 415 с. - Текст : непосредственный.Левита Р.Я. История экономических учений / Р. Я. Левита, 2002. - 224 с. - Текст : непосредственный.Кондраков Н.П. Бухгалтерский учет : учебное пособие / Н. П. Кондраков, 2008. - 718 с. - Текст : непосредственный.Ушаков И.А. Курс теории надежности систем : учебное пособие / И. А. Ушаков, 2008. - 240 с. - Текст : непосредственный.Владимиров Ю.А. Физико-химические основы фотобиологических процессов / Ю. А. Владимиров, А. Я. Потапенко, 2006. - 286 с. - Текст : непосредственный.Басовский Л.Е. Прогнозирование и планирование в условиях рынка / Л. Е. Басовский, 2001. - 259 с. - Текст : непосредственный.Смолкин А.М. Менеджмент: основы организации / А. М. Смолкин, 2001. - 247 с. - Текст : непосредственный.Басовский Л.Е. Менеджмент / Л. Е. Басовский, Э. М. Коротков, А. А. Беляев, М. Б. Жернакова, О. Ю. Кириллова, 2003. - 216 с. - Текст : непосредственный.Зубкова А.В. Приемы антикризисного менеджмента : монография / А. В. Зубкова, 2008. - 397 с. - Текст : непосредственный.
Показать все результатыГорюшкин А. А.Офисное программное обеспечение : Учебное пособие / Горюшкин А. А., 2023. - 118 с. - Текст : электронный.Коротеев М. В., Шаталова А. Ю.Введение в Android разработку на Java : Учебное пособие / Коротеев М. В., Шаталова А. Ю., 2022. - 231 с. - Текст : электронный.Горюшкин А. А.Офисное программное обеспечение : Учебное пособие / Горюшкин А. А., 2021. - 118 с. - Текст : электронный.Горюшкин А. А.Офисное программное обеспечение : Учебное пособие / Горюшкин А. А., 2019. - 118 с. - Текст : электронный.Немцова, Тамара Игоревна. Программирование на языке высокого уровня. Программирование на языке Object Pascal : Учебное пособие / ООО "ИННОВАЦИЯ" структурное подразделение "Центр Компьютерного Обучения и Дополнительного Образовани, 2020. - 496 с. - Текст : электронный.Дадян, Эдуард Григорьевич. Современные технологии программирования : В 2 томах. Том 2: Учебник2. Современные технологии программирования. Язык С#. / Финансовый университет при Правительстве Российской Федерации, 2021. - 335 с. - Текст : электронный.Коротеев М. В., Шаталова А. Ю.Введение в Android разработку на Java : Учебное пособие / Коротеев М. В., Шаталова А. Ю., 2024. - 231 с. - Текст : электронный.Трубин А.Е. Основы функционального программирования : Учебник / А.Е. Трубин, А.Ю. Анисимов, Ф.А. Мастяев [и др.]; под. ред. А.Е. Трубин, А.Ю. Анисимов, Ф.А. Мастяев, 2024. - 222 с. - Текст : электронный.Гордиенко А.П. Языки программирования и методы трансляции : Учебник / А.П. Гордиенко, 2024. - 374 с. - Текст : электронный.Гагарина, Лариса Геннадьевна. Основы программирования на языке С : Учебное пособие / Московский институт электронной техники, 2025. - 269 с. - Текст : электронный.Апалькова Т.Г. Законы распределения случайных величин в языках R и Python : Учебное пособие / Т.Г. Апалькова, В.И. Глебов, С.Я. Криволапов, К.Г. Левченко, 2024. - 347 с. - Текст : электронный.Дадян, Эдуард Григорьевич. Современные технологии программирования. Язык С#. В двух томах : Том 1. Для начинающих пользователей: Учебник / Финансовый университет при Правительстве Российской Федерации, 2025. - 312 с. - Текст : электронный.Малявко, Александр Антонович. Формальные языки и компиляторы : учебник для вузов / А. А. Малявко., 2025. - 429 с. - Текст : электронный.Демин, Антон Юрьевич. Информатика. Программирование на C# в Visual Studio : учебник для вузов / А. Ю. Демин, В. А. Дорофеев., 2025. - 138 с. - Текст : электронный.Гуриков, Сергей Ростиславович. Основы алгоритмизации и программирования на Python : Учебное пособие / Московский технический университет связи и информатики, 2026. - 343 с. - Текст : электронный.Коротеев М.В. Введение в Android разработку на Java : Учебное пособие / М.В. Коротеев, А.Ю. Шаталова, 2026. - 231 с. - Текст : электронный.Золотарюк, Анатолий Васильевич. Язык и среда программирования R : Учебное пособие / Финансовый университет при Правительстве Российской Федерации, 2026. - 162 с. - Текст : электронный.Швецкий, Михаил Владимирович. Программирование: математическая логика : учебник для вузов / М. В. Швецкий, М. В. Демидов, А. В. Голанова, И. А. Кудрявцева., 2026. - 675 с. - Текст : электронный.Подбельский, Вадим Валериевич. Программирование. Базовый курс С# : учебник для вузов / В. В. Подбельский., 2026. - 369 с. - Текст : электронный.Черпаков, Игорь Владимирович. Основы программирования : учебник и практикум для вузов / И. В. Черпаков., 2026. - 196 с. - Текст : электронный.
Показать все результатыПросмотр издания Электронно-библиотечная система «Юрайт» , требуется авторизация