помеченное множество
Смотреть что такое "помеченное множество" в других словарях:
Киреевский, Иван Васильевич — критик и мыслитель, род. в Москве 22 марта 1806 года, ум. 11 июня 1856 года в Петербурге. Он принадлежал к одному из самых старинных родов белевских и козельских дворян. Отец его, Василий Иванович Киреевский, служил в гвардии и вышел в отставку… … Большая биографическая энциклопедия
Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка … Википедия
Subversion — У этого термина существуют и другие значения, см. Subversion (игра). Subversion Логотип Subversion Тип централизованная … Википедия
Мария Николаевна (великая княжна) — Эта статья о дочери Николая II; о дочери Николая I см.: Мария Николаевна (дочь Николая I). Мария Николаевна … Википедия
SVN — Subversion Логотип Subversion Тип система управления версиями Разработчик CollabNet, Inc. Написана на C … Википедия
SubVersion — Логотип Subversion Тип система управления версиями Разработчик CollabNet, Inc. Написана на C … Википедия
Svn — Subversion Логотип Subversion Тип система управления версиями Разработчик CollabNet, Inc. Написана на C … Википедия
Канкрин, граф Егор Францович — министр финансов, род. 16 ноября (по другим показаниям 8 декабря) 1774 г. в гессенском городе Ганау, ум. 9 сентября 1845 г. в Павловске. Двое из предков Е. Ф. Канкрина были пасторами, с фамилией Krebs, впоследствии переделанной на латинский манер … Большая биографическая энциклопедия
Список структур данных — … Википедия
Плещеев, Алексей Николаевич — В Википедии есть статьи о других людях с такой фамилией, см. Плещеев. Алексей Николаевич Плещеев Псевдонимы: А.Н.П.; А.П.; А.П. и А.С.; Лишний челове … Википедия
Талиесин — Факсимильная страница «Книги Талиесина», Folio 13 Талиесин (устаревшая русская передача Тальесин; валл … Википедия
