Презентация, доклад к НОУ Логические основы построения компьютера

информатики
Курносова Е. Э.

Научно-исследовательская работа по информатике

логики
Логические основы построения компьютера
Переключательная схема
Вентиль
Сумматор
Триггер
Регистр
Алгебра логики как раздел ЕГЭ по информатике.
Заключение.
Используемые материалы.

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

 информации.  Если всю эту  информации  распечатать в книгах, то ими можно полностью покрыть территории США и Китая в 13 слоёв

Гб. Это в 57 раз больше, чем всех песчинок на пляжах Земли. По прогнозам , количество данных на планете будет как минимум удваиваться каждые два года вплоть до 2020 года.

Если бы можно было оцифровать все слова произнесенные человечеством с самого его появления, то эта информация заняла бы менее 1% от количества информации, сгенерированной с помощью компьютеров.

информации и управление другими устройствами компьютера.

В состав процессора входят:
Арифметико-логическое устройство (АЛУ)
Устройство управления (УУ)
Элементы памяти

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

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

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

логические основы работы ЭВМ
познакомиться с основными понятия и операциями алгебры логики
подготовиться к сдаче ЕГЭ по информатике

sed diam nonummy nibh euismod tincidunt ut laoreet dolore magna aliquam erat volutpat. Ut wisi enim ad minim veniam, quis nostrud exerci tation ullamcorper suscipit lobortis nisl ut aliquip ex ea commodo consequat.

Duis autem vel eum iriure dolor in hendrerit in vulputate velit esse molestie consequat, vel illum dolore eu feugiat nulla facilisis at vero eros et accumsan et iusto odio dignissim qui blandit praesent luptatum zzril delenit augue duis dolore te feugait nulla facilisi.

Логика (др.греч. λογικος) – это наука о том, как правильно рассуждать, делать выводы, доказывать утверждения.

История логики насчитывает около двух с половиной тысячелетий. Первые учения о формах и способах мышления возникли в Древнем Китае и Индии. Основоположником формальной логики является Аристотель (384-322 гг. до н.э.) – древнегреческий философ, который впервые отделил логические формы мышления от его содержания.

Формальная логика отвлекается от конкретного содержания, изучает только истинность и ложность высказываний.

sed diam nonummy nibh euismod tincidunt ut laoreet dolore magna aliquam erat volutpat. Ut wisi enim ad minim veniam, quis nostrud exerci tation ullamcorper suscipit lobortis nisl ut aliquip ex ea commodo consequat.

Duis autem vel eum iriure dolor in hendrerit in vulputate velit esse molestie consequat, vel illum dolore eu feugiat nulla facilisis at vero eros et accumsan et iusto odio dignissim qui blandit praesent luptatum zzril delenit augue duis dolore te feugait nulla facilisi.

Логическое высказывание – это повествовательное предложение, относительно которого можно однозначно сказать, истинно оно или ложно.

Это высказывание

.

У квадрата – 10 сторон и все разные.

Не является высказыванием, потому что оно субъективно.

Эта картина красивая.

sed diam nonummy nibh euismod tincidunt ut laoreet dolore magna aliquam erat volutpat. Ut wisi enim ad minim veniam, quis nostrud exerci tation ullamcorper suscipit lobortis nisl ut aliquip ex ea commodo consequat.

Duis autem vel eum iriure dolor in hendrerit in vulputate velit esse molestie consequat, vel illum dolore eu feugiat nulla facilisis at vero eros et accumsan et iusto odio dignissim qui blandit praesent luptatum zzril delenit augue duis dolore te feugait nulla facilisi.

Алгебра логики – это математический аппарат, который позволяет выполнять действия над высказываниями.

Алгебру логики называют булевой алгеброй, по имени английского математика Джорджа Буля (1815-1864), разработавшего в XIXв. её основные положения.

sed diam nonummy nibh euismod tincidunt ut laoreet dolore magna aliquam erat volutpat. Ut wisi enim ad minim veniam, quis nostrud exerci tation ullamcorper suscipit lobortis nisl ut aliquip ex ea commodo consequat.

Duis autem vel eum iriure dolor in hendrerit in vulputate velit esse molestie consequat, vel illum dolore eu feugiat nulla facilisis at vero eros et accumsan et iusto odio dignissim qui blandit praesent luptatum zzril delenit augue duis dolore te feugait nulla facilisi.

Обозначение высказываний

Высказывания обозначают латинскими буквами: A, B, X, Y.

A = Париж – столица Англии.

B = Число 11 является простым.

Любое высказывание может быть ложно (0) или истинно (1).

sed diam nonummy nibh euismod tincidunt ut laoreet dolore magna aliquam erat volutpat. Ut wisi enim ad minim veniam, quis nostrud exerci tation ullamcorper suscipit lobortis nisl ut aliquip ex ea commodo consequat.

