... Формулы логики высказываний и высказывательные (пропозициональные) формы. Истинностная функция, определенная данной формулой логики высказываний и данным набором пропозициональных переменных. Тождественно истинные формулы логики высказываний (тавтологии). ... Равносильность формул логики высказываний. ... Теорема о приведении формулы логики высказываний к совершенной дизъюнктивной (конъюнктивной) нормальной форме. ... Понятие формулы логики предикатов. ... Теории 1-го порядка. ...

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

• Вестник Московского Университета. Математика, Механика - Содержание
• Вестник МГУ. Математика. Механика Вестник Московского Университета. Математика,

... Россия - европейский союз . ... Москва уже сейчас ставит перед ЕС вопрос об уче-те ее интересов при расширении общего рынка Евросоюза на страны ЦВЕ, которые будут вступать в ЕС, поскольку промедление на прошлом этапе расширения не удалось потом восполнить. ... Встреча 'Россия - Евросоюз' показала, что ЕС не раз-деляет российского понимания причин кризиса в Чечне. ... На саммите ЕС в Хельсинки (10-11 декабря) лидеры Евросоюза вновь призвали Россию прекратить боевые действия. ...

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

... Окна предназначены для мониторирования в реальном времени регистрируемых сигналов или вычисляемых частотных характеристик. ... В установках окна можно: . ... Изменение границ шкалы Y позволяет масштабнее визуализировать показатели, изменение которых ограничено только частью полного амплитудного диапазона. ... ЧСС - вычисление диапазона значений RRинтервалов с пересчетом его в диапазон значений ЧСС; в окно выводятся последовательные вертикальные полосы в вычисленном диапазоне значений; . ...

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

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

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

... Акустические методы применяются для зондирования верхних слоев атмосферы и восстановления их свойств, дистанционного мониторинга сильных сейсмических процессов, в том числе взрывных процессов естественного и искусственного происхождения, сейсмической и вулканической активности, ядерных взрывов, дальнего распространения звука. ... PDF file) . Гусев В.А., Жостков Р.А. Интенсивные акустические волны в стратифицированной неизотермической атмосфере // Ежегодник РАО "Акустика неоднородных сред". ...

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

Заседание 203 (26 декабря 2008 г.) . ... Проведен анализ главных членов общих асимптотических разложений решений первой краевой задачи трехмерной динамической теории упругости в перемещениях. ... Асимптотический анализ показал, что для существования и единственности главных членов асимптотик перемещений внутри области трехмерного тонкого тела необходимо, чтобы порядки (по малому геометрическому параметру) задаваемых на границе компонент перемещений были связаны друг с другом определенным образом. ...

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

• Заседание 223
• Заседание 339

... Русский язык как иностранный . ... Языковая политика . ... Искусственное и естественное в языке и речи . ... Эта проблема многоаспектна: возможность и целесообразность моделирования (конструирования) языка и планового управления языком обсуждается не только касательно искусственных языков, но и касательно языков естественных. ... Любое взаимодействие языков нуждается в некоторой степени вмешательства извне, добавлении человеком экстралингвистических факторов в естественный ход языкового развития. ...

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

• Понятия концепта и системы концептов в теории коммуникации
• Компьютерное терминоведение
• Учебная деятельность

... Архив семинаров . ... Послать приглашение на семинар . ... Структура натуралистической биологии воссоздана с помощью 6 отношений между организмами: СХОДСТВО, КОРРЕЛЯЦИЯ (строения), СИММЕТРИЯ (геометрических планов строения), РОДСТВО, СОВМЕСТНОСТЬ, СОСУЩЕСТВОВАНИЕ. ... Для натуралистов не существует загадки жизни. Так называемая сущность жизни идеальна, она лишь воплощена в организмах и выражена в смысле слов (не чисел), которыми написаны тексты натуралистской картины жизни. ... Научные семинары | ...

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

• Чужеродные виды на территории России: Публикации: Дгебуадзе Ю.Ю. Проблемы
• Биологические ресурсы Российской Федерации: Важнейшие ресурсные сообщества:
• Исследовательские подразделения: Лаборатория морфологии и экологии морских

