В этой работе мы рассмотрим исчисление высказываний как инструмент для определения истинности утверждений. Затем мы рассмотрим расширение исчисление высказываний до исчисления предикатов.
С понятием рекурсии мы уже встречались: рекуррентные соотношения довольно часто встречаются в математических выражениях. Рекурсия в определении состоит в том, что определяемое понятие определяется через само это понятие.
Неотсортированные таблицы.
Существование универсальных вычислителей. Разрешимость алгоритмических проблем.
Разработка большой программы отличается от разработки малой в двух основных аспектах. Текст программы для решения большой проблемы занимает много больше места, чем одна страница.
Примеры написания программ. Введение Pre и Post условий.
Отображения на вектор. Представление АСД в списковой памяти. Структуры данных.
Этот вопрос исходил, наверно, от каких-либо очень серьезных людей - логиков, кибернетиков - и поставлен был, надо думать, с серьезной целью: опознание образа, определение понятий или что-нибудь еще более глубокомысленное.
Составные части BIOS. Настройка CMOS.
Электронная плата. Материнская плата. Контроллеры. Шины.
Сейчас все популярнее становится система электронной почты. Что это такое, каким образом ее можно использовать, как разобраться в адресах E -mail?
Для нашего мозга компьютеры ведут себя больше как люди, а не как камни и деревья. Таким образом мы бессознательно относимся к ним, как к людям, даже тогда, когда считаем это бессмысленным.
В понятие пользовательского интерфейса (ПИ) входит не только, и даже не столько, картинка на экране - трехмерная, анимированная, просто выполненная в модном дизайне, - а способы взаимодействия пользователя с системой.
Первое, что приходит в голову многим системным администраторам, когда они думают о защите своих сетей от атак злоумышленников из Интернета, это слово "брандмауэр". Брандмауэры (сетевые экраны) - неотъемлемая часть инфраструктуры защиты сети.
На самом деле у этой проблемы существует по меньшей мере две стороны: одна положительная, другая - отрицательная и между ними проходит четкая граница. Эта граница разделяет всех профессионалов, связанных с информационной безопасностью.
