помеченное множество

  • 1Киреевский, Иван Васильевич — критик и мыслитель, род. в Москве 22 марта 1806 года, ум. 11 июня 1856 года в Петербурге. Он принадлежал к одному из самых старинных родов белевских и козельских дворян. Отец его, Василий Иванович Киреевский, служил в гвардии и вышел в отставку… …

    Большая биографическая энциклопедия

  • 2Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций  это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка …

    Википедия

  • 3Subversion — У этого термина существуют и другие значения, см. Subversion (игра). Subversion Логотип Subversion Тип централизованная …

    Википедия

  • 4Мария Николаевна (великая княжна) — Эта статья о дочери Николая II; о дочери Николая I см.: Мария Николаевна (дочь Николая I). Мария Николаевна …

    Википедия

  • 5SVN — Subversion Логотип Subversion Тип система управления версиями Разработчик CollabNet, Inc. Написана на C …

    Википедия

  • 6SubVersion — Логотип Subversion Тип система управления версиями Разработчик CollabNet, Inc. Написана на C …

    Википедия

  • 7Svn — Subversion Логотип Subversion Тип система управления версиями Разработчик CollabNet, Inc. Написана на C …

    Википедия

  • 8Канкрин, граф Егор Францович — министр финансов, род. 16 ноября (по другим показаниям 8 декабря) 1774 г. в гессенском городе Ганау, ум. 9 сентября 1845 г. в Павловске. Двое из предков Е. Ф. Канкрина были пасторами, с фамилией Krebs, впоследствии переделанной на латинский манер …

    Большая биографическая энциклопедия

  • 9Список структур данных — …

    Википедия

  • 10Плещеев, Алексей Николаевич — В Википедии есть статьи о других людях с такой фамилией, см. Плещеев. Алексей Николаевич Плещеев Псевдонимы: А.Н.П.; А.П.; А.П. и А.С.; Лишний челове …

    Википедия