Приложение
для AndroidПолное описание
| УДК | |
| 510.755(075.8) |
| ББК | |
| 32.973я73 |
| РУБ | |
| 01.04.02 | |
| 02.03.02 | |
| 09.03.01 | |
| 09.03.02 | |
| 09.03.03 | |
| 09.03.04 | |
| 09.04.01 | |
| 09.04.02 | |
| 09.04.03 | |
| 09.04.04 | |
| 09.05.01 | |
| 45.03.04 |
Рубрики:
Информатика. Вычислительная техника
Аннотация: В учебнике рассмотрены вопросы которые касаются языков логического программирования: особенности применения синтаксис функции. Приведено большое количество содержательных примеров решения задач демонстрирующих возможности языков логического программирования. Соответствует требованиям федеральных государственных образовательных стандартов высшего образования последнего поколения. Для студентов высших учебных заведений обучающихся по направлениям подготовки «Информационные технологии автоматизированных систем» «Программная инженерия» «Прикладная информатика а также лиц самостоятельно изучающих логическое программирование.
Доп. точки доступа:
Суворов, Александр Олегович
Национальный исследовательский университет "Высшая школа экономики"
Электронная библиотечная система ZNANIUM
Держатели документа:
ЭБС Znanium : 127282, г. Москва, ул. Полярная, д.31В, стр.1 (Шифр в БД-источнике (ZNANIUM): RU\infra-m\znanium\bibl\2056738)
Шифр в сводном ЭК: 2b558dfdc98f9e0b80ee9bd2bb4020b2
Шаякбаров, Нафис Фанильевич. Основы разработки приложений под iOS : учебно-методическое пособие / Н. Ф. Шаякбаров, А. А. Петренко, 2020. - 97 с. - Текст (визуальный) : непосредственный.Петренко, Александр Анатольевич. Функциональное программирование : учебное пособие / А. А. Петренко, А. О. Суворов, Н. Ф. Шаякбаров, 2022. - 158, [1] с. - Текст (визуальный) : непосредственный.Петренко, Александр Анатольевич. Логическое программирование : Учебник / Пермский Национальный Исследовательский Политехнический Университет, 2025. - 221 с. - Текст : электронный.
Бродовой В.В. Комплексирование геофизических методов / В. В. Бродовой, 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 с. - Текст : непосредственный.
Показать все результатыКомягин, Дмитрий Львович. Бюджетное право : учеб. пособие / Д. Л. Комягин; под ред. А. Н. Козырина, 2012. - 287 с. - Текст : электронный.Эриашвили, Нодари Дарчоевич. Государственные и муниципальные финансы : учебник / Н. Д. Эриашвили, Т. Ш. Тиникашвили, А. Е. Суглобов [и др.]; под редакцией Г. Б. Поляка, Т. Ш. Тиникашвили, 2020. - 399 с. - Текст : непосредственный.Эриашвили, Нодари Дарчоевич. Налоговое право : учебник / Н. Д. Эриашвили, Е. Н. Колесникова, Г. Х. Хадисов [и др.], 2020. - 511 с. - Текст : непосредственный.Жуков, Алексей Дмитриевич. Промышленное строительство. Здания и сооружения. Защита от коррозии и экология : Монография / А.Д. Жуков, 2021. - 395 с. (Введено оглавление). - Текст : непосредственный.Буркова, Светлана Игоревна. Введение в лингвистику жестовых языков. Русский жестовый язык : Учебник / С.И. Буркова, 2019. - 356 с. (Введено оглавление). - Текст : электронный.Василенко, Евгений Александрович. Техническая графика : Сборник заданий для преподавателей: Учебное пособие: Учебное пособие / Витебский государственный университет им. П.М. Машерова, 2012. - 392 с. - Текст : электронный.Конституционное право : Практикум для бакалавров: Учебное пособие / Белгородский университет кооперации, экономики и права, Курский институт кооперации ф-л, 2016. - 272 с. - Текст : электронный.Лугачев, Михаил Иванович. Экономическая информатика: введение в экономический анализ информационных систем : Учебник / Национальный исследовательский университет "Высшая школа экономики", 2005. - 965 с. - Текст : электронный.Афанасьева Л.П. Экономика предприятия (фирмы) : Учебное пособие / Л. П. Афанасьева, Г. И. Болкина, О. Ф. Быстров, 2010. - 319 с. - Текст : электронный.Крымов, Александр Александрович. Закрепление выпускников образовательных учреждений ФСИН России в территориальных органах Федеральной службы исполнения наказаний : Монография / Академия права и управления Федеральной службы исполнения наказаний, 2012. - 117 с. - Текст : электронный.Максименко В.А. II Международный пенитенциарный форум "Преступление, наказание, исправление" (к 60-летию принятия Минимальных стандартных правил обращения с заключенными и 30-летию принятия Минимальных стандартных правил, касающихся отправления правосудия в отношении несовершеннолетних). Т. 1 : Материалы конференций / В. А. Максименко, А. С. Айрапетян, С. Н. Алексеева, Е. А. Антонян [и др.]., 2015. - 400 с. - Текст : электронный.Исаев, Игорь Андреевич. Методологические проблемы преподавания истории государства и права : Материалы конференций / Московский государственный юридический университет им. О.Е. Кутафина, 2010. - 228 с. - Текст : электронный.Прудников, Владимир Михайлович. Государственное регулирование предпринимательской деятельности : Учебное пособие / Государственный университет управления, 2010. - 232 с. - Текст : электронный.Салищева, Надежда Георгиевна. Актуальные проблемы совершенствования законодательства об административной ответственности: Материалы научно-практической конференции. 30 мая 2013 года, Москва : Материалы конференций / Институт государства и права Российской академии наук, 2014. - 204 с. - Текст : электронный.Борисова О.В. II Международный пенитенциарный форум "Преступление, наказание, исправление" (к 60-летию принятия Минимальных стандартных правил обращения с заключенными и 30-летию принятия Минимальных стандартных правил, касающихся отправления правосудия в отношении несовершеннолетних). Т. 3 : Материалы конференций / Академия права и управления Федеральной службы исполнения наказаний, 2015. - 210 с. - Текст : электронный.Прудников, Владимир Михайлович. Рынок учебной литературы России в условиях модернизации системы образования : Монография / Государственный университет управления, 2006. - 92 с. - Текст : электронный.Витрук, Николай Васильевич. Конституционные ценности: содержание и проблемы реализации. Материалы Международной научно-теоретической конференции 4-6 декабря 2008 г. Т.1 : Материалы конференций / Российский государственный университет правосудия г. Москва, 2010. - 396 с. - Текст : электронный.Новоселова, Людмила Александровна. Научно-практический комментарий судебной практики в сфере защиты интеллектуальных прав : Нормативные документы / Суд по интеллектуальным правам, 2014. - 480 с. - Текст : электронный.Башиев Ж.Н. Поиск баланса частных и публичных интересов в решениях международных и национальных судов : Материалы конференций / Ж. Н. Башиев, Г. И. Богуш, А. Л. Бурков, Г. М. Вельяминов [и др.]., 2013. - 348 с. - Текст : электронный.Аверин, Александр Валентинович. Правотворчество в Российской Федерации: проблемы теории и практики : Материалы конференций / Владимирский юридический институт Федеральной службы исполнения наказаний, 2010. - 576 с. - Текст : электронный.
Показать все результатыАренков И.А. Управление бизнесом в цифровой экономике. Вызовы и решения / И. Ю. Аверин, И. А. Аренков, Ж. С. Беляева [и др.]; под редакцией И. А. Аренкова [и др.], 2019. - 359 с. (Введено оглавление). - Текст : непосредственный.Тапскотт Д. Викиномика : как массовое сотрудничество изменяет все / Дон Тапскотт, Энтони Д. Уильямс; перевод с английского П. Миронов при участии Г. Василенко; редактор Т. Бурмыкина, 2020. - 454, [1] с. (Введено оглавление). - Текст : непосредственный.Болотова, Юлия Александровна. Методы и алгоритмы интеллектуальной обработки цифровых изображений : Учебное пособие / Ю.А. Болотова, 2016. - 208 с. (Введено оглавление). - Текст : непосредственный.Соколов, Артем Викторович. Криптографические конструкции на основе функций многозначной логики : Монография / А.В. Соколов, 2020. - 192 с. (Введено оглавление). - Текст : непосредственный.Философская аналитика цифровой эпохи : Сборник / Санкт-Петербургский государственный университет, 2020. - 368 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Полищук, Юрий Владимирович. Базы данных и их безопасность : Учебное пособие / Ю.В. Полищук, 2022. - 210 с. (Введено оглавление). - Текст : непосредственный.Преображенская, Тамара Викторовна. Информационный менеджмент : Учебник / Т.В. Преображенская, 2011. - 244 с. - Текст : электронный.Леонидова, Галина Федоровна. Настольные издательские системы : Учебное пособие / Г.Ф. Леонидова, 2017. - 136 с. (Введено оглавление). - Текст : электронный.Обуховский, Александр Дмитриевич. Геометрическое моделирование аэродинамических обводов : Учебное пособие / А.Д. Обуховский, 2018. - 66 с. (Введено оглавление). - Текст : электронный.Гребенников, Валерий Федотович. Архитектура средств вычислительной техники. Общие сведения об ЭВМ. Процессоры и устройства управления : Учебное пособие / В.Ф. Гребенников, 2019. - 76 с. (Введено оглавление). - Текст : электронный.Проблеми iнформацiйних технологiй. - Журнал. - Текст : электронный.Андреева, Екатерина. Прогрессивные информационные технологии в современном образовательном процессе : Учебное пособие / Е. Андреева, 2011. - 256 с. (Введено оглавление). - Текст : электронный.Кочетурова, Наталья Александровна. Телекоммуникационные проекты в обучении иностранному языку : Учебное пособие / Н.А. Кочетурова, 2010. - 64 с. (Введено оглавление). - Текст : электронный.Курейчик, Виктор Михайлович. Основы теории эволюционных вычислений : Монография / В.М. Курейчик, 2010. - 222 с. (Введено оглавление). - Текст : электронный.Кальницкая, Наталья Ивановна. Создание твердотельных моделей и чертежей в среде AutoCAD : Учебное пособие / Н.И. Кальницкая, 2009. - 52 с. (Введено оглавление). - Текст : электронный.Трошина, Галина Васильевна. Моделирование сложных поверхностей : Учебное пособие / Г.В. Трошина, 2015. - 91 с. (Введено оглавление). - Текст : электронный.Минин, Игорь Владиленович. Защита конфиденциальной информации при электронном документообороте : Учебное пособие / И.В. Минин, 2011. - 20 с. - Текст : электронный.Гаврилова, Зинаида Павловна. Информационные технологии : Учебное пособие / З.П. Гаврилова, 2011. - 90 с. (Введено оглавление). - Текст : электронный.Алымова, Елена Владимировна. Конечные автоматы и формальные языки : Учебник / Е.В. Алымова, 2018. - 292 с. (Введено оглавление). - Текст : электронный.Гуськова, Ольга Ивановна. Объектно ориентированное программирование в Java : Учебное пособие / О.И. Гуськова, 2018. - 240 с. (Введено оглавление). - Текст : электронный.
Показать все результатыПросмотр издания ЭБС ZNANIUM