Следуя А. П. Ершову, мы употребляем термин «теоретическое программирование» в качестве названия математической дисциплины, изучающей синтаксические и семантические свойства программ, их структуру, преобразования, процесс их составления и исполнения. Это словосочетание построено по аналогии с названиями таких наук, как теоретическая физика, теоретическая механика и т. д. В такой аналогии есть глубокий смысл: во всех случаях теоретическая научная дисциплина изучает фундаментальные понятия и законы основной науки и на основании обнаруженных закономерностей строит более частные математические модели исследуемых объектов, на которых ставит и решает прикладные задачи. В нашем случае ситуация усложняется еще тем, что объект моделирования – программа – уже представляет собой абстрактный объект.
В настоящее время сложились следующие основные направления исследований теоретического программирования.
1. Математические основы программирования. Основная цель исследований – развитие математического аппарата, ориентированного на теоретическое программирование, разработка общей теории машинных вычислений. Эта теория тесно соприкасается с теорией алгоритмов и вычислимых функций, теорией автоматов и формальных языков, логикой, алгеброй, с теорией сложности вычислений.
Что такое формальная грамматика? Душкин объяснит
2. Теория схем программ. В этих работах внимание концентрируется на изучении структурных свойств и преобразований программ, а именно тех, которые отличают программы от других способов задания алгоритмов. Главным объектом исследования становится схема программы – математическая модель программы, в которой с той или иной степенью детализации отражено строение программы, взаимодействие составляющих ее компонентов.
3. Семантическая теория программ. Семантика программы или отдельных конструкций языков программирования – это их смысл, математический смысл для программиста и описание функционирования для машины. Этот раздел теоретического программирования изучает методы формального описания семантики программ, семантические методы преобразования и доказательства утверждений о программах. В частности, работы по методам проверки семантической правильности программ нацелены на автоматизацию их отладки и автоматический синтез программ.
4. Теория вычислительных процессов и структур (теория параллельных вычислений). Исследования в этой области направлены на разработку и обоснование новых методов программирования, прежде всего методов программирования параллельных процессов. В частности, изучаются модели, структуры и функционирование операционных систем, методы распараллеливания алгоритмов и программ, ведется поиск новых архитектурных принципов конструирования вычислительных машин и систем на основе результатов и рекомендаций теоретического программирования и вычислительной математики.
5. Прикладные задачи теоретического программирования. Сюда в первую очередь относятся разработка и обоснование алгоритмов трансляции и алгоритмов автоматической оптимизации программ.
ОГЭ Информатика. Задание 3. Формальные описания реальных объектов и процессов
Две дисциплины государственного стандарта специальности 220400 – Программное обеспечение вычислительной техники и автоматизированных систем – «Теория языков программирования и методы трансляции» и «Теория вычислительных процессов» рассматривают основы теоретического программирования. Первая дисциплина охватывает первый и последний пункты нашей, не претендующей на классификационную строгость и полноту, рубрикации. Вторая дисциплина, составляющая предмет настоящего курса, раскрывает пункты 2 – 4.
Программа как формализованное описание процесса обработки данных
Целью программирования является описание процессов обработки данных (в дальнейшем — просто процессов). Данные — это представление фактов и идей в формализованном виде, пригодном для передачи и переработке в некоем процессе, а информация — это смысл, который придается данным при их представлении.
Обработка данных — это выполнение систематической последовательности действий с данными. Данные представляются и хранятся на носителях данных. Совокупность носителей данных, используемых при какой-либо обработке данных, будем называть информационной средой. Набор данных, содержащихся в какой-либо момент в информационной среде, будем называть состоянием этой информационной среды. Процесс можно определить как последовательность сменяющих друг друга состояний некоторой информационной среды.
Описать процесс — значит определить последовательность состояний заданной информационной среды. Если мы хотим, чтобы по заданному описанию требуемый процесс порождался автоматически на компьютере, необходимо, чтобы это описание было формализованным. Такое описание называется программой.
С другой стороны, программа должна быть понятной и человеку, так как и при разработке программ, и при их использовании часто приходится выяснять, какой именно процесс она порождает. Поэтому программа составляется на понятном человеку формализованном языке программирования, с которого она автоматически переводится на язык соответствующего компьютера с помощью другой программы, называемой транслятором. Программисту, прежде чем составить программу, приходится проделывать большую подготовительную работу по уточнению постановки задачи, выбору метода ее решения, выяснению специфики применения требуемой программы, прояснению общей организации разрабатываемой программы и многое другое.
Источник: mydocx.ru
Программа — это описание на формальном языке, «понятном» компьютеру, последовательности действий, которые необходимо выполнить над данными для решения поставленной задачи.
Программы, с помощью которых пользователь может решать информационные задачи, не прибегая к программированию, принято называть прикладными программами или приложениями.
По правовому статусу ПО можно разделить на две группы:
ПО, являющееся частной собственностью авторов или правообладателей;
Операционная система (ОС) — базовая и необходимая составляющая , для совместной работы всех аппаратных устройств компьютер и предоставления пользователю доступа к его ресурсам:
Драйвера устройств — специальные программы, которые обеспечивают управление работой устройств и согласование информационного обмена с другими устройствами. компьютера.
Установка ОС осуществляется с оптических дисков (дистрибутив), после установки хранится в долговременной памяти на жестком диске.
Прикладное программное обеспечение — приложения — программы, для решения пользователем прикладных программ:
текстовые редакторы;
графические редакторы;
звуковые редакторы;
калькуляторы, электронные таблицы;
базы данных;
Коммуникационные программы ( веб браузеры, скайп, электронная почта . )
Приложения специального назначения ( для черчения, переводчики, бухгалтерские программы, обучающие, игры, конструкторы . )
№17 Компьютерные вирусы и антивирусные программы
Компьютерный вирус — вид вредоносного программного обеспечения, способного создавать копии самого себя и внедряться в код других программ, системные области памяти, загрузочные секторы, а также распространять свои копии по разнообразным каналам связи.
Файловые вирусы- внедряются в программы и активизируются при их запуске. После запуска находятся в оперативной памяти и могут заражать другие файлы.
Макровирусы- заражают файлы документов. После загрузки такого файла в текстовый редактор постоянно присутствует в оперативной памяти и может заражать другие документы.
Сетевые вирусы — передают по компьютерным сетям свой программный код и запускать его на компьютерах (могут быть, почтовые сетевые вирусы).
Антивирус – это программа для защиты компьютера или мобильного устройства от вредоносных программ.
Антивирусные сканеры- для периодической проверки- проверяют файлы и оперативную память и обеспечивают нейтрализацию вирусов.
Антивирусные сторожа (мониторы)- постоянно находятся в оперативной памяти и обеспечивают проверку файлов.
№18 Компьютерная графика? Растровая и векторная графика. Отличие растровой, векторной?
Компьютерная графика — это:
разные виды графических объектов, созданных или обработанных с помощью компьютеров;
Область деятельности, в которой компьютеры используются как инструменты создания и обработки графических объектов.
В растровой графике изображение формируется в виде растра — совокупности пикселей, образующих строки и столбцы. В памяти компьютера сохраняется информация о цвете каждого входящего в него пикселя.
В векторной графике изображения формируются на основе наборов данных (векторов), описывающих тот или иной графический объект, и формул их построения. В память компьютера заносится информация о простейших геометрических объектах, его составляющих.
Формат графического файла — это способ представления графических данных на внешнем носителе. Различают растровые и векторные форматы графических файлов, среди которых, в свою очередь, выделяют универсальные графические форматы и собственные форматы графических приложений.
Отличия:
| Растровая графика | Векторная графика | |
| Формирование изображения | Совокупность точек | Геометрические фигуры |
| Увеличение размера изображения | Ступенчатый эффект | Не изменяется |
| Уменьшение размера изображения | Потеря чёткости | Не изменяется |
| Сохранение изображения | Информация о цвете каждого пикселя | Информация о простейших геометрических объектах, составляющих изображение |
| Сферы применения | Иллюстрации, фотографии | Чертежи, схемы, деловая графика |
Способы получения цифровых графических объектов:
Копирование готовых изображений,
Ввод изображений с помощью сканера,
Создание изображений с помощью приложений.
№19 Информационные ресурсы Интернета . Интернет. Всемирная паутина. Электронная почта.
Internet (Интернет) – всемирная глобальная компьютерная сеть, объединяющая десятки тысяч сетей всего мира (локальные, региональные, корпоративные сети).
Всемирная паутина — это сотни миллионов Web-серверов Интрнета, содержащих сотни миллиардов Web-страниц, в которых используется технология гипертекста.
Гиперссылки – ключевые слова или изображения от которых идут гиперсвязи в — т.е. ссылки на другие документы.
Web-страница – это отдельный документ, который имеет своё имя, по которому к нему можно обратиться.
Web-сайт – это несколько Web-страниц, связанных между собой по содержанию. Каждый сайт, и каждая страница имеют свой адрес, по которому к ним можно обратиться. У каждой Web-страницы в Интернете есть свой уникальный адрес — он называется унифицированным указателем ресурса URL (Uniformed Resource Locator), сокращенно, URL-адресом.
Каждая страничка и каждый сайт имеет свой адрес, по которому к нему можно обратиться. Называется это IP-адрес и выглядит он примерно так: 10.52.69.224. Правда не совсем удобно. Поэтому пользователи в Сети чаще набирают не цифровой адрес а буквенный, так называемое доменное имя, которые включает в себя способ доступа к документу и имя сервера Интернета, на котором находится документ. Например: http://yandex.ru
Бра́узер , или веб-обозрева́тель, ― это программное обеспечение для просмотра Web-сайтов, их обработки, вывода и перехода от одной страницы к другой.
Последнее изменение этой страницы: 2018-06-01; просмотров: 511.
stydopedya.ru не претендует на авторское право материалов, которые вылажены, но предоставляет бесплатный доступ к ним. В случае нарушения авторского права или персональных данных напишите сюда.
Источник: stydopedya.ru
Презентация «Программное обеспечение компьютера» (9 класс) по информатике – проект, доклад
Слайд 1
Слайд 2
Слайд 3
Слайд 4
Слайд 5
Слайд 6
Слайд 7
Слайд 8
Слайд 9
Слайд 10
Слайд 11
Слайд 12
Слайд 13
Слайд 14
Слайд 15
Слайд 16
Слайд 17
Слайд 18
Слайд 19
Слайд 20
Слайд 21
Слайд 22
Слайд 23
Презентацию на тему «Программное обеспечение компьютера» (9 класс) можно скачать абсолютно бесплатно на нашем сайте. Предмет проекта: Информатика. Красочные слайды и иллюстрации помогут вам заинтересовать своих одноклассников или аудиторию. Для просмотра содержимого воспользуйтесь плеером, или если вы хотите скачать доклад — нажмите на соответствующий текст под плеером. Презентация содержит 23 слайд(ов).
Слайды презентации
Без чего невозможна работа компьютера?
Выполнила учитель информатики МБОУ «Окская СОШ» Рязанского района Рязанской области Юзвитскова Юлия Алексеевна
описание на формальном языке последовательности действий, которые необходимо выполнить над данными для решения поставленной задачи
Программное обеспечение (ПО) —
совокупность всех программ, предназначенных для выполнения на компьютере.
Операционная система (ОС) – комплекс программ, обеспечивающих совместное функционирование всех устройств компьютера и предоставляющих пользователю доступ к ресурсам компьютера
ОС включает в себя:
Аппаратный интерфейс – средства, обеспечивающие взаимодействие между устройствами компьютера (драйверы устройств) Пользовательский интерфейс – средства, обеспечивающие взаимодействие человека и компьютера (программы, поддерживающие диалог пользователя с компьютером: «открыть», «сохранить», «запустить» и т.д.)
После установки ОС входящие в её состав программы копируются с оптического диска на жесткий диск и там же хранятся.
1 этап – выполнение программ BIOS (Basic Input/Output System – базовая система ввода/вывода) – тестирование и настройка аппаратных средств. Если все оборудование функционирует нормально – происходит поиск загрузчика ОС. 2 этап – считывание программы – загрузчика в оперативную память, затем загрузка программ ОС в оперативную память с системного диска (диска, с которого производится загрузка ОС)
программы, обслуживающие диски (проверка, восстановление, очистка),
программы – архиваторы антивирусные программы коммуникационные программы
2. Системы программирования
это комплекс программных средств, предназначенных для разработки компьютерных программ
3. Прикладное ПО
программы, с помощью которых пользователь может работать с разными видами информации, не прибегая к программированию
Приложения общего назначения (офисные программы)
Текстовые редакторы Электронные таблицы Графические редакторы Мультимедийные проигрыватели Редакторы презентаций Системы управления базами данных
Приложения специального назначения (профессиональные программы)
Издательские системы Бухгалтерские программы Системы автоматизированного проектирования Программы компьютерного моделирования Математические пакеты Геоинформационные системы Медицинские экспертные системы Электронные учебники Тренажеры Тестирующие системы
Правовые нормы использования ПО
ПО, являющееся частной собственностью авторов или правообладателей Свободное ПО
ПО, являющееся частной собственностью авторов или правообладателей
Коммерческие программы – продаются в специальной упаковке и с сопровождающей документацией (лицензионное соглашение). Условно бесплатные программы – программы, имеющие ограниченный срок действия или ограниченные возможности. Свободно распространяемые программы (нельзя внести изменения в двоичный код) – новые, еще не доработанные версии программ, дополнения к программам, устаревшие программы, драйверы к новым устройствам
Возможность внести изменения в двоичный код Не требует лицензии и ключа Можно использовать в любых целях Можно копировать и распространять программу Можно распространять измененную программу
На сегодняшнем уроке мы узнали, что:
Совокупность всех программ, предназначенных для выполнения на компьютере, называется
Системное программное обеспечение включает в себя:
Операционную систему и сервисные программы
Комплекс программ, обеспечивающих совместное функционирование всех устройств компьютера и предоставляющих пользователю доступ к ресурсам компьютера, — это
Комплекс программных средств, предназначенный для разработки компьютерных программ на языке программирования, — это
Программы, с помощью которых пользователь может решать информационные задачи, не прибегая к программированию, — это
По правовому статусу ПО можно разделить на:
По, являющееся частной собственностью, и свободное ПО
§2.3 учебника, вопросы стр. 77 – 78.
Источник: prezentacii.org
Программа как формализованное описание процесса обработки данных. Программное средство
Целью программирования является описание процессов обработки данных (в дальнейшем — просто процессов). Данные — это представление фактов и идей в формализованном виде, пригодном для передачи и переработке в некоем процессе, а информация — это смысл, который придается данным при их представлении.
Обработка данных — это выполнение систематической последовательности действий с данными. Данные представляются и хранятся на т.н. носителях данных. Совокупность носителей данных, используемых при какой-либо обработке данных, будем называть информационной средой. Набор данных, содержащихся в какой-либо момент в информационной среде, будем называть состоянием этой информационной среды. Процесс можно определить как последовательность сменяющих друг друга состояний некоторой информационной среды.
Описать процесс — значит определить последовательность состояний заданной информационной среды. Если мы хотим, чтобы по заданному описанию требуемый процесс порождался автоматически на каком-либо компьютере, необходимо, чтобы это описание было формализованным. Такое описание называется программой.
С другой стороны, программа должна быть понятной и человеку, так как и при разработке программ, и при их использовании часто приходится выяснять, какой именно процесс она порождает. Поэтому программа составляется на удобном для человека формализованном языке программирования, с которого она автоматически переводится на язык соответствующего компьютера с помощью другой программы, называемой транслятором. Человеку (программисту), прежде чем составить программу на удобном для него языке программирования, приходится проделывать большую подготовительную работу по уточнению постановки задачи, выбору метода ее решения, выяснению специфики применения требуемой программы, прояснению общей организации разрабатываемой программы и многое другое. Использование этой информации может существенно упростить задачу понимания программы человеком, поэтому весьма полезно ее как-то фиксировать в виде отдельных документов (часто не формализованных, рассчитанных только для восприятия человеком).
Обычно программы разрабатываются в расчете на то, чтобы ими могли пользоваться люди, не участвующие в их разработке (их называют пользователями). Для освоения программы пользователем помимо ее текста требуется определенная дополнительная документация.
Программа или логически связанная совокупность программ на носителях данных, снабженная программной документацией, называется программным средством (ПС). Программа позволяет осуществлять некоторую автоматическую обработку данных на компьютере. Программная документация позволяет понять, какие функции выполняет та или иная программа ПС, как подготовить исходные данные и запустить требуемую программу в процесс ее выполнения, а также: что означают получаемые результаты (или каков эффект выполнения этой программы). Кроме того, программная документация помогает разобраться в самой программе, что необходимо, например, при ее модификации.
Источник: studopedia.ru
Программа как формализованное описание процесса обработки данных
Целью программирования является описание процессов обработки данных (в дальнейшем — просто процессов). Данные — это представление фактов и идей в формализованном виде, пригодном для передачи и переработке в некоем процессе, а информация — это смысл, который придается данным при их представлении.
Обработка данных — это выполнение систематической последовательности действий с данными. Данные представляются и хранятся на носителях данных. Совокупность носителей данных, используемых при какой-либо обработке данных, будем называть информационной средой. Набор данных, содержащихся в какой-либо момент в информационной среде, будем называть состоянием этой информационной среды. Процесс можно определить как последовательность сменяющих друг друга состояний некоторой информационной среды.
Описать процесс – значит, определить последовательность состояний заданной информационной среды. Если мы хотим, чтобы по заданному описанию требуемый процесс порождался автоматически на компьютере, необходимо, чтобы это описание было формализованным. Такое описание называется программой.
С другой стороны, программа должна быть понятной и человеку, так как и при разработке программ, и при их использовании часто приходится выяснять, какой именно процесс она порождает. Поэтому программа составляется на понятном человеку формализованном языке программирования, с которого она автоматически переводится на язык соответствующего компьютера с помощью другой программы, называемой транслятором. Программисту, прежде чем составить программу, приходится проделывать большую подготовительную работу по уточнению постановки задачи, выбору метода ее решения, выяснению специфики применения требуемой программы, прояснению общей организации разрабатываемой программы и многое другое.
Правильная программа и надежная программа
Под «программой» часто понимают правильную программу, т.е. программу, не содержащую ошибок, соответствующую спецификации и дающую возможность формального вывода программы из формального набора предпосылок. Однако понятие ошибки в программе трактуется программистами неоднозначно. Будем считать, что в программе имеется ошибка, если она не выполняет того, что разумно ожидать от нее на основании документации по применению программы. Следовательно, правильнее говорить о несогласованности между программами и документацией по их применению.
В связи с тем, что задание на программу обычно формулируется не формально, а также из-за неформализованности понятия ошибки в программе, нельзя доказать формальными методами (математически) правильность программы. Нельзя доказать правильность программы и тестированием: как указал Э. Дейкстра, тестирование может лишь продемонстрировать наличие в программе ошибки.
Альтернативой правильной программы является надежная программа. Надежность программы — это ее способность безотказно выполнять определенные функции при заданных условиях в течение заданного периода времени с достаточно большой вероятностью. При этом под отказом в программе понимают проявление в нем ошибки.
Таким образом, надежная программа не исключает наличия в ней ошибок — важно лишь, чтобы эти ошибки при практическом применении этой программы в заданных условиях проявлялись достаточно редко. Убедиться, что программа обладает таким свойством можно при его испытании путем тестирования, а также при практическом применении. Таким образом, фактически мы можем разрабатывать лишь надежные, а не правильные программы.
Разрабатываемая программа может обладать различной степенью надежности. Как измерять эту степень? Так же как в технике, степень надежности можно характеризовать вероятностью работы программы без отказа в течение определенного периода времени. Однако в силу специфических особенностей программ определение этой вероятности наталкивается на ряд трудностей по сравнению с решением этой задачи в технике.
При оценке степени надежности программ следует также учитывать последствия каждого отказа. Некоторые ошибки в программах могут вызывать лишь некоторые неудобства при его применении, тогда как другие ошибки могут иметь катастрофические последствия, например, угрожать человеческой жизни. Поэтому для оценки надежности программных средств иногда используют дополнительные показатели, учитывающие стоимость (вред) для пользователя каждого отказа.
Источник: studfile.net