- счетная модель
- мат. countable model, enumerable model, enumerable theor
Большой англо-русский и русско-английский словарь. 2001.
счетная модель
Смотреть что такое "счетная модель" в других словарях:
Малая Электронная Счетная машина — МЭСМ МЭСМ (Малая электронная счётная машина) советская ЭВМ, первая универсальная электронная счётная машина в континентальной Европе. Разрабатывалась лабораторией С. А. Лебедева с конца 1948 года на базе киевского Института электротехники.… … Википедия
КОНСТРУКТИВНЫХ МОДЕЛЕЙ ТЕОРИЯ — один из разделов математики, возникший на границе моделей теории, алгебры и теории рекурсивных функций и связанный с изучением вопросов эффективности в моделях и алгебрах. Статья А. И. Мальцева Конструктивные алгебры [1] явилась первой обзорной… … Математическая энциклопедия
Капитализм — (Capitalism) Капитализм это общественно экономическая формация, основанная на частной собственности, эксплуатации наёмного труда и признающая главенство капитала История капитализма, модели капитализма, основные понятия капитала, становление… … Энциклопедия инвестора
Клиринг — (Clearing) Понятие клиринга, история клиринга, типы клиринга Информация о понятии клиринга, история клиринга, типы клиринга Содержание Содержание 1. Понятие валютный 2. Отличия валютного клиринга от внутреннего межбанковского клиринга 3. Формы… … Энциклопедия инвестора
ВЫБОРА АКСИОМА — одна из аксиом теории множеств, гласящая: для всякого семейства Fнепустых множеств существует функция f такая, что для всякого множества Sиз Fимеет место (при этом f наз. функцией выбора на F). Для конечных семейств FВ. а. выводима из остальных… … Математическая энциклопедия
Волгодонск — Город Волгодонск Флаг Герб … Википедия
Гослото — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей … Википедия
Залоговые аукционы — Приватизация в России приватизация, которая осуществлялась в России с начала 1990 х годов (после распада СССР). Приватизацию обычно связывают с именами Е. Т. Гайдара и А. Б. Чубайса, занимавшими в то время ключевые позиции в правительстве. В… … Википедия
МАРКА — 1) в средние века границы страны; оттуда марка стала означать и самый округ; в старонемецком языке целая страна (Мархия), завоеванная у соседей (таковы были: Австрия, Моравия, Бранденбург, Шлезвиг и др.); 2) почтовая ярлычок определенной… … Словарь иностранных слов русского языка
ГЁДЕЛЬ — (Gödel) Курт (1906 1978) математик и логик, член Национальной Академии наук США и Американского философского общества, автор фундаментального открытия ограниченности аксиоматического метода и основополагающих работ в таких направлениях… … История Философии: Энциклопедия
БЭСМ — (быстродействующая электронная счётная машина), название семейства отечественных ЭВМ общего назначения для решения научно технических задач. Разработаны в Институте точной механики и вычислительной техники под руководством С. А. Лебедева;… … Энциклопедический словарь
