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

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

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

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

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

Обработка естественного языка (Natural Language Procession — NLP) представляет собой важную область разработки прикладного ПО и, с учетом современных задач ИТ, в будущем эта важность будет только возрастать. Уже сейчас наблюдается рост потребности в приложениях, работающих с естественными языками на основе NLP-методик. В данной книге рассматриваются способы организации автоматической обработки текста с применением таких методик, как полнотекстовый поиск, правильное распознавание имен, кластеризация, классификация, извлечение информации и составление аннотаций. Концепции обработки естественного языка излагаются таким образом, что даже читатели, не обладающие знаниями об этой технологии и о методах статистического анализа, смогут понять их.

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

Изложены основные разделы дискретной математики (теория множеств, математическая логика, графы), теории вероятностей и математической статистики. Рассмотрены предмет и структуры информатики как науки. Представлены основные структуры данных, способы описания алгоритмов и языки программирования. В компьютерном практикуме рассмотрены программное обеспечение и операционные системы Windows.

Книга посвящена применению матричной системы MATLAB в радиотехнических расчетах и в моделировании радиоэлектронных устройств и систем. Впервые описаны новейшие версии MATLAB с пакетами расширения Simulink, Signal Processing Toolbox, Filter Design Toolbox, RF Toolbox и Blockset, Wavelet Toolbox, Control Systems, SimPowerSystems и др. Описаны новейшие пакеты Simscape и SimElectronics моделирования электронных схем. Наряду с функциями командного режима работы описан интерактивный и визуально-ориентированный инструментарий пакетов c графическим интерфейсом пользователя GUI и математическое моделирование систем и устройств в среде Simulink. Описана интеграция MATLAB с современными цифровыми радиоизмерительными приборами и виртуальными лабораториями для управления приборами и обработки реальных осциллограмм.