ЗАДАНИЕ 1. ФОРМАЛИЗАЦИЯ ВЫСКАЗЫВАНИЙ 1. Формализовать высказывания с логических переменных и
символов логических операций.
1) Если защитить все лабораторные работы и написать контрольный тест,
то можно набрать а это означает возможность получить «автомат».
2) Если защищать лабораторную работу без отчета или не написать
контрольный тест, то теряется возможность получить «автомат».
3) Если пропустить лекцию и не написать реферат, то из рейтинга
вычитаются а значит, в итоге можно не дотянуть до «автомата».
4) Если при защите лабораторных блеснуть дополнительными знаниями,
то можно заработать дополнительно а следовательно повысить
семестровый рейтинг и может быть заработать «автомат».
5) Если пропускать занятия или вовремя не отрабатывать пропуски, то к
концу семестра можно «утонуть» в долгах и не выйти на сессию
Информационный объём файла - 15Кбайт, или 15 * 1024 байт, или 15 * 2^10 байт, или 15 * 2^10 * 2^3 бит, или 15 * 2^13 бит.
Одна строка - 64 символа, или 2^6.
Рассчитаем сколько весит одна строка = вес одного символа * кол-во символов = 2^4 * 2^6 = 2^10 бит.
Найдем кол-во строк = информационный объём файла / вес одной строки = (15 * 2^13) / 2^10 = 15 * 2^(13 - 10) = 15 * 2^3 = 15 * 8 = 120 строк.
В файле 10 страниц, следовательно на одной странице 12 строк.
ответ: 12 строк.