Презентации, доклады, проекты по информатике

Формы мышления. Алгебра высказываний. Логические выражения и таблицы истинности
Формы мышления. Алгебра высказываний. Логические выражения и таблицы истинности
Формы мышления Первые учения о формах и способах  рассуждений  возникли  в странах Древнего Востока (Китай, Индия), но в основе современной логики лежат учения, созданные в 4 веке до нашей эры  древне-греческими мыслителями. Основы формальной логики заложил Аристотель,  который впервые отделил логические формы речи от ее  содержания.  Он исследовал терминологию логики, подробно разобрал теорию умозаключений и доказательств, описал ряд логических операций, сформулировал основные законы мышления.      Логика  изучает  внутреннюю  структуру  процесса мышления, который реализуется в  таких  естественно  сложившихся формах как понятие, суждение, умозаключение и доказательство. Понятие Понятие - это форма мышления, отражающая наиболее существенные свойства  предмета, отличающие его от других предметов. В структуре каждого понятия нужно различать две стороны: содержание и объем. Содержание понятия составляет совокупность существенных признаков предмета. Объем понятия определяется совокупностью предметов, на  которую оно распространяется.
Продолжить чтение
Антивирусы. Анализ антивирусов
Антивирусы. Анализ антивирусов
Антивирусы Антивирусом называют специализированную программу, в функции которой входит обнаружение и удаление вредоносных приложений на компьютере. Кроме этого антивирусы выполняют функцию восстановления зараженных файлов. Виды антивирусов Программы-детекторы осуществляют поиск характерной для конкретного вируса сигнатуры в оперативной памяти и в файлах и при обнаружении выдают соответствующее сообщение. Недостатком таких антивирусных программ является то, что они могут находить только те вирусы, которые известны разработчикам таких программ. Программы-доктора, или фаги, а также программы-вакцины не только находят зараженные вирусами файлы, но и «лечат» их, т. е. удаляют из файла тело программы-вируса, возвращая файлы в исходное состояние. В начале своей работы фаги ищут вирусы в оперативной памяти, уничтожая их, и только затем переходят к «лечению» файлов. Среди фагов выделяют полифаги, т. е. программы-доктора, предназначенные для поиска н уничтожения большого количества вирусов. Наиболее известные из них: Kaspersky Antivirus, Norton AntiVirus, Doctor Web. Программы-ревизоры относятся к самым надежным средствам защиты от вирусов. Ревизоры запоминают исходное состояние программ, каталогов и системных областей диска тогда, когда компьютер не заражен вирусом, а затем периодически или по желанию пользователя сравнивают текущее состояние с исходным. Программы-фильтры или «сторожа» представляют собой небольшие резидентные программы, предназначенные для обнаружения подозрительных действий при работе компьютера, характерных для вирусов. Такими действиями могут являться:
Продолжить чтение