Главная
 
Разделы
 
 
ЮрИнфоР
 

 
Парадигма функционального программирования Парадигма функционального программирования
Автор: Жанр: Общие вопросы разработки и тестирования программного обеспечения Издательство: ЮрИнфоР Год: 2012 Страниц: 96 Дата загрузки: 16 марта 2015
   В работе отражены основные направления развития функционального программирования, как на уровне идей, так и на уровне технологий. Материал апробирован на практике в НИЯУ МИФИ, МФТИ, а также в ряде образовательных центров Российской Федерации. В первой части (автор: В.Э. Вольфенгаген) представлен обзор тенденций использования в программировании чистых функций, который годится как для продвинутых, так и для начинающих изучение компьютинга и информационных технологий. Функциональное программирование является развивающимся магистральным направлением, имеющим тенденцию роста в области программной инженерии. Как оказалось, корректность программы гораздо легче доказывать в том случае, когда она написана на функциональном языке. Преобразования функциональных программ значительно упрощаются из-за алгебраического происхождения функций. Применение таких преобразований открывает возможности для разработки инновационных механизмов оптимизации кода. Во второй части (авторы: Л.Ю. Исмаилова, С.В. Косиков) рассматривается фундаментальный для реализация самого подхода функционального программирования путь от логики к программированию: моделирование предметных областей; вычислительные модели; среды вычислений; концептуальное моделирование; категории и таксономии; аппликативные вычислительные системы; комбинаторно-полные системы; выход на инновационные решения и оснащающие их информационные технологии. Материал предназначен в помощь преподавателям, аспирантам и старшекурсникам ИТ-специальностей.
 
Аппликативные вычислительные системы: Труды 3-й международной конференции по аппликативным вычислительным системам Аппликативные вычислительные системы: Труды 3-й международной конференции по аппликативным вычислительным системам
Автор: Жанр: Разное Издательство: ЮрИнфоР Год: 2012 Страниц: 297 Дата загрузки: 25 мая 2015
   Аппликативные вычислительные системы, или АВС, включают системы исчислений объектов, основанные на комбинаторной логике и лямбда-исчислении. Единственное, что существенно разрабатывается в этих системах — это представление об объекте. В комбинаторной логике единственный метаоператор — аппликация, или, по иной терминологии, приложение одного объекта к другому. В лямбда-исчислении два метаоператора — аппликация и функциональная абстракция, позволяющая связывать одну переменную в одном объекте. Возникающие в этих системах объекты ведут себя как функциональные сущности, имеющие следующие особенности: 1. Число аргументных мест, или арность объекта, заранее не фиксируется, но проявляет себя постепенно, во взаимодействиях с другими объектами; 2. При конструировании составного объекта один из исходных объектов — функция, — применяется к другому — аргументу, — причем в других контекстах они могут поменяться ролями, то есть функции и аргументы рассматриваются как объекты на равных правах; 3. Разрешается самоприменимость функций, то есть объект может применяться сам к себе. АВС дают основания аппликативному подходу к программированию. Аппликативный компьютинг предполагает комбинационное построение вычисления как относительно самостоятельного блока, пользуясь уже имеющимися блоками вычислений, причем все переменные в каждом блоке вычисления связаны, а сам он — замкнут. Для осуществления аппликативного компьютинга применяют АВС.
 
Деньги, денежные обязанности и денежные взыскания Деньги, денежные обязанности и денежные взыскания
Автор: Жанр: Экономика Издательство: ЮрИнфоР Год: 2012 Страниц: 189 Дата загрузки: 28 июня 2014
   Содержание монографии представляет собой результаты самостоятельно проведённого автором комплексного научного исследования теоретических правовых проблем, связанных с исполнением денежных обязанностей и применением денежных взысканий. В книге на основе анализа многочисленных литературных источников в монографическом стиле излагаются сведения о происхождении денег и денежных повинностей, правовых признаках и видах денег, а также об использовании национальной и иностранной валюты при исполнении денежных обязанностей и применении денежных взысканий. Особое внимание уделено соотношению денежных обязанностей со смежными правовыми институтами, с правовых позиций обстоятельно проанализированы отличительные признаки денежных обязанностей и денежных обязательств. Кроме того, отдельно рассматриваются существующие правовые формы денежных обязанностей, включая налоговые и обязательные не налоговые платежи, а также денежных взысканий. Предлагаемое вниманию читателей издание ориентировано на специалистов, интересующихся соответствующей правовой проблематикой, однако работа может быть также использована студентами и аспирантами вузов, обучающихся по юридической и экономической специальностям, при углублённом изучении вопросов правового регулирования денежного обращения и исполнения денежных обязанностей.
 
