добавлять утверждение

добавлять утверждение
assert

Большой англо-русский и русско-английский словарь. 2001.

Игры ⚽ Нужен реферат?

Смотреть что такое "добавлять утверждение" в других словарях:

  • Румянцев, граф Петр Александрович — — генерал фельдмаршал; сын первого графа Румянцева Александра Ивановича (см.) и супруги его, графини Марии Андреевны, урожденной графини Матвеевой (см.); родился в Москве, незадолго до кончины Петра Великого — а именно 4 го января… …   Большая биографическая энциклопедия

  • Криптосистема Ривеста-Шамира-Адельмана — RSA (буквенная аббревиатура от фамилий Rivest, Shamir и Adleman)  криптографический алгоритм с открытым ключом. RSA стал первым алгоритмом такого типа, пригодным и для шифрования, и для цифровой подписи. Алгоритм используется в большом числе… …   Википедия

  • Криптосистема Ривеста — Шамира — Адельмана — RSA (буквенная аббревиатура от фамилий Rivest, Shamir и Adleman)  криптографический алгоритм с открытым ключом. RSA стал первым алгоритмом такого типа, пригодным и для шифрования, и для цифровой подписи. Алгоритм используется в большом числе… …   Википедия

  • Криптоанализ RSA — Для улучшения этой статьи желательно?: Викифицировать статью. Данная статья описывает условия использования криптоалгоритма с открытым ключом …   Википедия

  • ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …   Философская энциклопедия

  • ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …   Философская энциклопедия

  • Птолемей III Эвергет — В Википедии есть статьи о других людях с именем Птолемей. Птолемей III Эвергет др. греч. Πτολεμαῖος Εὐεργέτης  («Птолемей Благодетель») …   Википедия

  • Трейдер — (Trader) Трейдер это биржевой спекулянт Трейдер: торговля ценными бумагами, трейдинг (trading) Содержание >>>>>>>>>>>> …   Энциклопедия инвестора

  • МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М …   Философская энциклопедия

  • Эйнштейн, Альберт — Запрос «Эйнштейн» перенаправляется сюда; см. также другие значения. Альберт Эйнштейн Albert Einstein …   Википедия

  • Священная Римская империя — германской нации лат. Sacrum Imperium Romanum Nationis Germanicæ нем. Heiliges Römisches Reich Deutscher Nation Империя …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»