Заключение

Математическая логика немало способствовала бурному развитию информационных технологий в XX веке, но из ее поля зрения выпало понятие "суждение", которое появилось в логике еще во времена Аристотеля и на котором, как на фундаменте, держится логическая основа естественного языка. Такое упущение отнюдь не способствовало развитию логической культуры общества и у многих даже породило иллюзию, что компьютеры способны мыслить не хуже самого человека. Многих даже не смущает то обстоятельство, что на фоне всеобщей компьютеризации в преддверии третьего тысячелетия логические нелепости в пределах самой науки (я уж не говорю о политике, законотворческой деятельности и о псевдонауке) встречаются даже чаще, чем в конце XIX века. И для того, чтобы понять суть этих нелепостей, нет необходимости обращаться к сложным математическим структурам с многоместными отношениями и рекурсивными функциями, которые применяются в математической логике. Оказывается, для понимания и анализа этих нелепостей вполне достаточно применить намного более простую математическую структуру суждения, которая не только не противоречит математическим основам современной логики, но в чем-то дополняет и расширяет их.

На знаниях законов логики базируются принципы алгоритми­зации, которые лежат в основе программирования. Фундаментом всей вычислительной техники и автоматики является преобразо­вание двоичных сигналов, анализ, проектирование и использова­ние логических схем. Основу современной математической логи­ки составляют исчисление высказываний и исчисление предика­тов. Любой язык программирования базируется на исчислении высказываний и исчислении предикатов. В частности, на языке про­граммирования "Пролог" анализируются различные виды дедук­тивных умозаключений, выводятся достоверные следствия из них. Широко применяются логические методы для построения баз дан­ных. Активно используются знания логики в развитии современ­ных направлений информационных наук.

Список литературы

1. Касаткин В.Н., Верлань А.Ф. Секреты кибернетики. 1971г.

2. Информатика для юристов и экономистов: / Симонович С.В.. - СПб.: Питер, 2003.- 688 с.: ил.

3. Логика и комбинаторика. Составитель А.А. Егоров. Приложение к журналу КВАНТ, 2002 г.

4. Каймин В.А. Информатика: Учебник. – 2-е изд., перераб. и доп. – М.: ИНФРА-М, 2002г.-272 с. – (Серия "Высшее образование")

5. Алекс Экслер. Microsoft Office 2003: Word, Excel, Outlook. Изд-во: НТ Пресс, 2005. - 176 с.

6. Алексей Шадрин, Андрей Френкель. Color Management System (CMS) в логике цветовых координатных систем.

7. Википедия - свободная энциклопедия. http://ru.wikipedia.org/.

8. Вонсовский С.В. Современная естественно-научная картина мира. - Екатеринбург: Изд-во Гуманитарного ун-та, 2005. - 680 с.

9. Информатика, математика лекции учебники курсовые студенту и школьнику.

10. Ленинская теория отражения и современность, София, 1969; Тюхтин В.С.

11. Программное обеспечение персонального компьютера.

12. Прохоров А. Н. Учебный курс Работа в современном офисе.