Квалификация преступлений: Закон, теория, практика Квалификация преступлений: Закон, теория, практика
Автор: Жанр: Уголовное право Издательство: ЮрИнфоР Год: 2013 Страниц: 568 Дата загрузки: 20 декабря 2015
   В книге на базе действующего уголовного законодательства России освещаются теоретические и практические проблемы квалификации преступлений и состава преступления. Развивается общее учение о составе преступления как юридическом основании квалификации преступлений. Формулируются и обосновываются общие и частные правила.
 
Судебные споры: материалы судебной практики, образцы документов: Книга 3 Судебные споры: материалы судебной практики, образцы документов: Книга 3
Автор: Жанр: Судебная система Издательство: ЮрИнфоР Год: 2003 Страниц: 610 Дата загрузки: 7 октрября 2009
   В книге содержатся материалы судебной и судебно-арбитражной практики разрешения споров, возникающих при исполнении денежных обязательств и осуществлении расчетов, приватизации жилых помещений, иного государственного и муниципального имущества, о признании недействительными актов государственных, муниципальных и иных органов, а также споров, связанных с применением законодательства о защите прав потребителей и законодательства о несостоятельности (банкротстве).
 
Уголовное право: Общая и особенная части. Интенсивный полный курс Уголовное право: Общая и особенная части. Интенсивный полный курс
Автор: Жанр: Уголовное право Издательство: ЮрИнфоР Год: 2002 Страниц: 188 Дата загрузки: 26 марта 2009
   Учебник подготовлен в соответствии с программой курса «Уголовное право» для юридических ВУЗов и факультетов с учетом новейшего российского законодательства и сложившейся правоприменительной практики. Является методически новым, оптимальным средством изучения и освоения курса уголовного права в кратчайший срок. Для студентов, аспирантов и преподавателей юридических ВУЗов.
 
Поручительство: Комментарии, судебная практика и образцы документов Поручительство: Комментарии, судебная практика и образцы документов
Автор: Жанр: Обязательственное (договорное) право. Сборники договоров Издательство: ЮрИнфоР Год: 2013 Страниц: 75 Дата загрузки: 24 сентября 2018
   В сборник включены комментарии, разъясняющие особенности правового регулирования договора поручительства, а также актуальные материалы судебно-арбитражной и судебной практики разрешения споров, возникающих при заключении и исполнении таких договоров. Приводятся образцы и типовые формы договоров поручительства. Издание полезно юрисконсультам и руководителям организаций, индивидуальным предпринимателям, государственным и муниципальным служащим, судьям, иным практическим работникам, а также всем гражданам, изучающим гражданское законодательство.
 
Уступка требования и перевод долга: Официальные разъяснения, судебная практика и образцы документов Уступка требования и перевод долга: Официальные разъяснения, судебная практика и образцы документов
Автор: Жанр: Право собственности и другие вещные права Издательство: ЮрИнфоР Год: 2015 Страниц: 77 Дата загрузки: 26 февраля 2017
   В сборник включены официальные документы Минфина РФ, разъясняющие особенности налогообложения при перемене лиц в обязательствах, а также актуальные материалы судебно-арбитражной и судебной практики разрешения споров, возникающих в связи с уступкой требования и переводом долга. Приводятся образцы договоров об уступке права (требования) и о переводе долга. Издание полезно юрисконсультам и руководителям организаций, индивидуальным предпринимателям, государственным и муниципальным служащим, судьям, иным практическим работникам, а также всем гражданам, изучающим гражданское законодательство.
 
