Написать рефераты, курсовые и дипломы самостоятельно.  Антиплагиат.
Студенточка.ru: на главную страницу. Написать самостоятельно рефераты, курсовые, дипломы  в кратчайшие сроки
Рефераты, курсовые, дипломные работы студентов: научиться писать  самостоятельно.
Контакты Образцы работ Бесплатные материалы
Консультации Специальности Банк рефератов
Карта сайта Статьи Подбор литературы
Научим писать рефераты, курсовые и дипломы.


подбор литературы периодические источники литература по предмету

Теория функциональных программ



Год выпуска: 2014
Автор: Андрей Миронов
Издательство: LAP Lambert Academic Publishing
Страниц: 176
ISBN: 9783659579875
Описание
В книге рассматриваются математические модели и методы анализа функциональных программ. Основное внимание уделено теории функций, вычисляемых фукциональными программами (эти функции называются наименьшими неподвижными точками функциональных программ). Также излагаются основные методы верификации функциональных программ: метод вычислительной индукции и метод структурной индукции. В книге содержится большое количество задач на доказательство различных свойств функций, вычисляемых функциональными программами. Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям "теоретические основы информатики" и "информационная безопасность". Также она представляет интерес для специалистов в данных областях.


Похожие книги

  1. И.М. Лемешевский. Экономическая теория. Часть 1. Основы. Вводный курс. – М.: ФУАинформ, 2002. – 640 с.
  2. Н.Н. Воробьев. Теория рядов. – СПб.: Лань, 2002. – 416 с.
  3. Актуальные проблемы современной лингвистики. – М.: Флинта, Наука, 2009. – 416 с.
  4. Н.К. Гарбовский. Теория перевода. – М.: Издательство МГУ, 2007. – 544 с.
  5. Л.Д. Кудрявцев. Курс математического анализа. В 3 томах. Том 3. Гармонический анализ. Элементы функционального анализа. – М.: Дрофа, 2006. – 352 с.
  6. П.Н. Князев. Функциональный анализ. – М.: Либроком, 2009. – 208 с.
  7. А.Г. Порошкин. Теория рядов. – М.: Либроком, 2009. – 128 с.
  8. Л.А. Люстерник, В.И. Соболев. Краткий курс функционального анализа. – СПб.: Лань, 2009. – 272 с.
  9. М.Н. Григорьев, С.А. Уваров, В.В. Ткач. Коммерческая логистика. Теория и практика. – М.: Юрайт, 2012. – 490 с.
  10. В.П. Михайлов. Дифференциальные уравнения в частных производных. – М.: Главная редакция физико-математической литературы издательства "Наука", 1976. – 394 с.
  11. Е.А. Барбашин. Введение в теорию устойчивости. – М.: Либроком, 2012. – 224 с.
  12. А.В. Ким, В.Г. Пименов. i-Гладкий анализ и численные методы решения функционально-дифференциальных уравнений. – М.: НИЦ "Регулярная и хаотическая динамика", 2004. – 256 с.
  13. В.И. Богачев, О.Г. Смолянов. Действительный и функциональный анализ. – М.: Регулярная и хаотическая динамика, 2011. – 728 с.
  14. Н.И. Цуканова, Т.А. Дмитриева. Теория и практика логического программирования на языке Visual Prolog 7. – М.: Горячая Линия - Телеком, 2011. – 232 с.
  15. А.Р. Миротин. Функциональный анализ. Мера и интеграл. – М.: Либроком, 2013. – 160 с.
  16. А.Г. Порошкин. Теория рядов. – М.: Либроком, 2013. – 128 с.
  17. Андрей Миронов. Теория функциональных программ. – М.: LAP Lambert Academic Publishing, 2014. – 176 с.

Образцы работ

Тема и предметТип и объем работы
Психологические особенности типа темперамента и вербального мышления детей старшего дошкольного возраста
Психология
Диплом
88 стр.
Разработка антикризисной программы предприятия "Санаторий профилакторий"
Антикризисное управление
Диплом
148 стр.
Развитие мышления в младшем школьном возрасте
Педагогика
Курсовая работа
43 стр.
Исследование особенностей Социального развития дошкольника с использованием развивающей программы
Педагогика
Диплом
80 стр.



Задайте свой вопрос по вашей теме

Гладышева Марина Михайловна

marina@studentochka.ru
+7 911 822-56-12
с 9 до 21 ч. по Москве.
Контакты
marina@studentochka.ru
+7 911 822-56-12
с 9 до 21 ч. по Москве.
Поделиться
Мы в социальных сетях
Реклама



Отзывы
Екатерина
Примите искренние слова благодарности за тот труд, который вы проделали. Работа после вашего сопровождения замечательная! Мне очень понравилась! Защита прошла прекрасно, я получила "4" и то только потому, что не уложилась в регламент с докладом. Вы и Ваша команда - просто молодцы! Желаю Вам всего самого доброго! Удачи! Счастливо!