Конъюнкция Дизъюнкция Импликация Эквиваленция
Алгоритм составления таблиц истинности.
1) Подсчитать количество логических переменных n
2) Подсчитать количество строк m=2^n
3) Количество столбцов = n+ количество логических операция
Конъю́нкция — логическая операция, по своему применению максимально приближённая к союзу "и". Синонимы: логи́ческое "И", логи́ческое умноже́ние, иногда просто "И".
Дизъю́нкция — логическая операция, по своему применению максимально приближённая к союзу «или» в смысле «или то, или это, или оба сразу». Синонимы: логи́ческое «ИЛИ», включа́ющее «ИЛИ», логи́ческое сложе́ние, иногда просто «ИЛИ».
Эквивале́нция (или эквивале́нтность) — двуместная логическая операция. Обычно обозначается символом ≡ или ↔.
Импликация — бинарная логическая связка, по своему применению приближенная к союзам «если… то…».
Импликация записывается как посылка → следствие; применяются также стрелки другой формы и направленные в другую сторону (остриё всегда указывает на следствие).
Понятие архитектуры и структуры компьютера
Архитектуройкомпьютера называется его описание на некотором общем уровне, включающее описание пользовательских возможностей программирования, системы команд,системы адресации, организации памяти и т.д. Архитектура определяет принципы действия, информационные связи и взаимное соединение основных логических узлов компьютера: процессора, оперативного ЗУ, внешних ЗУ и периферийных устройств. Общность архитектуры разных компьютеров обеспечивает их совместимость с точки зрения пользователя.
Структуракомпьютера — это совокупность его функциональных элементов и связей между ними. Элементами могут быть самые различные устройства — от основных логических узлов компьютера до простейших схем. Структура компьютера графически представляется в виде структурных схем, с помощью которых можно дать описание компьютера на любом уровне детализации.
Билет 21
Организация виртуальной памяти. Страничная организация. Определение и назначение.
Организация виртуальной памяти.
Принцип: программа пишется в адресах виртуальной памяти, а исполняется в адресах реальной памяти. Преимущества такой организации:
1) программисту нет необходимости знать реальное количество памяти и её распределение по адресам, в том числе физической памяти может быть меньше чем необходимо.
2) независимость программы от аппаратуры.Впервые появилась в 1980-м году в Манчестерском университете на ЭВМ Atlas. Виртуальное адресное пространство обозначим , а реальное адресное пространство – . При этом может выполняться следующая зависимость . Виртуальное адресное пространство, как правило, ограничено разрядностью шины адреса процессора. Отделение виртуальных адресов от реальных и перегрузка неиспользуемых программ. Привязка программ: Трансляция адресов: DAT – динамическая адресная трансляция, выполняется аппаратно (аппаратура процессора содержит специализированную схему). Необходимо хранить соответствие адреса и адреса . Если пытаться отображать каждый байт, то это вызовет слишком большой размер таблицы, значит необходимо размещение по блокам (его начальный адрес и его размер).
Страничная организация памяти.
Идея: все пространство памяти разбивается на равные части (страницы), обычно размер страницы 4-8 КБ. Он выбирается кратным размеру сектора магнитного диска. Виртуальные и физические адресные пространства также разбиваются на блоки размером в страницу. Блок основной памяти, равный странице, называют страничным кадромили фреймом. Страницам виртуальной и физической памяти присваивают номера. При обращении процессора к какой-либо ячейке памяти процессор выставляет адрес, который состоит из номера виртуальной страницы и смещения относительно начала страницы.
Классификация типов данных.
Тип данных характеризует одновременно:
· множество допустимых значений, которые могут принимать данные, принадлежащие к этому типу;
· набор операций, которые можно осуществлять над данными, принадлежащими к этому типу.
Первое свойство можно рассматривать как теоретико-множественное определение понятия типа; второе — как процедурное (или поведенческое) определение.
Тип определяет возможные значения и их смысл, операции, а также способы хранения значений типа. Изучается теорией типов. Неотъемлемой частью большинства языков программирования являются системы типов, использующие типы для обеспечения той или иной степени типобезопасности.
Кроме этого, в программировании используется низкоуровневое определение типа — как заданных размерных и структурных характеристик ячейки памяти, в которую можно поместить некое значение, соответствующее этим характеристикам. Такое определение является частным случаем теоретико-множественного.