18 � � - , 2010 . ... 10-6�10-5 , ( - 100 ) - 10-10�10-11. - : ~ 10%, - ~ 1% , , - ~ 0,1%. (-) - - ~10-5. , , 3 () ( = h/, � ), -. ... R = 2/2M = E2/2Mc2 = (E0 � R)2/2Mc2. ... 14,4 57Fe. 100 , 5�10-9 . ... 7 : f = exp(- p < x 2 > 2 h 2 ), (9 ) = / � -, <x2> � ( ) , r p . ... 14,4 57Fe 1000 . ... I B mB )2 FLM ( ) , (2 7 ) IB I � ; -; F() � , -; � - ( ). ... 5. -: sin 2 F1,0 = , 2 F1, �1 1 + cos2 = 4 (29) 19 1. ... 256 - , - (30 � 40) , . ... NPZ18P; . ... Fe2O3 (Fe2O3 � : 700�). ... 9 57Fe Fe2O3 /. ...

��� � �������: (�������� ��� ���������� (>3) - prac-gw.sinp.msu.ru/ )

• http://prac-gw.sinp.msu.ru/lsp/Lab19.pdf

... ��������� � ��������� ������� . ... ���� ������� . ... ���� �������� � 1957 ���� � ������� ������� (���������-��������) ����������� �������� ����� �����, ����������� �������� ������������� ��������� ��� ������� ������� ��� ����� ����������� ���������� �� ��������� �������������� �������������� ���� (1957?1959 ����). ... ���������� ����� ? ... ������� (128 ��, 3 ����) � �� ������ ���������� �� ����� ���� ���. ... Copyright 2011 2014 ���������� ��������������� ����������� ����� �.�.����������, . ...

��� � �������: (�������� ��� ���������� (>5) - practice.msu.ru/ )

... if (B1) { S1; } if (B1) { S1; } if (B2) { S2; } - - ...exp... int x = 1; if (x == 1) { std::cout << "Okay" << std::endl; } else { std::cout << "Error" << std::endl; } -- � int strlen(const char* p) { int len = 0; do { ++len; } while (*p++); return len; } ��, �bbb� -- , : � � , , � � , , � � , � � . ... 1977 � LTL, � , 1981 � (CTL), � , , 1981 , , 1982 � model checking ( ), � , 1986 � model checking ( ), � , 1989 � SPIN. ... The Spin Model Checker: Primer and Reference Manual, Addison Wesley, 2003. ...