Для программирования открытых информационных систем [1], отличительным признаком которых является принципиальная непредсказуемость результатов взаимодействия компонентов, представляется целесообразным использовать идеи и методы логического программирования, которое, в дополнение к обычной операционной семантике, поддерживает также декларативную семантику, инвариантную по отношению к возможному недетерминизму функционирования открытой системы. ... O2, NUML и другие), обеспечивающих такие возможности. ...

Альтернативный форум . Scientific.ru Все форумы . ... Релятивисты не могут убедительно доказать что процесс гравитационного взаимодействия материи является изолированным локальным процессом. ... Релятивисты не могут убедительно доказать что процесс гравитационного взаимодействия материи имеет характер пространственно сосредоточенного центрального взаимодействия . ... Физический гравитационный аналог электродинамического понятия ГРАНИЧНЫХ УСЛОВИЙ не существует для Солнечной системы . ...

... Функция match описана в главе Текстовая обработка . /* описание формата wait() */ char cmd[256]; /* буфер для считывания команды */ #define MAXARGS 256 /* макс. количество аргументов */ char * arg [MAXARGS]; /* аргументы команды */ char *fin, *fout; /* имена для перенаправления ввода/вывода */ int rout; /* флаги перенаправления вывода */ ... p = '\0'; /* временно */ code = strcmp(name, evstr); *p = '='; /* восстановили */ return code==0 ? ... Си в UNIX . ...

... a) : (b)) extern int errno; TERMIO told, tnew, ttypmodes; FILE *fpscript = NULL; /* файл с трассировкой (если надо) */ int go = 0; int scriptflg = 0; int halfflag = 0; /* HALF DUPLEX */ int autoecho = 0; char *protocol = typescript ; #define STDIN 0 /* fileno(stdin) */ #define STDOUT 1 /* fileno(stdout) */ #define STDERR 2 /* fileno(stderr) */ /* какие каналы связаны с терминалом? */ int tty_stdin, tty_stdout, tty_stderr; int TTYFD; ... Си в UNIX . ...

... Астронет | ... планета Астронет | ... Оторванный хвост кометы Энке . ... Перевод: Д.Ю.Цветков Пояснение: Пролетая внутри орбиты Меркурия, 20-го апреля комета Энке испытала удар от Солнца - это был корональный выброс . ... Но в этом случае после столкновения оторвался хвост кометы. ... Поэтому не волнуйтесь, хвост кометы Энке вырастет снова! ... Еще один хвост кометы Гаррадда . Противоположные хвосты кометы Гаррадда . ... Хвосты кометы Гаррадда . Комета и корональный выброс массы на Солнце . ...

... А. А. Разборов планирует провести 2 3 занятия. Имеется выражение, состоящее из булевых переменных $p_1,\ldots,p_n$ и логических связок $\neg,\lor,\land,\Rightarrow$. Как доказать, что оно выполнимо , т. е. что вместо $p_1,\ldots,p_n$ можно подставить TRUE или FALSE так, что значение всего выражения окажется равным TRUE? Ответ очевиден: предъявить подстановку и проверить ее прямым вычислением. ... Короткого доказательства, скорее всего, не существует. ... Как доказать, что она несовместна? ...

Клуб Скептиков] [Конференция] . ... Старый Лис : Что такое "cтрогое доказательство" . ... Какое доказательство считать 'строгим' в какое верить? ... 13-Дек (10:21) Старый Лис Нормальные люди 13-Дек (13:14) Старый Лис Поправка 13-Дек (13:21) DoctoR re: Поправка 13-Дек (18:40) Артем re: Поправка 13-Дек (19:52) Mauhuur re: Поправка 13-Дек (23:53) DoctoR re: Поправка 14-Дек (17:40) Артем re: Поправка 14-Дек (21:08) Mauhuur re: Нормальные люди 13-Дек (23:49) Прохожий re: Нормальные люди 14-Дек (18:24) . ...

... Сегодня: 10 апреля 2016 г. Вечером во вторник было окончательно подтверждено, что на Марсе когда-то была вода. ... Один из администраторов NASA Эд Уэйлер подчеркнул, что "вода когда-то орошала часть Марса". Таким образом подтверждено, что на Марсе существовали условия для зарождения органической жизни. ... Сквайрс пояснил, что Opportunity обнаружил четыре различных доказательства раннего присутствия на Марсе больших запасов воды. ... Марсоход Opportunity доказал: на Марсе была вода . ...

Астрономия и Космос Вселенная Нейтрино . Поймать неуловимое, зафиксировать эффект, вызванный свободным нейтрино , - вот что было необходимо для окончательного доказательства существования этой таинственной частицы. ... И теперь можно сказать, что нейтрино могут беспрепятственно проникать, скажем, сквозь чугунную плиту, толщина которой в миллиарды раз превышает расстояние от Земли до Солнца ! ... n=p+е-+Антинейтрино . ... Комментарии к Как физики-экспериментаторы "поймали" нейтрино . ...

Электрический заряд | ... Электрическое поле | ... После открытия закона Кулона теория дальнодействия совсем вытесняет теорию близкодействия. ... Каждый из них создаёт в окружающем пространстве электрическое поле. ... Электрическое поле неподвижных зарядов называют электростатическим. ... Согласно теории близкодействия взаимодействие между заряженными частицами осуществляется посредством электрического поля. ... Каждый заряд создает в окружающем пространстве электрическое поле . ...

