Представление дробных чисел в памяти ПК
Поскольку при записи дробей возникает проблема определения положения запятой в них, для размещения подобных цифр в компьютере используется экспоненциальная форма. Любое число может быть представлено в следующей форме Х = m * рп. Где m – это мантисса числа, р – основание системы счисления и п – порядок числа. Для стандартизации записи чисел с плавающей запятой используется следующее условие, согласно которому модуль мантиссы должен быть больше или равен 1/п и меньше 1. Пусть нам дано число 666,66. Приведём его к экспоненциальной форме. Получится Х = 0,66666 * 103. Р = 10 и п = 3. На хранение значений с плавающей запятой обычно выделяется 4 или 8 байт (32 или 64 бита). В первом случае это называется числом обычной точности, а во втором – двойной точности. Из 4 байт, выделенных под хранение цифр, 1 (8 разрядов) отдается под данные о порядке и его знаке, а 3 байта (24 разряда) уходят на хранение мантиссы и её знака по тем же принципам, что и для целочисленных значений. Зная это, мы можем провести нехитрые расчеты. Максимальное значение п = 11111112 = 12710. Исходя из него, мы можем получить максимальный размер числа, которое может храниться в памяти компьютера. Х=2127. Теперь мы можем вычислить максимально возможную мантиссу. Она будет равна 223 – 1 ≥ 223 = 2(10 × 2,3) ≥ 10002,3 = 10(3 × 2,3) ≥ 107. В итоге, мы получили приближенное значение. Если теперь мы объединим оба расчета, то получим значение, которое может быть записано без потерь в 4 байта памяти. Оно будет равно Х = 1,701411 * 1038. Остальные цифры были отброшены, поскольку именно такую точность позволяет иметь данный способ записи
|
|
|
Высказывания и их логические связки
Многие математические понятия удобно записывать в виде выражений, содержащих некоторые логические символы. Так, символ 
, называеый квантором общности, используется вместо слов: «для любого», «для всех», «каково бы ни было…» и т.д., а символ 
– квантор существования – вместо слов «существует», «найдется хотя бы один …», «имеется» и т.д.
Основной объект математической логики - высказывание. Высказыванием называется повествовательное предложение, которое может быть классифицировано либо как истинное, либо как ложное, но не как и то и другое вместе.
Содержание высказывания несущественно: лишь бы это предложение могло быть либо истинным, либо ложным. При этом вовсе не обязательно указывать способ проверки истинности. Главное, что высказывание не может быть истинным и ложным одновременно. Если высказывание истинно, будем говорить, что его значение истинности - истина (или 
(от английского true); если ложно, то значение истинности – ложь ( 
от false).
|
|
|
Высказывания в математической логике обычно обозначаются прописными латинскими буквами: 
, 
, 
и т.д. Для того чтобы из высказываний получать новые высказывания, применяются специальные операции - логические связка. Рассмотрим пять основных логических связок. Сначала дадим неформальное объяснение. Однако оно чревато неточностями, поэтому дадим логическим операциям также строгое определение. Определить высказывание — значит указать, в каких случаях оно истинно, а в каких ложно.
Отрицание — это высказывание, которое получается из данного высказывания с помощью слова «не». Отрицание можно обозначать по-разному: 
, 
, 
.
Простое добавление слова «не» к высказыванию чаще всего будет противоречить языковым нормам. Поэтому в конкретных случаях требуется «перевод» полученного высказывания на русский язык. Пусть, например, = «Завтра пойдет дождь». Что значит «Не (Завтра пойдет дождь)»: «Дождь пойдет не завтра», «Завтра пойдет не дождь» или «Завтра не пойдет дождь»? Здравый смысл подсказывает, что отрицанием высказывания является третье предложение. Чтобы определить точно, дадим формальное определение отрицания.
Отрицанием высказывания называется такое высказывание, которое принимает значение (ложно), если высказывание истинно, и значение 
(истинно), если высказывание ложно. В нашем примере этому условию удовлетворяет только третье предложение. Итак, = «Завтра не пойдет дождь».
|
|
|
Дизъюнкция - это высказывание, которое получается из двухданных высказываний и с помощью союза «или». Дизъюнкция обозначается 
.
Дизъюнкция строится с помощью неисключающего «или». Таким
образом, дизъюнкция истинна, когда истинно по крайней мере
одно из высказываний и или оба вместе. Другими словами,дизъюнкция
ложна в том и только в том случае, когда оба высказывания ложны.
Конъюнкция - это высказывание, которое получается из двух данных высказываний и спомощью союза «и». Конъюнкция обозначается 
. Конъюнкция справедлива в том и только в том случае, когда оба высказывания истинны.
Импликацияобразуется из высказываний и с помощью слов «если... то...». Получается высказывание вида «если то ». Напомним, что. математическая. логика. носит формальный характер, содержанием высказываний она не, занимается.
На примере импликации хорошо видна разница между обычным языком и языком логики. В обычном языке сложное предложение «если , то » предполагает между и отношение посылки и следствия или же причины и обусловленного ею действия. В логике импликация связывает любые два высказывания.
|
|
|
Импликация обозначается 
, при этом говорят: « влечет » или « при условии, что », « , если », « есть достаточное условие для », « есть необходимое условие для ».
Договорились, что импликация ложна в том и только в том случае, когда высказывание истинно, а высказывание ложно. Такое определение подсказано здравым смыслом: разумно считать импликацию истинной, если истинно, независимо от значения ; если оба участника импликации ложны, импликация, естественно, также истинна. В единственном случае, когда «предпосылка» импликации истинна, а «вывод» ложен, импликация считается ложной.
Эквиваленция образуется из высказываний и с помощью слов «...тогда и только тогда, когда...»:
Утверждение « тогда и только тогда, когда » не означает в логике, что составляющие высказывания и имеют одно и то же значение или один и тот же смысл.
Эквиваленция обозначается 
. Синонимы для эквиваленции: «если , то , и если , то », « в том и только в том случае, когда », «И есть необходимое и достаточное условие для », « есть необходимое и достаточное условие для ». Разумное определение эквиваленции: эквиваленция истинна в том и только в том случае, когда высказывания и имеют одинаковое значение истинности (либо оба истинны, либо оба ложны).
Новые высказывания (отрицание, дизъюнкция, конъюнкция, импликация и эквиваленция) образуются из существующих высказываний с помощью операций, или логических связок, имеющих те же названия.
В логике, как и в арифметике, операции делятся по старшинству. Это позволяет при записи сложных высказываний избегать большого количества скобок. Порядок выполнения операций таков: приоритет имеет отрицание, затем на одном уровне — дизъюнкция и конъюнкция, следующая связка — импликация и, наконец, самая последняя — эквиваленция.
Дата добавления: 2018-02-15; просмотров: 1850; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!