Официальный сайт кафедры Математической теории интеллектуальных систем и . ... Сотрудники :: Гасанов Эльяр Эльдарович :: Публикации Гасанова Э.Э. Скачать статью полностью в формате PDF (280 кб): nizhotinfset.pdf . ... В статье исследуются задачи поиска, в которых отношение поиска является отношением частичного порядка. ... С помощью этого свойства для задач поиска с естественным отношением частичного порядка, заданным на булевом кубе, получена нижняя оценка. ...

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

• Интеллектуальные системы :: Учеба :: Курсы :: Программа спецкурса "Введение в
• Интеллектуальные системы :: Сотрудники :: Носов Валентин Александрович ::

... Билет 1 . 1) Понятие о базах данных и о системах управления базами данных. ... 2) Порядок в домене. ... 1) Понятие о модели данных. ... 2) Нормальные формы (НФ) реляционных баз данных: НФ1, НФ2. ... 2) Выразить на SQL запрос: "имена поставщиков красных деталей". ... 2) Выразить на SQL запрос: "имена поставщиков всех деталей". ... 2) Выразить в реляционной алгебре запрос: "имена поставщиков красных деталей". ... 2) Выразить в реляционной алгебре запрос: "имена поставщиков всех деталей". ...

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

• Заседание научно-исследовательского семинара. 20 февраля 2008 г.

... Одни из самых употребительных формул вежливости - формулы приветствия. Когда встречают знакомых, им говорят 'Здравствуйте!' или 'Привет!', иногда - 'Приветствую Вас!' Каждая формула приветствия имеет свое собственное употребление, выражает особые отношения, связана с определенной ситуацией. Так, формула 'Привет!' выражает близкие, непринужденный непринужденные отношения и широко распространена среди молодежи. ... И во всех ситуациях уместно приветствие 'Здравствуйте!' ...

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

• Что такое этикет
• Избранные работы. П.Иосад :: МГУ :: Филфак :: ОТиПЛ

... Слушая жалобы пожилых людей, мы узнаем, что природа заметно стареет и что слышен звук шагов, которыми она приближается к своему упадку. ... И этот упадок замечается будто бы не только в естественном устройстве Земли, он простирается и на нравственное состояние людей. ... Точно так же и постепенное ухудшение состояния Земли до такой степени вплетено в цепь перемен, которые вначале способствовали ее совершенствованию, что оно может стать заметным лишь через длительный промежуток времени. ...

Еще в разделе: (Показать все результаты (>69) - www.students.chemport.ru/ )

... ЖИЗНЬ, ПРОСТРАНСТВО, ВРЕМЯ: ПОПЫТКА УЧЕСТЬ ПОЗИЦИИ БОРА И ВЕРНАДСКОГО . ... Возможно, что это окажется следствием особого состояния пространства-времени, имеющего субстрат, отвечающий неевклидовой геометрии" (B.И.Вернадский 1991). Таким образом, жизнь, возможно, обусловлена особыми состояниями пространства-времени (позиция Вернадского) и как явление дополнительна к явлениям материального мира (позиция Бора). ... Это законы геометрии, которым подчиняется пространство-время. ... ВЕРНАДСКИЙ B.И.. ...

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

• ГИПОТЕЗА ОБ ОБРАТИМОСТИ СТАРЕНИЯ В ЛИНИИ ПОЛОВЫХ КЛЕТОК
• УПРАВЛЕНИЕ СОБСТВЕННЫМ ВРЕМЕНЕМ БИОСИСТЕМ

... Суть и назначение бинарной геометрофизики: основные идеи бинарной геометрофизики, реляционная концепция пространства-времени, место бинарной геометрофизики среди других физических теорий и программ. Принципы и понятия теории отношений: физические структуры, законы и парные отношения бинарных структур, унарные структуры низших рангов и возможные виды геометрий, пространство Минковского как унарная структура ранга 6. ... Ю.С.Владимиров. Реляционная теория пространства-времени и взаимодействий. ...

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

