Программные средства. Программирование на ЭВМ (Математическое программирование - см. 519.8). Компьютерные программы. Языки программирования. Системное программное обеспечение. Компьютерная инфекция. Компьютерная вирусология

Издание содержит теоретические сведения о разработке рекурсивных программ на языке С++. Приведены примеры рекурсивных программ и соответствующих алгоритмов.

Учебно-методическое пособие содержит базовый теоретический материал и большое количество практических творческих заданий, позволяющих получить основные навыки работы с векторной графикой в среде графического редактора Inkscape. Пособие ориентировано на уровень начинающего пользователя и может использоваться как на учебных занятиях, так и для самостоятельного изучения, как студентами и преподавателями высших учебных заведений, так и школьниками.

Ежемесячный теоретический и прикладной научно-технический журнал "ПРОГРАММНАЯ ИНЖЕНЕРИЯ" В журнале освещаются вопросы разработки и производства программного обеспечения для систем различного назначения, включая языки, платформы, методы, технологии и средства спецификации, разработки, аттестации, модернизации, сопровождения и управления проектированием.

Журнал основан в 1975 году и публикует статьи по всем проблемам, связанным с теоретическим и практическим программированием: операционные системы, технологии программирования, языки программирования и компиляторы, параллельное программирование, верификация и тестирование программ, машинная графика, компьютерная алгебра и т. п. Журнал предназначен для исследователей, практиков и студентов.

В наши дни компьютеры с несколькими многоядерными процессорами стали нормой. Стандарт C++11 языка C++ предоставляет развитую поддержку многопоточности в приложениях. Поэтому, чтобы сохранять конкурентоспособность, вы должны овладеть принципами и приемами их разработки, а также новыми средствами языка, относящимися к параллелизму. Книга «Параллельное программирование на С++ в действии» не предполагает предварительных знаний в этой области. Вдумчиво читая ее, вы научитесь писать надежные и элегантные многопоточные программы на C++11. Вы узнаете о том, что такое потоковая модель памяти, и о том, какие средства поддержки многопоточности, в том числе запуска и синхронизации потоков, имеются в стандартной библиотеке. Попутно вы познакомитесь с различными нетривиальными проблемами программирования в условиях параллелизма.

Пособие состоит из трех тематических разделов: первый включает тексты об основных принципах информационной защиты, второй – о компьютерных вирусах, третий – о способах защиты (ключах и криптографии). Предлагаются тексты для ознакомительного чтения и краткого изложения содержания прочитанного. Тексты представляют собой статьи или извлечения из статей англоязычных авторов. Представлены также упражнения на понимание текста, отработку и закрепление лексико-грамматических конструкций, развитие навыков устной речи.

Предназначены для студентов, обучающихся по специальности 230103.51 Автоматизированные системы обработки информации и управления (по отраслям) (дисциплина «Информатика»), очной формы обучения.

Учебно-методическое пособие подготовлено на кафедре программного обеспечения и администрирования информационных систем факультета ПММ Воронежского государственного университета.

В пособии дано краткое изложение основ программирования на языке Си с примерами. Рассмотрены следующие темы: программы линейной и разветвляющейся структуры; циклы с параметром; циклы с предусловием и постусловием; указатели и ссылки; функции и способы передачи аргументов; одномерные массивы; сортировка массивов; двумерные массивы; символьные массивы и строки; массивы структур; текстовые файлы; бинарные файлы. Приведены задания к лабораторным работам.

Ежемесячный теоретический и прикладной научно-технический журнал "ПРОГРАММНАЯ ИНЖЕНЕРИЯ" В журнале освещаются вопросы разработки и производства программного обеспечения для систем различного назначения, включая языки, платформы, методы, технологии и средства спецификации, разработки, аттестации, модернизации, сопровождения и управления проектированием.

В наши дни компьютеры с несколькими многоядерными процессорами стали нормой. Стандарт C++11 языка C++ предоставляет развитую поддержку многопоточности в приложениях. Поэтому, чтобы сохранять конкурентоспособность, вы должны овладеть принципами и приемами их разработки, а также новыми средствами языка, относящимися к параллелизму. Книга «Параллельное программирование на С++ в действии» не предполагает предварительных знаний в этой области. Вдумчиво читая ее, вы научитесь писать надежные и элегантные многопоточные программы на C++11. Вы узнаете о том, что такое потоковая модель памяти, и о том, какие средства поддержки многопоточности, в том числе запуска и синхронизации потоков, имеются в стандартной библиотеке. Попутно вы познакомитесь с различными нетривиальными проблемами программирования в условиях параллелизма.