Договоры найма и аренды жилых помещений: образцы документов с комментариями Договоры найма и аренды жилых помещений: образцы документов с комментариями
Автор: Жанр: Жилищное право Издательство: ЮрИнфоР Год: 2015 Страниц: 110 Дата загрузки: 16 февраля 2017
   Разъясняются понятие и виды договоров найма жилых помещений, предусмотренных гражданским и жилищным законодательством Российской Федерации, а также особенности договоров, на основании которых жилые помещения могут быть предоставлены юридическим лицам во временное владение и (или) в пользование. Приводятся образцы договоров долгосрочного и краткосрочного коммерческого найма квартиры, договора аренды жилого помещения, актов сдачи-приемки, других необходимых документов. В брошюре содержатся также утвержденные Правительством РФ типовые договоры социального найма и найма жилых помещений специализированного жилищного фонда (в общежитиях, служебных жилых помещений и др.) Образцы документов снабжены комментариями и примечаниями, которые разъясняют особенности правовых норм, применяемых на практике при заключении и исполнении соответствующих договоров. Издание адресовано всем гражданам, сдающим внаем и нанимающим жилые помещения, руководителям и специалистам организаций, нанимающих жилые помещения, сотрудникам органов государственной власти и местного самоуправления, а также судьям, адвокатам, нотариусам, прокурорам, другим практикующим юристам, научным работникам и иным гражданам, интересующимся гражданским и жилищным законодательством Российской Федерации.
 
Сделки с квартирами и жилыми домами: комментарии и образцы документов Сделки с квартирами и жилыми домами: комментарии и образцы документов
Автор: Жанр: Жилищное право Издательство: ЮрИнфоР Год: 2012 Страниц: 143 Дата загрузки: 18 марта 2015
   С учетом сложившейся практики разъясняются правила современного законодательства, регулирующего гражданско-правовой оборот таких объектов недвижимости, как жилые дома и квартиры. Приводятся образцы договоров и иных документов, при помощи которых получают юридическое оформление наиболее распространенные сделки с жилыми помещениями — купля-продажа, мена, дарение, аренда, безвозмездное пользование, наем. Образцы снабжены комментариями и примечаниями, которые разъясняют особенности правовых норм, применяемых на практике при заключении таких договоров, широко апробированы и успешно применяются на практике. В брошюру включены также типовые формы документов, утвержденные Правительством РФ. Издание адресовано всем гражданам, а также руководителям и специалистам организаций, которые совершают сделки с жилой недвижимостью, сотрудникам органов государственной власти и местного самоуправления, а также судьям, адвокатам, нотариусам, прокурорам, другим практикующим юристам, научным работникам и иным гражданам, интересующимся операциями с недвижимостью.
 
Applicative Computing: Its Quarks, Atoms and Molecules Applicative Computing: Its Quarks, Atoms and Molecules
Автор: Жанр: Прочее Издательство: ЮрИнфоР Год: 2010 Страниц: 62 Дата загрузки: 24 июля 2011
   This work covers the advanced topics in main ideas of computing in general. This material is approved in practice of NRNU МЕР hi, MIPT and several other educational centers of the Russian Federation. Its 1st part represents an outlook of computations, which is achieved by adoption of the atomic doctrine for specified reference system of primary objects. The main attention is given to finding-out of technological features of computations with objects. Their interaction is considered in applicative environment that allows finding out internal structure of usual operations which knowledge allows understanding their properties. The choice of initial constant entities, considered as primary and referred as combinators is discussed. These initial entities are used as the basic «building blocks», entering in applicative environment in interaction with each other. This interaction results in the constructs, giving representative sets of usual operators and to the embedded computing systems. The 2nd part gives some supply of environments for educational and methodical complex of corresponding discipline (EMCD). This material is suitable both for advanced learners and beginners in Computing and Information Technologies as well as in Discrete Mathematics (DM) and Fundamental Basics of Information Technologies (FBIT). It helps for developing the intuition sufficient for successful navigation across the dramatically changing world of innovative information processes which occurs both in nature and technology. Material is especially useful for the instructor, postgraduate and graduate students of IT-specialties and is suitable for the system of training and advancing the qualification of specialists.
 

 

 

 

2011–2021

Яндекс.Метрика Рейтинг@Mail.ru