. ... . . ... . ... . ... . ... . ... 23 2016 . ? ? . ... // www.museum.msu.ru 2006-2015 ...
496. http://law.msu.ru/bitcache/bc6ca81fd934d7083472270ea392667daf49eebb?vid=30191&disposition=attachment&op=download
MOSCOW STATE UNIVERSITY The Scientific Society of students of the Law Faculty January 25, 2014 1- The flyer of the Unit `Jurisprudence' of International scientific conference "Lomonosov - 2014" 1. ... The organizers of the Unit are the law faculty of Moscow State University and the Scientific Society of students of the law faculty. ... Administrative law 2. ... The Organizing Committee: Presiding Officer Kozlova Natalya Vladimirovna (Deputy Dean of Law Faculty on study, Doctor in Law, Professor). ...
[
]
http://law.msu.ru/bitcache/bc6ca81fd934d7083472270ea392667daf49eebb?vid=30191&disposition=attachment&op=download -- 260.2 -- 28.02.2014
498. http://savenkov.lvk.cs.msu.su/mc/lect01.pdf
... 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. ...
[
]
http://savenkov.lvk.cs.msu.su/mc/lect01.pdf -- 958.6 -- 23.02.2012
499. http://temporology.bio.msu.ru/seminar/new_program.pdf
WEB- . ... 495) 939 5560. 1 30 . ... 2) : A. IGAMBERDIEV ( ). Igamberdiev AU (2012) Physics and Logic of Life. ... BioSystems 109: 336-345, Igamberdiev AU (2008) Objective patterns in the evolving network of non-equivalent observers. BioSystems 92: 122-131, Igamberdiev AU (2007) Physical limits of computation and emergence of life. ... BioSystems 77: 47-56.) ... 1 - : DLF- TSK- . DLF- [Le-11] D, L, F. D (http://math.bu.edu/people/levit/mem-segal.pdf), L " ", F " ". ... DLF - . ...
[
]
http://temporology.bio.msu.ru/seminar/new_program.pdf -- 1010.4 -- 27.02.2014
:
(
(>25) - temporology.bio.msu.ru/ )
500. :
. ... , , . ... mech (mech.math.msu.su); MEXMAT (nw.math.msu.su); STUDENT (student.math.msu.su); VX6400 (stvax.math.msu.su). ... 1305, 1307, 1315 1316 , 1308 - . ...
[
]
http://www.mnc.ru/index.php?path=./mexmat/&file=rcc.src -- 17.4 -- 09.04.2016