• Реляционная теория пространства-времени и физических взаимодействий

... Краткое название белка ? TRUA_ECOLI . Полное название организма ? ... Название гена ? ... b2318 . TRUA_ECOLI pseudouridylate synthase I MSDQQQPPVYKIALGIEYDGSKYYGWQRQNEVRSVQEKLEKALSQVANEPITVF CAGRTDAGVHGTGQVVHFETTALRKDAAWTLGVNANLPGDIAVRWVKTVPDDFH ARFSATARRYRYIIYNHRLRPAVLSKGVTHFYEPLDAERMHRAAQCLLGENDFT SFRAVQCQSRTPWRNVMHINVTRHGPYVVVDIKANAFVHHMVRNIVGSLMEVGA HNQPESWIAELLAAKDRTLAAATAKAEGLYLVAVDYPDRYDLPKPPMGPLFLAD . ... D (Аспарагиновая кислота) . ... Михайлова Татьяна, 2004 ...

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

• Пример использования трехмерного QSAR анализа для предсказания активности
• Занятие12
• Шестой семестр

. Главная Программа Материалы - Конспекты - Задачи Электрожурнал Успеваемость Преподавателям . В Pascal'e предусмотрены следующие операции отношения : . = . равно . > . больше . <> . не равно . >= . больше или равно . < . меньше . <= . меньше или равно . Приоритет операций отношения ниже, чем арифметических действий. Например, запись (a + b) >= (c + d) тождественна записи a + b >= c + d .

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

... Структура Института . ... Стенограмма выступлений на круглом столе по теме Информационное противоборство в контексте обеспечения национальной и международной безопасности . Тезисы для обсуждения на круглом столе вопросов формирования системы международной информационной безопасности . ... Целью принятия международного политико-правового акта в области международной информационной безопасности (МИБ) могло бы стать: . ... Институт проблем информационной безопасности МГУ имени М.В. Ломоносова. ...

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

• США теперь готовы обсуждать с Россией безопасность в сети Интернет

Кроме фактов программы на языке Пролог могут содержать правила , позволяющие получать дополнительные знания о том мире, который описывает программа. ... Правило, определяющее отношение ребенок/2 через отношение отец/2 , запишется следующим образом: ребенок(X, Y) :- отец(Y, X). ... Определим отношение мать/2 через отношения родитель/2 и женщина/1 следующим образом: матерью X для человека Y является его родитель женского рода. мать(X, Y) :- родитель(X, Y), женщина(X). ... X=анна Y=юлия Yes ?- мать(X). ...

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

• LecturesVMSH/2011-12-07 - UNИX
• The Debian GNU/Linux FAQ - Debian и ядро
• LecturesVMSH/2010-12-01 - UNИX

... Школьное химическое образование в России: . стандарты, учебники, олимпиады, экзамены . ... Первый шаг в использовании нового стандарта школьного химического образования уже сделан: на его основе создан проект школьной программы и написаны школьные учебники по химии для 8 и 9 класса. ... Обсуждается современное состояние школьного химического образования в России. ... Обсуждена роль химических олимпиад в системе школьного образования. ... Проблемы школьного химического образования . ...

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

• Введение к курсу математического анализа для студентов 2 курса химического
• Коробов М.В.Программа по курсу "Химической термодинамики"(для студентов
• ЭФФЕКТЫ МАГНЕТОФОТОСЕЛЕКЦИИ В СПЕКТРАХ ЭПР ФОТОСИНТЕТИЧЕСКИХ БАКТЕРИАЛЬНЫХ

... ь |вуза | ... Процент указанных в лицензии вуза и реализуемых |не менее | им направлений подготовки (специальностей) высшего |65% | профессионального образования из укрупненных групп: | физико-математические науки (010000), естественные | ... Процент обущающего контингента по упамянутым в |не менее | ... Процент обучающегося контингента по упомянутам в |не менее | ... Процент указанных в лицензии вуза специальностей |не менее | ... Процент обучающегося контингента по |не менее | ...

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

• http://www.acur.msu.ru/docs/ju4.doc