аксиома цикла

axiom of iteration

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

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

  • Логика Хоара — (англ. Hoare logic, также Floyd Hoare logic, или Hoare rules)  формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ. Была предложена в 1969 году английским учёным в… …   Википедия

  • Громыко, Ольга Николаевна — Ольга Громыко Имя при рождении: Ольга Николаевна Зайцева Дата рождения …   Википедия

  • Пуанкаре, Анри — Анри Пуанкаре Henri Poincaré Дата рождения: 29 апреля 1854(1854 04 29) Место рождения: Нанси …   Википедия

  • История астрономии — История науки …   Википедия

  • Фирдоуси — (правильнее Ф ий , т. е. райский , Абуль Касим Тусский) знаменитейший персидский поэт, родился около 935 г., умер вскоре после 1020 г. Обширные показания о Ф. и о Шахнаме содержатся: а) в двух персидских предисловиях к Шахнаме , из которых одно… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

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

  • Долгая счастливая жизнь (альбом) — Внимание! Данная страница или раздел содержит ненормативную лексику …   Википедия

  • Матроид — Матроид  классификация подмножеств некоторого множества, представляющая собой обобщение идеи независимости элементов, аналогично независимости элементов линейного пространства, на произвольное множество. Содержание 1 Аксиоматическое… …   Википедия

  • Жирмунский, Виктор Максимович — В Википедии есть статьи о других людях с такой фамилией, см. Жирмунский. Виктор Максимович Жирмунский Дата рождения: 21 июля (2 августа) 1891(1891 08 02) Место рождения: Санкт Петербург Дата смерти …   Википедия

  • Шахнаме — Оформление страницы книги «Шахнаме» …   Википедия

  • Графический матроид — Матроид классификация подмножеств некоторого множества, представляющая собой обобщение идеи независимости элементов, аналогично независимости элементов линейного пространства, на произвольное множество. Содержание 1 Аксиоматическое определение 2… …   Википедия

Книги

Другие книги по запросу «аксиома цикла» >>

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

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

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.