В методических указаниях содержится описание лабораторных работ по изучению архитектуры и особенностей программирования современных однокристальных ЭВМ. Приведен исчерпывающий теоретический материал, по каждой теме даны примеры программ, способствующие самостоятельному освоению предмета.

Популярность и распространенность различных приложений, реализованных с помощью языка Java, обуславливает интерес к нему и необходимость более подробного рассмотрения особенностей его применения. Но прежде чем перейти к особенностям, следует ознакомиться с базовыми принципами, реализованными в нем, и основными конструкциями этого языка. Именно этому будет посвящен материал, изложенный в данном пособии.

Рассмотрены задачи обтекания тел различной геометрической формы при различных скоростях набегающего потока (дозвуковых и сверхзвуковых) в плоском и осесимметричном случаях во всем диапазоне проницаемости: от непротекания до свободного течения. Приведены описания программ по расчету трехмерных нестационарных задач с учетом гравитационного поля (задач неустойчивости Рэлея — Тейлора) с помощью разностной схемы метода крупных частиц на треугольной, шестиугольной и ортогональной расчетных сетках. К учебному пособию прилагается компакт-диск, содержащий тексты 20 рабочих программ на алгоритмическом языке ФОРТРАН, предназначенных для решения задач аэрогидродинамики с помощью ППП «КРУЧА-2».

Учебное пособие подготовлено на кафедре математических методов исследования операций факультета прикладной математики, информатики и механики Воронежского государственного университета.

Усеянная беспечными иллюстрациями и смесью развлекательных и практических примеров программ, книга «Изучай Erlang во имя добра!» является отличным пунктом отправления в иногда безумный, но всегда восхитительный мир Erlang. Вероятно, вас привело к Erlang обещание конкурентности или параллелизма. Возможно, это аспект языка, касающийся распределённых вычислений, а может быть, необычный подход к устойчивости против сбоев. Одним из величайших препятствий на пути изучения Erlang является не столько то, что идеям его свойственна сложность, но и то, что они сильно отличаются от идей большинства других языков, которые вам встречались. Переменные в Erlang не переменны. Вам не следует программировать в ожидании ошибки. Процессы действительно очень дёшевы, и вы можете иметь тысячи их одновременно, даже миллионы, если вам так захочется. Ох, и потом этот странный синтаксис. Erlang совершенно не похож на Java; нет ни методов, ни классов, ни объектов. И, обождите... знак равенства вовсе не означает «равно»...

Учебно-методическое пособие подготовлено на кафедре программного обеспечения и администрирования информационных систем факультета прикладной математики, информатики и механики Воронежского государственного университета.

Научно-технический журнал ориентирован на освещение вопросов разработки и применения перспективных интеллектуальных систем и технологий. Включен в Перечень ВАК. Выходит с 1999 г.

Содержатся краткие теоретические сведения, необходимые для выполнения лабораторной работы по дисциплине «Информатика», приведены варианты индивидуальных заданий, сформулированы контрольные вопросы по изучаемой теме.

Основной целью дисциплины является ознакомление студентов с современными российскими и международными стандартами в области организации разработки, эксплуатации и оценки качества информационных продуктов и услуг, принципами их применения на практике и практическим опытом разработки информационных продуктов, ознакомление студентов с современными технологиями проектирования, разработки и анализа структур и функций информационных продуктов и технологий, а также технологиями тестирования и эксплуатации информационных продуктов. Используя представленный конспект лекций при подготовке к любой форме контроля, студенты смогут в сжатые сроки систематизировать знания по данному предмету, сформулировать план ответов на вопросы экзаменатора.

Журнал основан в 1975 году и публикует статьи по всем проблемам, связанным с теоретическим и практическим программированием: операционные системы, технологии программирования, языки программирования и компиляторы, параллельное программирование, верификация и тестирование программ, машинная графика, компьютерная алгебра и т. п. Журнал предназначен для исследователей, практиков и студентов.

Журнал основан в 1975 году и публикует статьи по всем проблемам, связанным с теоретическим и практическим программированием: операционные системы, технологии программирования, языки программирования и компиляторы, параллельное программирование, верификация и тестирование программ, машинная графика, компьютерная алгебра и т. п. Журнал предназначен для исследователей, практиков и студентов.

Во втором томе описывается создание сборочных чертежей, сборок и спецификаций, создание листовых деталей и поверхностей, построение вспомогательных плоскостей и геометрических объектов, а также рассматривается настройка системы. Система КОМПАС-3D V10 – это мощная, постоянно совершенствующая система автоматизированного проектирования (САПР) среднего уровня, максимально настроенная под российские стандарты. В настоящее время системой КОМПАС владеют свыше 2,5 тысяч предприятий в России и ближнем зарубежье. Эта система содержит мощные средства параметрического твердотельного и поверхностного проектирования деталей и узлов, создания плоских чертежей по пространственной модели, средства просмотра и анализа конструкций, установки размеров, оформления чертежей, создание спецификаций в ручном и полуавтоматическом режимах, автоматического выполнения простановки допусков по заданным предельным отклонениям и много других возможностей. Система предъявляет минимальные требования к компьютеру, быстро устанавливается и отличается высокой эффективностью и производительностью.

