Операционные системы та системное программирование

Основными этапами становления и развития вычислительной техники являются:

1. Ручной - с 50-го тысячелетия до н. э .;

2. Механический - с середины XVII века;

3. Электромеханический - с девяностых годов XIX века;

4. Электронный - с сороковых годов XX века.

1. Ручной период автоматизации вычислений начался на заре человеческой цивилизации. Он базировался на использовании пальцев рук и ног. Счет с группировки и перекладывания предметов явился предшественником счета на абаке - наиболее развитом счетном приборе древности. Аналогом абака на Руси счетов, дошедших до наших дней. Использование абака предполагает выполнение вычислений по разрядам, то есть наличие некоторой позиционной системы счисления. Вычисления на них проводились путем перемещения счетных костей и камешков (Кальк) в полосковых углублениях досок из бронзы, камня, слоновой кости, цветного стекла. В своей примитивной форме абак был дощечкой (позже он принял вид доски, разделенной на колонки перегородками). На ней проводились линии, разделявшие ее на колонки, а камешки раскладывались в эти колонки по тому же позиционным принципом, по которому кладется число на наши счеты. Это нам известно от ряда греческих авторов.

Первым устройством для выполнения умножения был набор деревянных брусков, известных как палочки Непера. Они были изобретены шотландцем Джоном Непером (1550-1617рр.). На таком наборе из деревянных брусков была размещена таблица умножения. Кроме того, Джон Непер в начале XVII века ввел логарифмы, что сделало революционное воздействие на счет. Изобретенная им логарифмическая линейка - это счетный инструмент для упрощения вычислений, с которого операции над числами заменяются операциями над логарифмами этих чисел. Конструкция линейки сохранилась в основном до наших дней. Вычисления с логарифмической линейки проводятся просто, быстро, но приблизительно. И, следовательно, она не годится для точных, например финансовых расчетов. Она, несомненно, является венцом вычислительных инструментов ручного периода автоматизации.

2. Развитие механики в XVII веке стал предпосылкой создания вычислительных устройств и приборов, использующих механический вычислений.

Эскиз механического тринадцятиразрядного устройства заключает с десятью колесами был разработан еще Леонардо да Винчи (1452- 1519рр). По этим чертежам в наши дни фирма IBM в целях рекламы построила работо машину. Первая механическая счетная машина была изготовлена ​​в 1623 г.. Профессором математики Вильгельмом Шиккардом (1592-1636рр.). В ней были механизированы операции сложения и вычитания, а умножение и деление выполнялось с элементами механизации. Но машина Шиккарда вскоре сгорела во время пожара. Поэтому биография механических вычислительных устройств ведется от машины, заключает, изготовленной в 1642 Блез Паскаль (1623-1662), в дальнейшем великим математиком и физиком.

3. Электромеханический этап развития вычислительной техники является наименее продолжительным и охватывает около 60 лет - от первого табулятора Г.Холлерита к первой ЭВМ "ENIAC".

В конце XIX в. были созданы сложные механические устройства. Важнейшим из них был устройство, разработанное американцем Германом Холлеритом. Исключительность его заключалась в том, что в нем впервые была употреблена идея перфокарт и расчеты велись с электрического тока. Это сочетание делало машину настолько работо что она получила широкое применение в свое время. Например, при перечислении населения в США, проведенного в 1890, Холлерит, с своих машин смог выполнить за три года то, что вручную делалось бы в течении семи лет, причем гораздо большим числом людей.

Начало - тридцатые годы XX века - разработка рахунковоаналитичних комплексов, состоящих из четырех основных устройств: перфоратора, контрольника, сортировщика и табулятора. На базе таких комплексов создаются вычислительные центры. В это же время развиваются аналоговые машины.

4. Электронный этап, начало которого связывают с созданием в США в конце 1945 электронной вычислительной машины ENIAC американским инженером-электронщиком Дж. П. Эккерт и физиком Дж.У. Моучли.

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

Персональный Компьютер, компьютер, специально созданный для работы в однопользовательском режиме. Появление персонального компьютера напрямую связана с рождением микрокомпьютера.

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

Объяснение:все

2)суждение – это форма мышления, в которой утверждается или отрицается связь между предметом и его признаком или отношение между предметами и которая обладает свойством выражать либо истину, либо ложь. Если в суждении утверждается связь, существующая в действительности, или отрицается связь, которая в действительности отсутствует, то такое суждение будет истинным. Например, “Кража – преступление.
6) Гипотезой называют высказывание или теорию (совокупность
определенных высказываний) , представляющих собой некоторое, предположение,
то есть предположительный ответ на некоторый вопрос о существовании, о причинах какого-то явления и происхождении его и т. п. Например, предположение — до полета спутника вокруг Луны — о существовании гор и кратеров на обратной стороне Луны; гипотеза А. И.
Опарина о происхождении жизни на Земле, гипотеза о происхождении Солнечной
системы и т. п.
3)Студент занимается на 5 курсе или занимается баскетболом.
Строгая дизъюнкция: союз “или” употребляется в исключающем смысле, когда происходит выбор между двумя альтернативами: либо одно, либо другое. Исключающая (строгая) дизъюнкция (x V y) истинна тогда, когда только один из ее членов является истинным, а другой - ложным Она будет ложная, если оба ее члена одновременно истинны либо ложны.
5)Предложения в других грамматических формах (собственно вопросительные, побудительные и т. д. ) непосредственно суждениями не являются, поскольку ничего не утверждают и не отрицают.
4) истинность суждения, а тем самым и теории, состоящей из множества суждений, относительна к принятым идеализациям. Все люди рыжеволосы доказать не истинность этого суждения. Вывод такой человеческая жизнь это относительная ценность это еще один пример однозначной абсолютной безусловной истины.
1) Изучение геометрии основано на аксиоматическом методе. После формулировки основных понятий и аксиом все дальнейшие результаты теории – результаты логических рассуждений, которые оформляются в виде определенного вида утверждений. Теорема – утверждение, требующее доказательства. Лемма – вс теорема, которая приводится для того, чтобы с ее доказать следующую теорему или группу теорем. Следствие-теорема, которая позволяет более полно трактовать содержание данной теоремы, аксиомы, определения. Рассмотрим, например, формулировку теоремы, данную в следствии 1.1: если на луче отложить от начальной его точки два отрезка AB и AC и если AB = AC, то точки B и C совпадут. Условием теоремы является предложение {на луче отложить от начальной его точки два отрезка AB и AC и AB = AC}. Это предложение не является в данном виде высказыванием, но содержит описание множества объектов, относительно которых делается высказывание вида AB = AC. Из описания ясно, что речь идет о множестве отрезков луча a, отложенных от начальной его точки. Поскольку один конец отрезка фиксирован, то отрезок определяется однозначно точкой луча. Обозначим как P множество точек луча, отличных от его начальной точки. Пусть B P – заданная точка. Тогда условие теоремы является предложением относительно точки множества P. Перепишем условие теоремы в виде: A (x) = {длина отрезка Ax = AB}. Очевидно, это предикат. Заключение теоремы есть предикат B (x) = {точка x совпадает с точкой B}. Тогда теорему можно переформулировать следующим образом: если x – произвольная точка луча AB такая, что Ax = AB, тогда точка x совпадает с точкой B.На основании этого утверждения основан метод доказательства от противного. Суть этого метода состоит в том, что доказывают истинность теоремы, противоположной обратной, поскольку если эта теорема истинна, то и исходная теорема тоже верна.