Информатика и Логика
Информатика — наука о способах получения, накопления, хранения, преобразования, передачи, защиты и использования информации. Каждый день нам приходится сталкиваться с современными технологиями, ведь практически у каждого ученика в доме есть компьютер и Интернет. И неважно, вы ищите там какую-то информацию, играете в игру, что-то скачиваете или просто переписываетесь с друзьями, но вы пользуетесь достижениями информатики. А без достижений в этой области не было бы ни компьютеров, ни Интернета, ни других привычных для нас новых технологий. С помощью поисковых систем вы легко и быстро, в считанные секунды, сможете отыскать нужную вам информацию, и для этого не нужно просиживать часами в библиотеке питаясь ее найти. Вокруг нас много разной информации, а информатика – это та наука, которая позволяет разобраться со всем этим объемом, поэтому она и получила такое название. Область применения Включаются следующие основные применения: *Исследования в логике, вызванные развитием компьютерных наук. Например, аппликативные вычислительные системы, теория вычислений и модели вычислений; *Формальные методы и логика рассуждения о понятиях. Например, семантическая сеть[2], семантическая Web; *Булева логика и алгебра для разработки аппаратного обеспечения компьютеров; *Решение задач и структурное программирование для разработки прикладных программ и создания сложных систем программного обеспечения *Доказательное программирование — технология разработки алгоритмов и программ с доказательствами правильности алгоритмов;