Во втором томе описывается создание сборочных чертежей, сборок и спецификаций, создание листовых деталей и поверхностей, построение вспомогательных плоскостей и геометрических объектов, а также рассматривается настройка системы. Система КОМПАС-3D V10 — это мощная, постоянно совершенствующая система автоматизированного проектирования (САПР) среднего уровня, максимально настроенная под российские стандарты. В настоящее время системой КОМПАС владеют свыше 2,5 тысяч предприятий в России и ближнем зарубежье. Эта система содержит мощные средства параметрического твердотельного и поверхностного проектирования деталей и узлов, создания плоских чертежей по пространственной модели, средства просмотра и анализа конструкций, установки размеров, оформления чертежей, создание спецификаций в ручном и полуавтоматическом режимах, автоматического выполнения простановки допусков по заданным предельным отклонениям и много других возможностей. Система предъявляет минимальные требования к компьютеру, быстро устанавливается и отличается высокой эффективностью и производительностью.

Дисциплина направлена на изучение основ управления предприятием. Предусматривается изучение методов и функций управления. Оптимизация информационных потоков предприятия. Основой целью преподавания дисциплины «Информационный менеджмент» является формирование у будущих специалистов теоретических знаний и практических навыков в области выбора и внедрения программных продуктов, создания информационных систем предприятия, управления информационными проектами. Используя представленный конспект лекций при подготовке к любой форме контроля, магистры смогут в сжатые сроки систематизировать знания по данному предмету, сформулировать план ответов на вопросы экзаменатора.

Рассмотрены основные знания в области информационных технологий, необходимые для выполнения научно-исследовательской, инновационной, научно-педагогической, производственно-технологической и проектно-технологической профессиональной деятельности: структура операционных систем, алгоритмы планирования задач, механизмы межзадачного взаимодействия, инструментальное программное обеспечение для разработки систем технологического мониторинга, принципы построения распределенных систем автоматизации.

Ежемесячный теоретический и прикладной научно-технический журнал "ПРОГРАММНАЯ ИНЖЕНЕРИЯ" В журнале освещаются вопросы разработки и производства программного обеспечения для систем различного назначения, включая языки, платформы, методы, технологии и средства спецификации, разработки, аттестации, модернизации, сопровождения и управления проектированием.

Журнал основан в 1975 году и публикует статьи по всем проблемам, связанным с теоретическим и практическим программированием: операционные системы, технологии программирования, языки программирования и компиляторы, параллельное программирование, верификация и тестирование программ, машинная графика, компьютерная алгебра и т. п. Журнал предназначен для исследователей, практиков и студентов.

LaTeX – система верстки с открытым исходным кодом для набора и оформления текста, которая позволяет создавать печатные документы и файлы PDF профессионального качества. Трудности в освоении столь мощного и сложного инструмента поначалу могут обескуражить пользователя. Эта книга упрощает начало работы с LaTeX: вашему вниманию предлагается множество пошаговых примеров, которые помогут быстро достичь ощутимых результатов.

Учебное пособие подготовлено на кафедре электроники Воронежского государственного университета.

Workshop on Program Semantics, Specification and Verification: Theory and Applications is the leading event in Russia in the field of applying of the formal methods to software analysis. Proceedings of the fourth workshop dedicated to formalisms for program semantics, formal models and verification, programming and specification languages, etc.

Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3. В основу книги положен многолетний опыт преподавания авторами дисциплины «Дискретная математика» на факультете бизнес-информатики, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Национального исследовательского университета Московский энергетический институт.

Рассматривается проблема обучения творческой деятельности — планомерное решение творческих задач, основанное на методологических знаниях, исходя из того, что метод решения задач соответствует взаимосвязям между категориями методологических знаний. Приводятся четыре типа методологических знаний: структура деятельности, математические модели, логические отношения, структура языков программирования. С позиций деятельностного подхода механизмы творческой деятельности представлены как система определенных действий и приемов. Дается конкретная методика «переноса» взаимосвязей на творческую задачу с установлением ранее неизвестных взаимосвязей между искомым способом ее решения и известными составными частями — условием и требованием. Третье издание (предыдущие издания — ЮНИТИ, 2003, 2007) дополнено новой главой «Рекомендации к построению занятий по курсу «Психология творческой деятельности».