Институт Космических Исследований . ... Физика планет и малых тел Солнечной системы . ... Федеральное государственное бюджетное учреждение науки Институт космических исследований Российской академии наук (ИКИ РАН) - головной академический институт по исследованию и использованию космического пространства в интересах фундаментальных наук. ... Одиннадцатая ежегодная конференция "Физика плазмы в солнечной системе" . ... ФГБУН Институт космических исследований Российской академии наук (ИКИ РАН) . ...

... Новости астрономии и космонавтики (Модераторы: Karen , recarrion , LeMay ) ? Найдено доказательство сепарации звезд в скоплениях по массе . ... В крупных шаровых скоплениях самые массивные звезды "прописаны" вблизи центра скопления, а самые легкие - на его периферии. Удивительно, особенно если учесть, что в начале жизни скопления звезды в нем равномерно распределены по массам и расположению. ... Типичное шаровое скопление содержит несколько сотен тысяч звезд. ...

Немного истории изучения элементарных частиц и ядер. ... Основные физические величины и их значения в микромире: длина, время, скорость, масса, энергия, заряд, ппж, магнитный момент и способы их измерения. ... Свойства взаимодействий. ... Стандартная Модель в физике частиц. ... Детекторы в физике частиц и ядер. ... Определение размеров ядер по рассеянию электронов на ядрах. ... Экспериментальное доказательство существования нейтрино и его свойства. ... Введение в физику ядра и частиц. ...

... Всех, кто работал с системой MATLAB, поражает удивительная легкость написания программ на языке MATLAB для решения самых разнообразных задач. MATLAB предлагает классы, которые представляют основные типы данных MATLAB в других языках программирования: С/С++, Java, VBA, .NET. ... В ней подробно рассматривается работа Компилятора MATLAB, примеры создания независимых от MATLAB приложений на C++, Java, C#, VBA. ... Джемперы и водолазки . ... Джемперы - Pepe Jeans - Pepe Jeans . ...

... Теорема. Множество простых чисел бесконечно. ... Предположим, что множество простых чисел конечно и р самое большое простое число. ... Из (1) следует, что каждый член последовательности Сильвестра взаимно прост со всеми предыдущими. ... Суть доказательства Евклида состоит в том, что в предположении конечности множества простых чисел строится некоторое число k, которое не делится ни на одно из простых чисел. ... Докажем, что любые два элемента последовательности an взаимно простые числа. ...

... Пара фермион-антифермион превращается в заряженный W-бозон, или в результате обратного процесса - распада W-бозона - в пару фермион-антифермион. промежуточные -бозоны являются переносчиками слабого взаимодействия. В элементарном узле слабого взаимодействия сходятся три линии - одна из них соответствует промежуточному бозону, а две других - кварк-антикварковой или лептон-антилептонной паре. -бозон создает нейтральный слабый ток, не меняющий типа кварков. ... вершина сильного взаимодействия кварков. ...

... К.В.БЫЧКОВ [ГАИШ] , А.С.НИФАНОВ, И.М.САРАЕВА [физфак МГУ] . ДИНАМИКА МАТЕРИАЛЬНОЙ ТОЧКИ: ЗАДАЧИ . ... Предлагается несколько задач для семинарских занятий со студентами - астрономами по теме 'Динамика материальной точки'. ... Так задача о прецессии орбиты имеет прямое отношение к объяснению траектории движения вокруг Солнца его ближайшей планеты - Меркурия. ... Планета массы движется по эллипсу под действием центральной притягивающей силы . ... действием центральной . ...

... Онлайн-подготовка к ЕГЭ . Как готовиться к ЕГЭ? ... Процедура проведения ЕГЭ . ... Полезные сайты . ... Методика использования . ... Цель создания. ... Какие требования к меню и кнопкам управления. ... Изготовление сайтов по готовой модели дизайна облегчит задачу исполнителю. ... Заказчик должен принять работу, а при несоответствии требований и наличии ошибок исполнитель обязан устранить проблемы в указанный вами срок. ... 2016 О проекте Контакты Карта сайта Правила использования сайта Поддержка . ...

... Наука . ... События Круглый стол 'Искусство, техника, наука: грани взаимодействия' . ... Искусство, техника, наука: грани взаимодействия' . На круглом столе предполагается обсудить ряд вопросов. ... влияние научно-технического прогресса на традиционную сферу искусства; . ... С изобретением фотографии, а позже и кино, изменился весь характер искусства. ... Участниками круглого стола являются деятели современной науки и культуры. ... 846) 335-18-26 Факс: (846) 335-18-36 . ... Тел.: (846) 267-44-99 . ...

Поле физическое . ... Квантами поля гравитационного взаимодействия являются гравитоны. ... сильных взаимодействий ( ядерное ) . ... Действие поля сильных взаимодействий немаловажно и для макропроцессов во Вселенной, хотя бы потому, что без этого поля ядра атомов, а значит и сами атомы, просто не могли бы существовать. слабых взаимодействий . ... Электромагнитное поле проявляет себя во взаимодействии электрических зарядов, покоящихся - электрическое поле - или движущихся - магнитное поле. ...