Конъюнкция Дизъюнкция Импликация Эквиваленция

Алгоритм составления таблиц истинности.

1) Подсчитать количество логических переменных n

2) Подсчитать количество строк m=2^n

3) Количество столбцов = n+ количество логических операция

Конъю́нкция — логическая операция, по своему применению максимально приближённая к союзу "и". Синонимы: логи́ческое "И", логи́ческое умноже́ние, иногда просто "И".

Дизъю́нкция — логическая операция, по своему применению максимально приближённая к союзу «или» в смысле «или то, или это, или оба сразу». Синонимы: логи́ческое «ИЛИ», включа́ющее «ИЛИ», логи́ческое сложе́ние, иногда просто «ИЛИ».

Эквивале́нция (или эквивале́нтность) — двуместная логическая операция. Обычно обозначается символом ≡ или ↔.

Импликация — бинарная логическая связка, по своему применению приближенная к союзам «если… то…».

Импликация записывается как посылка → следствие; применяются также стрелки другой формы и направленные в другую сторону (остриё всегда указывает на следствие).

Понятие архитектуры и структуры компьютера

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

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

Билет 21

Организация виртуальной памяти. Страничная организация. Определение и назначение.

Организация виртуальной памяти.

Принцип: программа пишется в адресах виртуальной памяти, а исполняется в адресах реальной памяти. Преимущества такой организации:

1) программисту нет необходимости знать реальное количество памяти и её распределение по адресам, в том числе физической памяти может быть меньше чем необходимо.

2) независимость программы от аппаратуры.Впервые появилась в 1980-м году в Манчестерском университете на ЭВМ Atlas. Виртуальное адресное пространство обозначим, а реальное адресное пространство –. При этом может выполняться следующая зависимость. Виртуальное адресное пространство, как правило, ограничено разрядностью шины адреса процессора. Отделение виртуальных адресов от реальных и перегрузка неиспользуемых программ. Привязка программ: Трансляция адресов: DAT – динамическая адресная трансляция, выполняется аппаратно (аппаратура процессора содержит специализированную схему). Необходимо хранить соответствие адреса и адреса. Если пытаться отображать каждый байт, то это вызовет слишком большой размер таблицы, значит необходимо размещение по блокам (его начальный адрес и его размер).

Страничная организация памяти.

Идея: все пространство памяти разбивается на равные части (страницы), обычно размер страницы 4-8 КБ. Он выбирается кратным размеру сектора магнитного диска. Виртуальные и физические адресные пространства также разбиваются на блоки размером в страницу. Блок основной памяти, равный странице, называют страничным кадром или фреймом. Страницам виртуальной и физической памяти присваивают номера. При обращении процессора к какой-либо ячейке памяти процессор выставляет адрес, который состоит из номера виртуальной страницы и смещения относительно начала страницы.

Классификация типов данных.

Тип данных характеризует одновременно:

· множество допустимых значений, которые могут принимать данные, принадлежащие к этому типу;

· набор операций, которые можно осуществлять над данными, принадлежащими к этому типу.

Первое свойство можно рассматривать как теоретико-множественное определение понятия типа; второе — как процедурное (или поведенческое) определение.

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

Кроме этого, в программировании используется низкоуровневое определение типа — как заданных размерных и структурных характеристик ячейки памяти, в которую можно поместить некое значение, соответствующее этим характеристикам. Такое определение является частным случаем теоретико-множественного.