н між людським суспільством і навколишнім природним середовищем, в якій людина живе, в якій до межі загострені суперечності між економічними інтересами суспільства в споживанні і використанні природного середовища та екологічними вимогами забезпечення схоронності, якості цього середовища для виживання самого суспільства. У структурі екологічної кризи, виділяють дві сторони - природну і соціальну.
Природна сторона екологічної кризи об'єднує в собі ознаки деградації, руйнування природного середовища:
глобальне потепління клімату, парниковий ефект;
загальне ослаблення озонового шару Землі; поява озонових дір;
забруднення атмосфери, утворення кислотних дощів,
фотохімічні реакції з утворенням озону, перекисних сполук з CnHm;
забруднення світового океану, поховання в ньому високотоксичних і радіоактивних відходів (дампінг), забруднення нафтою, нафтопродуктами, пестицидами, ПАР, важкими металами, теплове забруднення;
забруднення та виснаження поверхневих вод, порушення балансу між поверхневими і грунтовими водами;
забруднення поверхні землі всім комплексом забруднювачів: ТПВ, важкими та радіоактивними елементами, зміна геохімії землі та ґрунтових вод;
скорочення лісових площ (зведення лісів) в результаті пожеж, промислових рубок, втрат вже заготовленої деревини, кислотних дощів, незаконних порубок, шкідливих комах і хвороб, уражень промисловими викидами (у тому числі - ядерні аварії);
деградація ґрунтів, опустелювання в результаті зведення лісів, нераціонального землекористування, посухи, перевипаса худоби, нераціонального зрошення (заболочування, засолення);
звільнення існуючих і виникнення нових екологічних ніш, заповнення їх небажаними живими організмами;
порушення екологічного балансу в глобальних і регіональному масштабах, загальне перенаселення планети і висока щільність населення в різних регіонах, погіршення якості середовища життя в містах.
Соціальні якості, вихованість - насамперед, виступають як прояви закону на всіх не вистачить і тісно пов'язані з економікою. Ступінь нерівності (економічного, соціального) життєвих шансів у людей така, якою ніколи не буває в природі в межах одного стабільного виду тварин. Зростання народонаселення за рахунок малорозвинених країн тільки підсилює це соціальна нерівність.
Соціальна сторона екологічної кризи проявляється в наступних соціальних явищах:
У неефективності роботи спеціальних органів з охорони навколишнього середовища, охорони та використання лісів, рибних ресурсів, тваринного світу, надр.
У протистоянні представницьких і виконавчих органів влади, місцевого самоврядування, що вусугубляет неефективність роботи.
У нездатності правоохоронних органів забезпечити контроль і нагляд за виконанням законів про охорону навколишнього середовища.
У масовому еколого-правовому нігілізмі, неповага еколого-правових вимог, порушення та невиконання їх.
Шляхи виходу з екологічної кризи, по суті зводяться до необхідності:
. Стримати зростання населення
. Знизити пріродоемкость економіки.
Навколо цих проблем і формуються моделі, програми, у тому числі і міжнародні, по виходу з екологічної кризи і подальшому розвитку людства.
9. Принцип верифікації - це ...
Принцип верифікації висловлювань (від лат. veritas - істина). Згідно з цим принципом, будь висловлювання в науці, практиці, філософії підлягає дослідної перевірки на істинність. Тільки ті висловлювання мають науковий сенс, які допускають, в кінцевому рахунку, зведення їх до висловлювань, фіксуючим безпосередній чуттєвий досвід індивіда, до атомарним висловлювань .
Формальна верифікація - доказ за допомогою формальних методів правильності чи неправильності програми (системи) відповідно до формальним описом властивостей програми (системи).
Методи верифікації :
· Метод аксіоматичної семантики Хоара
· Метод індуктивних тверджень Флойда
· Доказове програмування
· Автоматичне доведення теорем
· Перевірка моделей
· Символьне виконання
· Абстрактна інтерпретація
Верифікація або емпіричне підтвердження є основним критерієм науковості знання.
10. Інтуїція - це ...
...
