- Главная
- Информатика
- Информатика и Логика
Содержание
- 2. Информатика — наука о способах получения, накопления, хранения, преобразования, передачи, защиты и использования информации. Каждый день
- 3. Область применения Включаются следующие основные применения: *Исследования в логике, вызванные развитием компьютерных наук. Например, аппликативные вычислительные
- 4. В отличие от естественных наук, компьютерные науки получили большой стимул от широкого и непрерывного взаимодействия с
- 5. Единственный путь для преодоления этих проблем—это изучение систематических методов составления алгоритмов и программ с одновременным анализом
- 7. Скачать презентацию
Слайд 2Информатика — наука о способах получения, накопления, хранения, преобразования, передачи, защиты и использования информации.
Каждый день
Информатика — наука о способах получения, накопления, хранения, преобразования, передачи, защиты и использования информации.
Каждый день
![Информатика — наука о способах получения, накопления, хранения, преобразования, передачи, защиты и](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/984319/slide-1.jpg)
нам приходится сталкиваться с современными технологиями, ведь практически у каждого ученика в доме есть компьютер и Интернет. И неважно, вы ищите там какую-то информацию, играете в игру, что-то скачиваете или просто переписываетесь с друзьями, но вы пользуетесь достижениями информатики. А без достижений в этой области не было бы ни компьютеров, ни Интернета, ни других привычных для нас новых технологий.
С помощью поисковых систем вы легко и быстро, в считанные секунды, сможете отыскать нужную вам информацию, и для этого не нужно просиживать часами в библиотеке питаясь ее найти.
Вокруг нас много разной информации, а информатика – это та наука, которая позволяет разобраться со всем этим объемом, поэтому она и получила такое название.
С помощью поисковых систем вы легко и быстро, в считанные секунды, сможете отыскать нужную вам информацию, и для этого не нужно просиживать часами в библиотеке питаясь ее найти.
Вокруг нас много разной информации, а информатика – это та наука, которая позволяет разобраться со всем этим объемом, поэтому она и получила такое название.
Слайд 3Область применения
Включаются следующие основные применения:
*Исследования в логике, вызванные развитием компьютерных наук. Например,
Область применения
Включаются следующие основные применения:
*Исследования в логике, вызванные развитием компьютерных наук. Например,
![Область применения Включаются следующие основные применения: *Исследования в логике, вызванные развитием компьютерных](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/984319/slide-2.jpg)
аппликативные вычислительные системы, теория вычислений и модели вычислений;
*Формальные методы и логика рассуждения о понятиях. Например, семантическая сеть[2], семантическая Web;
*Булева логика и алгебра для разработки аппаратного обеспечения компьютеров;
*Решение задач и структурное программирование для разработки прикладных программ и создания сложных систем программного обеспечения
*Доказательное программирование — технология разработки алгоритмов и программ с доказательствами правильности алгоритмов;
*Формальные методы и логика рассуждения о понятиях. Например, семантическая сеть[2], семантическая Web;
*Булева логика и алгебра для разработки аппаратного обеспечения компьютеров;
*Решение задач и структурное программирование для разработки прикладных программ и создания сложных систем программного обеспечения
*Доказательное программирование — технология разработки алгоритмов и программ с доказательствами правильности алгоритмов;
Слайд 4В отличие от естественных наук, компьютерные науки получили большой стимул от широкого
В отличие от естественных наук, компьютерные науки получили большой стимул от широкого
![В отличие от естественных наук, компьютерные науки получили большой стимул от широкого](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/984319/slide-3.jpg)
и непрерывного взаимодействия с логикой. Особую роль в компьютерных науках играют доказательные методы разработки алгоритмов и программ с доказательствами их правильности.
Тестирование программ может выявить наличие ошибок в программах, но не может гарантировать их отсутствие. Гарантии отсутствия ошибок в алгоритмах и программах могут дать только доказательства их правильности. Алгоритм не содержит ошибок, если он дает правильные решения для всех допустимых данных.
Серьёзнейшей проблемой для компьютерных наук и информатики является наличие ошибок в алгоритмах и программах, публикуемых в учебниках и учебных пособиях, а также неумение преподавателей и учителей информатики выявлять и исправлять ошибки в алгоритмах и программах, составленных учащимися.
Тестирование программ может выявить наличие ошибок в программах, но не может гарантировать их отсутствие. Гарантии отсутствия ошибок в алгоритмах и программах могут дать только доказательства их правильности. Алгоритм не содержит ошибок, если он дает правильные решения для всех допустимых данных.
Серьёзнейшей проблемой для компьютерных наук и информатики является наличие ошибок в алгоритмах и программах, публикуемых в учебниках и учебных пособиях, а также неумение преподавателей и учителей информатики выявлять и исправлять ошибки в алгоритмах и программах, составленных учащимися.
Слайд 5Единственный путь для преодоления этих проблем—это изучение систематических методов составления алгоритмов и
Единственный путь для преодоления этих проблем—это изучение систематических методов составления алгоритмов и
![Единственный путь для преодоления этих проблем—это изучение систематических методов составления алгоритмов и](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/984319/slide-4.jpg)
программ с одновременным анализом их правильности в рамках доказательного программирования с самого начала обучения основам алгоритмизации и программирования.
Сложность для преподавателей и программистов заключается в том, что они должны уметь писать не только алгоритмы и программы, но и доказательства правильности своих алгоритмов и программ. Что сейчас не умеют делать ни математики, ни программисты.
В результате программисты пишут программы с большим числом ошибок, которые они не могут ни выявить, ни исправить. Массированное тестирование программ на ЭВМ приносит программистам несомненную пользу, однако не дает гарантий полного избавления от ошибок.
Сложность для преподавателей и программистов заключается в том, что они должны уметь писать не только алгоритмы и программы, но и доказательства правильности своих алгоритмов и программ. Что сейчас не умеют делать ни математики, ни программисты.
В результате программисты пишут программы с большим числом ошибок, которые они не могут ни выявить, ни исправить. Массированное тестирование программ на ЭВМ приносит программистам несомненную пользу, однако не дает гарантий полного избавления от ошибок.