Duis autem vel eum iriure dolor in hendrerit in vulputate velit esse molestie consequat, vel illum dolore eu feugiat nulla facilisis at vero eros et accumsan et iusto odio dignissim qui blandit praesent luptatum zzril delenit augue duis dolore te feugait nulla facilisi.

Логические выражения и логические операции

Действия, которые производятся над высказываниями, записываются в виде логических выражений.

Основные логические операции

значение сложного высказывания при всех возможных значениях, входящих в него простых высказываний.

Таблицы истинности

ложное – истинным.

А= Земля вращается вокруг Солнца. (истина)
¬А = Земля не вращается вокруг Солнца. (ложь)

От лат. inversio - переворачиваю

тогда, когда истинны все входящие в него простые высказывания.

С= А & В
Учитель должен быть умным и справедливым.
А= Учитель должен быть умным.
В= Учитель должен быть справедливым.

A·B, A ∧ B

От лат. conjunctio - связываю

хотя бы одно из входящих в него простых высказываний.

A+B, A ∨ B

С= А + В
В библиотеке можно взять книгу или встретить знакомого.
А= В библиотеке можно взять книгу.
В= В библиотеке можно встретить знакомого.

От лат. disjunctio – различаю

тогда, когда из истины следует ложь.

Если идёт дождь, то на улице сыро.
А= Идет дождь.
В= На улице сыро.

А → B

От лат. implicatio – тесно связывать

тогда, когда оба высказывания одновременно либо истинны, либо ложны.

А тогда и только тогда, когда В

День сменяет ночь тогда и только тогда, когда солнце скрывается за горизонтом.

От лат. aeguivalens – равноценное

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

значения и выдает другие в зависимости от своей реализации.

как сумматоры. Эти схемы позволяют складывать двоичные числа.

подачи нового сигнала на вход. Это, разряд памяти, способный хранить 1 бит информации.

предназначен для хранения многоразрядного двоичного числового кода, которым можно представлять и адрес, и команду, и данные.

содержит 4 задания:
A3 — составление таблицы истинности логической функции
A10 — проверка истинности логического выражения
B12 — сложные запросы для поисковых систем
B15 — логические уравнения

x2,x3, x4, x5. Укажите это выражение.
1) F(x1,x2,x3,x4,x5)→x1
2) F(x1,x2,x3,x4,x5)→x2
3) F(x1,x2,x3,x4,x5)→x3
4) F(x1,x2,x3,x4,x5)→x4

Дан фрагмент таблицы истинности выражения F. Какое выражение соответствует F?

= [25, 55]. Определите наибольшую возможную длину отрезка A, при котором формула
( x ∈ A) → ((x ∈ P) ∨ (x ∈ Q) )
тождественно истинна, то есть принимает значение 1 при любом значении переменной х.
1) 10 2) 20 3) 30 4) 45

по этим запросам в некотором сегменте Интернета:

Сколько страниц (в тысячах) будет найдено по запросу
пирожное | выпечка

В12

∧ (x2 → x3) = 1
¬x1 ∧ y1 ∧ z1 ∨ x1 ∧ ¬y1 ∧ z1 ∨ x1 ∧ y1 ∧ ¬z1 = 1
¬x2 ∧ y2 ∧ z2 ∨ x2 ∧ ¬y2 ∧ z2 ∨ x2 ∧ y2 ∧ ¬z2 = 1
¬x3 ∧ y3 ∧ z3 ∨ x3 ∧ ¬y3 ∧ z3 ∨ x3 ∧ y3 ∧ ¬z3 = 1
где x1, …, x3, y1, …, y3, z1, …, z3 – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполнено данное равенство. В качестве ответа нужно указать количество таких наборов.

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

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

2013, с. 4-10. 01.02.2013
Ушаков Д.М., Якушкин П.А. Информатика. Самое полное издание типовых вариантов заданий ЕГЭ 2014. — М.: Астрель, 2014.
Крылов С.С., Чуркина Т.Е. ЕГЭ 2014. Информатика и ИКТ. Типовые экзаменационные варианты. — М.: «Национальное образование», 2014.
Островская Е.М., Самылкина Н.Н. ЕГЭ 2014. Информатика. Сдаём без проблем! — М.: Эксмо, 2013.
Макарова Н. В., Информатика и ИКТ. Учебник. 8-9 класс. – Спб.: «Питер»,1-е издание, 2009 год, ISBN 978-5-91180-198-4
http://communications.kiev.ua/ru/web/view/16735
http://forum.asterisk.ru/viewtopic.php?p=34873
http://sga-gos.narod.ru/inf.html#Логические
http://inf1.info/logiccomputer
http://book.kbsu.ru/theory/chapter5/1_5.html
http://ru.wikipedia.org/wiki/Булева_алгебра
http://slovari.yandex.ru/алгебра%20логики/БСЭ/Алгебра%20логики/
http://ru.wikipedia.org/wiki/Алгебра_логики
http://www.fipi.ru/view/sections/92/docs/
http://kpolyakov.narod.ru/school/ege.htm
http://ege.yandex.ru/informatics/