... Journal of Algebra 323 (2010) 2270­2289 Contents lists available at ScienceDirect Journal of Algebra www.elsevier.com/locate/jalgebra Automorphisms of Chevalley groups of type F 4 over local rings with 1/2 E.I. Bunina M.V. Lomonosov Moscow State University, Leninskie Gory, Main Building of MSU, ... Department of Higher Algebra, Moscow 119992, Russia article info abstract In the given paper we prove that every automorphism of a Chevalley ... Ring automorphisms. ... Denote matrix units by E ij...

Еще в разделе: (Показать все результаты (>5) - halgebra.math.msu.su/ )

Published on Department of the Automation for Scientific Research CMC MSU ( http://ani.cs.msu.su ) . ... The department offices are at the 6th and 7th floor in the Lomonosov MSU 2nd educational building (Faculty of Computational Mathematics and Cybernetics): 714 (scientific secretary of the department), 615a (head of the department), 666, 717. Addmission bureau is at the nothern entrance (the one closest to the Lomonosov MSU main building), facing Lebedev street and the Faculty of Physics. ...

Еще в разделе: (Показать все результаты (>3) - ani.cs.msu.su/ )

• Courses
• Teaching and Research Staff

... 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. ...

324. Кафедра математического анализа