В этом разделе мы докажем несколько неожиданный результат, состоящий в том, что существуют универсальные программы, то есть программы, которые в некотором смысле реализуют все другие программы. Этот результат является одним из основных результатов теории вычислимости.
Определение 6.1. Универсальной функцией для n -местных вычислимых функцийназывается (n+ 1)-местная функция
Для примера рассмотрим функцию . Эта функция реализует все одноместные вычислимые функции . Действительно, для произвольного неотрицательного целого числа т функция совпадает с функцией . Таким образом, название функции вполне соответствует классу вычисляемых ею одноместных функций.
Ниже для простоты вместо будем писать .
Теорема 6.1.Для каждого натурального числа n универсальная функция вычислима.
Доказательство. Покажем, как можно вычислить значение функции для заданного числа m и фиксированного набора (x1. xn). Неформальная процедура вычисления значения состоит в следующем: «Декодируйте число m и восстановите программу Рm. Затем имитируйте вычисление по этой программе.
sxematube — бесплатные проверенные программы для компьютера, универсальный справочник радиодеталей
Если вычисление по программе заканчивается, требуемое значение содержится в регистре R1». По тезису Черча заключаем, что функция вычислима.
Определение 6.2. Любая программа Р ( n) , вычисляющая функцию , называется универсальной программой.
Универсальные программы полностью соответствуют своему названию. Действительно, так как универсальная программа Р ( n) позволяет вычислить любую n- местную вычислимую функцию, то, по сути дела, программа Р ( n) заменяет абсолютно все программы для вычисления n- местных функций.
Проиллюстрируем теперь, как использовать вычислимость универсальных функций в диагональных построениях.
Воспользуйтесь поиском по сайту:
studopedia.org — Студопедия.Орг — 2014-2023 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.012 с) .
Источник: studopedia.org
Универсальные прикладные программы
· специализированные профессиональные программы (проблемно-ориентированные).
Эти программы используются практически во всех областях деятельности для решения общих задач.
Текстовые редакторы. Эти программы обеспечивают функции ввода и редактирования текста в формате ASCII. Текстовые процессоры. Обеспечивают функции ввода, редактирования, форматирования и верстки. Допускают использование в документе нетекстовых фрагментов (таблиц, рисунков).
В текстовых процессорах используется принцип визуализации работы пользователя, который основан на концепции WYSIWYG (What You See Is What You Get). Для хранения текстовых данных текстовые процессоры используют собственные форматы. Для совместимости между различными текстовыми процессорами используются программы-конверторы, которые преобразуют данные из одного формата в другой. Примеры тестовых программ: ЛЕКСИКОН, MS WORD, WORDPerfect фирмы Corel, WORD Pro фирмы Lotus, Just Write фирмы Symantic.
КАКИЕ ПРОГРАММЫ УСТАНОВИТЬ НА СВОЙ КОМПЬЮТЕР ИЛИ НОУТБУК
Электронные таблицы (процессоры электронных таблиц (табличные процессоры) – это таблицы, обладающие 2 свойствами:
¨ возможность автоматического расчета значения в ячейках таблицы на основе значений в других ячейках по заданным формулам;
¨ возможность автоматического перерасчета по формулам при изменении исходных данных.
Для реализации этих свойств столбцы и сроки электронной таблицы имеют определенные имена. Каждая ячейка также имеет имя (адрес), сформированный из имен столбца и строки, на пересечении которых находится ячейка.
Второй функцией табличных процессоров является обеспечение работы с деловой графикой. Деловая графика – это отображение числовых данных, содержащихся в электронной таблице, в виде различного рода диаграмм.
Примеры: MS Excel, Lotus 1-2-3, Quattro Pro, SuperCalk.
Издательские системы. Предназначены для подготовки рекламных буклетов, оформления газет, журналов и книг. Основная их функция – это верстка, т. е. размещение текста по страницам документа, вставка рисунков, использование различных изобразительных эффектов и т. д. Примеры: PageMaker фирмы Adobe, QuarkXpress фирмы Quark, Ventura Publisher.
Графические редакторы. Предназначены для создания и обработки графических изображений. Поскольку по способу кодирования информации различают растровую и векторную графику, соответственно, графические редакторы можно также разделить на растровые и векторные. Примеры: Painbrush, Aldus Photostyler, Adobe PhotoShop, Corel Draw, 3DStudioMAX.
Программа подготовки электронных презентаций. — Электронная презентация – это последовательность видов экрана монитора, предназначенная для сопровождения выступлений или распространения информации. Каждый вид экрана, называемый слайдом, может содержать текстовые и графические элементы.
Также в презентации могут использоваться анимационные и звуковые эффекты. Презентация демонстрируется на обычных компьютерных мониторах или на больших проекционных экранах. Примеры: PowerPoint фирмы Microsoft, Freelance Graphics фирмы Lotus, Charisma фирмы Micrografx, Harvard Graphics фирмы Software Publishing.
Система управления базами данных. Этот класс программ предназначен для разработки и управления баз данных. Компьютерная база данных (БД) – это совокупность структурированных данных об объектах какой-либо предметной области. Примеры: Lotus Approach, DataBase, Paradox, Microsoft Access, FoxPro, Clarion, Oracle, Microsoft SQL Server, Sybase SQL Server, Informix.
Правовые БД содержат тексты нормативных документов и предоставляют возможности поиска, распечатки и т. д. Примеры: Гарант, Кодекс, Консультант-Плюс, Юрисконсульт и т. д.
Программы-органайзеры. Эти программы предназначены для планирования рабочего времени, ведения адресной книги и других учетных задач. Примеры: Lotus Organizer, Sidekick фирмы Starfish Software, Microsoft Project, TimeLine фирмы Symantec и др.
Программы автоматического перевода текстов, проверки правописания, распознавания образов. Позволяют переводить текст, осуществляют проверку орфографии и грамматики, распознают символы. Примеры: FineReader фирмы Бит, Cunie-form фирмы Cognitive Technologies. Переводчики: Stylus фирмы ПроМТ, Сократ фирмы Арсеналъ и др.
Системы автоматизированного проектирования (САПР). Позволяют осуществлять черчение и конструирование различных предметов и механизмов с помощью компьютера. Примеры: AutoCad фирмы AutoDesk, «Компас» фирмы Аскон, T-Flex CAD фирмы Топсистемы.
В настоящее время существует тенденция к объединению универсальных прикладных программ в так называемые офисные пакеты или пакеты прикладных программ. Офисные программы – это программы, используемые как инструмент при создании документов в повседневной деятельности. Программы, входящие в состав такого пакета, обладают единообразным пользовательским интерфейсом, что облегчает их освоение и использование.
Базовый состав офисного пакета:
1. текстовый процессор;
2. табличный процессор;
3. система управления базами данных;
4. программа подготовки электронных презентаций;
5. графический редактор;
6. коммуникационная программа + органайзер.
Ярким примером пакета прикладных программ является Microsoft Office:
1. текстовый процессор MS WORD;
2. электронная таблица MS EXCEL;
3. СУБД MS ACCESS;
4. программа подготовки электронных презентаций MS PowerPoint;
5. информационный менеджер Outlook.
Источник: studopedia.su
Универсальные программы для компьютера это
Всё программное обеспечение (ПО), выполняемое устройствами вычислительной техники, делится на прикладное и системное. Системное ПО призвано сделать аппаратуру ЭВМ доступной пользователю и с повседневной работе конкретного пользователя в явном виде не применяется. К системному ПО относят операционные системы (DOS, Windows, Linux, …), служебные программы — утилиты (программы для тестирования и настройки аппаратуры CheckDisk, Defrag, антивирусы DrWeb, AVP,.), а также языки программирования (Basic, Си, SQL, …). С прикладными программами непосредственно работает пользователь; они предназначены для решения личных, производственных (офисных) или научных задач.
Универсальные офисные прикладные программы обычно подразделяют на следующие группы.
2. Настольные издательские системы. Предназначены для подготовки серийных печатных изданий — листовок, газетной и книжной продукции. Обладают бо’льшими возможностями оформления, в том числе графического, чем текстовые процессоры, работают с любыми форматами конечной продукции, имеют возможность вывода результата как в файл, так и непосредственно на типографское оборудование. Пример такого программного продукта — Page Maker.
3. Табличные процессоры. Обладают развитыми средствами создания, хранения, представления и обработки таблично представленной информации. Допускают работу с текстовой, графической, цифровой информацией и взаимную их конвертацию. Однако при всей своей многофункциональности табличные процессоры не предназначены для профессиональной работы с базами данных.
Примеры табличных процессоров — MS Office Excel, OpenOffice Calc, Lotus.
4. Графические редакторы. В зависимости от типа обрабатываемых графических изображений подразделяются на векторные (типовой формат файла wmf — windows metafile) и растровые (типовой формат файла bmp — bit map). Примерами таких пакетов программ являются соответственно CorelDraw и Photoshop. По разнообразию инструментов для обработки изображений эти редакторы целесообразно также называть процессорами.
5. Пакеты демонстрационной графики (редакторы презентаций). Предназначены для создания, редактирования и воспроизведения информации в виде презентаций (последовательности кадров). Типичным представителем таких программ является MS PowerPoint из пакета MS Office.
6. Системы мультимедиа. Мультимедиа — дословно «многосредовость», возможность одновременной выдачи информации одновременно в нескольких формах, в основном аудио и визуальной.
Возможности программ, работающих по принципу мультимедиа, должны обеспечиваться поддержкой со стороны аппаратуры компьютера (ёмкие сменные накопители, устройства вывода звука) и операционной системы (многозадачность). По выполняемым с мультимедиа-информацией операциям программы мультимедиа условно разделяют на просмотрщики (браузеры, вьюверы, плейеры — от соответствующих англ. глаголов browse — просматривать, view — видеть, play — проигрывать) и редакторы.
Примеры просмотрщиков — Windows Media Player, Winamp, RealPlayer, ACDSee, редакторов — Adobe Premier. Аудиовидеоинформация, особенно качественная, занимает достаточно большой объём памяти. Для уменьшения занимаемого места практически вся мультимедиа-информация архивируется (сжимается, упаковывается, кодируется). Примеры сжатых форматов: Mp3 для звука и Mpeg4 для видео.
Для декодирования сжатых мультимедиа-файлов в состав операционной системы должны входить драйверы-декодеры, а для упаковки после редактирования — драйверы-кодеры. Стандартные пакеты, способные выполнять обе названные операции, получили название кодеков (КОдер + ДЕКодер).
7. Организаторы работ. Предназначены для автоматизации процедур планирования различных ресурсов: времени, денег, материалов, работников различных специальностей. Используются в повседневной практике обычного человека в форме электронных ежедневников, органайзеров, более сложные применяются в управлении распредёленными во времени проектами (поэтапная модернизация предприятия, строительство, производство сложной продукции). Примерами организаторов работ являются программы MS Project, Time Line
8. Системы управления базами данных (СУБД) — предназначены для организации процедур хранения, выборки и защиты структурированных данных. Большинство СУБД целесообразно отнести к системному ПО, так как непосредственно пользователь с СУБД не работает: это системы InterBase, Oracle, MySQL. Примером прикладной, пользовательской СУБД может являться СУБД MS Access из пакета MS Office.
Обращения к СУБД обычно выполняются на специализированном языке структурированных запросов SQL (Structure Query Language), абстрагированном от любой прикладной области. Примерами операторов языка SQL являются команды создания и удаление таблицы данных, создания и удаления записи, выборка данных по указанным критериям, команды назначения прав доступа.
9. Системы автоматизированного проектирования (САПР). Примерами таких систем служат AutoCAD, MathCAD, PCAD, MS Visio, Компас График и другие. В отличие от векторных графических редакторов, помимо развитой графической подсистемы, позволяющей получить чертежи любой степени сложности, САПР позволяют выполнить математическое моделирование проектируемого объекта, рассчитать его характеристики, подобрать материалы и инструменты для реализации, оформить полный пакет технической документации, а при необходимости организовать вывод результатов не только в виде твердой или электронной копии, но и непосредственно на технологическое оборудование, используемое при производстве конкретной продукции. В области экономики наиболее широко применяется пакет Visio, входящий в последние версии MS Office.
11. Экономические, математические, аналитико-статистические и другие программы. К этому классу условно можно отнести все программные продукты, не вошедшие в предыдущие группы.
Данная классификация не претендует на полноту и универсальность и непрерывно корректируется в связи с увеличением числа задач, решаемых с использованием вычислительной техники.
Источник: studbooks.net