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

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

... Department of Mathematics, . Faculty of Physics, MSU . ... Mathematical analysis 2 . Numerical Methods (A.N. Bogolyubov) . ... Asymptotic methods in nonlinear problems of mathematical physics . ... Extremal problems . ... Methods of finite differences in mathematical physics . ... 13 th Annual workshop will be organized by the of Department of Mathematics of Physics Faculty at Moscow State University , Moscow, Russia. ... Department of Mathematics, Faculty of Physics, Lomonosov MSU 2014-2016 ...

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

... Предметы, кафедры и факультеты . Московского Университета . ... Вариант 1: Если указать лишь один из трех параметров (кроме времени), можно узнать о существовании факультета или кафедры, преподавании предмета в указанное время . Вариант 2: Можно выбрать произвольную комбинацию параметров и получить, например, ответ на вопрос: "Когда какой предмет на какой кафедре и каком факультете преподавался?" ... Вариант "не интересует/не выводить" укажет системе отсутствие интереса к данному полю. ...

Еще в разделе: (Показать все результаты (>17) - museum.guru.ru/ )

• История Императорского Московского университета :: Персоналии :: Профессоры

Ботанический сад МГУ участвует в новом проекте Европейского союза 'INQUIRE', который направлен на развитие интереса к науке у школьников и широкое внедрение в образовательные системы европейских стран (общего и дополнительного образования) новых образовательных технологий и методов обучения (IBSE), основанных на развитии внеклассной научной проектно-исследовательской деятельности школьников (LOC- Learning Outside the Classroom). ... Ботанический сад Московского государственного университета (Россия) . ...

Еще в разделе: (Показать все результаты (>61) - botsad.msu.ru/ )

• Приложение 3
• В саду проводятся междисциплинарные исследования по изучению орнитофауны (на
• Приложение 6

... О факультете | ... Международный бизнес в сфере информационных технологий. ... Исследована специфика формирования коммерческой политики ведущих производителей данного вида технологий, проблемы ценообразования в трех главных сегментах рынка информационных технологий. ... Виталий Третьяков считает, что телевидение должно иметь 'книжный фундамент', то есть опираться на традиционные культурные ценности человечества.. ... 2009-2014 Высшая школа телевидения МГУ им. М.В.Ломоносова . ...

Еще в разделе: (Показать все результаты (>204) - ftv.msu.ru/ )

... VaST is a software tool for finding variable objects on a series of astronomical images. ... VaST performs object detection and aperture photometry using SExtractor on each image, cross-matches lists of detected stars, performs magnitude calibration with respect to the first (reference) image and constructs a lightcurve for each object. ... VaST FITS image viewer ./pgfv . ... Part I" PZP, vol. ... K. V. Sokolovsky, S. A. Korotkiy; "New Variable Stars Discovered by the NMW Survey" PZP, vol. ...

347. http://www.edst.msu.ru/conf/docs/Bologne.doc

348. Laboratory of Mathematical Models of Quantum Scattering Processes / MSU

349. Звенигородская биологическая станция МГУ имени М.В.Ломоносова

350. Главная / Аспирантура МГУ имени М.В.Ломоносова

351. Specification

352. Хроника

353. Технологии виртуальных миров в школьном образовании. Система vAcademia. Семинар

354. Лаборатория Термохимии МГУ

355. stratif

356. Grants

357. ::Конференции

358. Образовательные стандарты МГУ