9.6.2. Логика
|
|
9.6.2. Логика |
|
|
Не легко, а быть может, и бесполезно, кратко объяснять, что такое логика.
|
|
Логика, созданная как наука знаменитым
Аристотелем (384 — 322 до н. э.),
на протяжении столетий использовалась для развития многих областей знания, включая теологию, философию, математику.
Она — тот фундамент, на котором построено все здание математики. По сути, логика — это наука о рассуждениях, которая позволяет определить истинность или ложность того или иного математического утверждения, исходя из совокупности первичных предположений, назывемых аксиомами.
Логика применяется также в информатике для построения компьютерных программ и доказательства их корректности. Понятия, методы и средства логики лежат в основе современных информационных технологий.
|