Статистика |
---|
Онлайн всего: 4 Гостей: 4 Пользователей: 0 |
|
Каталог сайтов
Формулы приветствия, прощания и пожелания: Buna dimineata! – Бунэ диминяца! – Доброе утро! Buna ziua! – Бунэ зиуа! – Добрый день! Buna seara! – Бунэ сяра! – Добрый вечер! Salut! – Салут! – Привет! La revedere! – Ла реведере! – До свидание! Noapte buna! – Ноапте бунэ! – Спокойной ночи! Adiо! – Адио! – Прощай! Bine ati venit! – Бине аць венит! – Добро пожаловать! Drum bun! – Друм бун – Счастливой дороги! La multi ani! – Ла мулць Ань! – С Новым Годом! Odihna placuta! – Одихнэ плэкутэ! – Приятного отдыха! Craciun fericit! – Крэчюн феричит! – Счастливого Рождества! |
Уважаемые Дамы и Господа! Приглашаем Вас на сайт Федерального государственного бюджетного научного учреждения «Центр исследований и статистики науки». Центр является одной из ведущих организаций России в области экономики, управления, статистики науки и инноваций. Научный потенциал Центра - 1 член-корр. РАН, 6 докторов наук, 29 кандидатов наук. На сайте вы можете ознакомиться с новостями из жизни ЦИСН, направлениями научно-исследовательской деятельности и структурой Центра, его руководством и ведущими научными сотрудниками, основными результатами научно-исследовательской деятельности ЦИСН и его публикациями, с международным сотрудничеством Центра. Надеемся, что информация, опубликованная на нашем сайте, будет полезна для Вас и поможет получить более полное представление о нашем Центре, результатах его деятельности и возможностях сотрудничества с нами. |
Доброй ночи, уважаемый Коллега!
Вы посетили сайт петербургского учителя физики Николая Васильевича Смирнова (nick158@yandex.ru). Пожалуйста, зарегистрируйтесь на нем, это абсолютно бесплатно и безопасно (без спама и вирусов). Сайт адресован учителям физики, ученикам и их родителям, методистам, студентам педагогических вузов, всем тем, кому интересны подборки задач по школьному курсу физики и астрономии. Но в первую очередь, тем, кто еще не накопил достаточного количества собственного задачного материала и опыта его применения. |
автор: Бранчи Анатомия для художников Формат документа: djvu Размер: 23795 Кб
автор: Головач В. Дизайн пользовательского интерфейса Формат документа: pdf Размер: 2931 Кб
автор: Гринберг А.Д. Цифровые изображения. Разрешение и разрешающая способность Формат документа: pdf Размер: 705 Кб
автор: Демерс Оуэн Текстурирование и живопись Формат документа: pdf Размер: 18036 Кб
автор: Робертсон Брюс Пейзаж Формат документа: djvu Размер: 17619 Кб
|
автор: Амосов Н.М. Моя система Формат документа: djvu Размер: 695 Кб
автор: Елисеева О.И. Практика очищения и восстановления организма Формат документа: djvu Размер: 5046 Кб
|
автор: Sarpe W. Alexander G. Investments 1 Формат документа: djvu Размер: 6169 Кб
автор: Sarpe W. Alexander G. Investments 2 Формат документа: djvu Размер: 4145 Кб
автор: Sarpe W. Alexander G.Investments 3 Формат документа: djvu Размер: 4783 Кб
автор: Sarpe W. Alexander G. Investments 4 Формат документа: djvu Размер: 4180 Кб
автор: USAID Как подготовить успешный бизнес-план Формат документа: txt Размер: 169 Кб
автор: Азимов Сергей Как зарабатывать деньги без стартового капитала Формат документа: doc Размер: 696 Кб
автор: Анейдер Ph.D. Наука побеждать в инвестициях менеджменте и маркетинге Формат документа: txt Размер: 405 Кб
автор: Архангельский Глеб Тайм-драйв: Как успевать жить и работать Формат документа: txt Размер: 3584 Кб
автор: Архангельский Глеб Формула времени. Тайм-менеджмент на Outlook 2007 Формат документа: txt Размер: 3584 Кб
автор: Бандурин В.В. Система инвестиц. взаимоотнош. в регионе на пр. Татарст Формат документа: txt Размер: 409 Кб
|
автор: Schiller C. Motion Mountain (along the concets of modern hysics) Формат документа: djvu Размер: 4214 Кб
автор: Ангерер Э.Техника физического эксперимента Формат документа: djvu Размер: 6683 Кб
автор: Буянтуев А.Б. Основы научных исследований. Лабораторный практикум. Формат документа: pdf Размер: 415 Кб
автор: Гейзенберг В. Физика и Философия Формат документа: doc Размер: 796 Кб
автор: Капра Фритьоф Дао физики Формат документа: doc Размер: 1337 Кб
Физика |
Переходов: 459
| Добавил: Diminique
| Дата: 23.11.2009
|
автор: Coulson C.A. Waves Формат документа: djvu Размер: 1907 Кб
автор: Linton C.M., McIver P. Mathematical Techniques for Wave/Structure Interactions Формат документа: djvu Размер: 1432 Кб
автор: Андронов А.А., Витт А.А., Хайкин С.Э. Теория колебаний Формат документа: djvu Размер: 18983 Кб
автор: Боголюбов Н.Н., Ю.А.Митропольский Асимптотические методы в теории нелинейных колебаний Формат документа: djvu Размер: 3971 Кб
автор: Бутенин Н.В., Неймарк Ю.И., Фуфаев Н.Л. Введение в теорию нелинейных колебаний Формат документа: djvu Размер: 3827 Кб
автор: Лайтхилл Дж. Волны в жидкостях Формат документа: djvu Размер: 6031 Кб
автор: Логгинов А.С. Основы радиофизики (1996) Формат документа: djvu Размер: 2922 Кб
автор: Люиселл У. Излучение и шумы в квантовой электронике Формат документа: djvu Размер: 3436 Кб
автор: Магнус К. Колебания Формат документа: djvu Размер: 3717 Кб
автор: Мандельштам Л.И. Собр.соч.,Том 4, Лекции по колебаниям Формат документа: djvu Размер: 3751 Кб
|
Дескрипцио́нные ло́гики (сокр. ДЛ, англ. Description logics, иногда используется неточный перевод: дескрипти́вные логики) — семейство языков представления знаний, позволяющих описывать понятия предметной области в недвусмысленном, формализованном виде. Они сочетают в себе, с одной стороны, богатые выразительные возможности, а с другой — хорошие вычислительные свойства, такие как разрешимость и относительно невысокая вычислительная сложность основных логических проблем, что делает возможным их применение на практике. Таким образом, ДЛ представляют собой компромисс между выразительностью и разрешимостью. ДЛ можно рассматривать как разрешимые фрагменты логики предикатов, синтаксически же они близки к модальным логикам. Свое современное название ДЛ получили в 1980-х. Прежние названия (в хронологическом порядке): терминологические системы, логики концептов. Изначально ДЛ зародились как расширение фреймовых структур и семантических сетей механизмами формальной логики. В настоящее время ДЛ являются важным в концепции Семантической паутины, где их предполагается использовать при построении онтологий. Фрагменты OWL-DL и OWL-Lite языка веб-онтологий OWL также основаны на ДЛ. |
Логика первого порядка (исчисление предикатов) — формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего порядка. |
|
|