(495)
105 99 23



оплата и доставка

оплата и доставка char.ru



Книги интернет магазинКниги
Рефераты Скачать бесплатноРефераты

В море книг

Основы информатики и вычислительной техники

скачать тексты
Информатика
Наименование:

Определимость и вычислимость

Формат:      Страниц 318
     твердый переплет
Автор:
Ершов Ю.Л.    
Издательство:
Экономика    
Год:2000
Цена:
5 руб
нет в наличии
найти еще ...
Доступна аспирантам и студентам университетов. Избранные темы, посвященные Е-определимости, динамической логике, Е-предикатам конечных типов и т. д. Для научных работников - специалистов по математической логике, алгебры, теоретическому программированию, информатике и смежным специальностям. Второе издание (исправленное и дополненное) приурочено к 60-летию акад. Ю. Л. Ершова. Новое доказательство теоремы Геделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами. Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Первое издание книги открыло в 1996 г. серию монографий "Сибирская школа алгебры и логики" под редакцией акад. Ю. Л. Ершова, в рамках которой опубликованы к настоящему времени 7 томов ("Научная книга", Новосибирск), одновременно изданных на английском языке в серии "Siberian School of Algebra and Logic" ("Kluwer Academic / Plenum Publishers").
Держатель бордмаркеров, магнитный.
Для горизонтального хранения маркеров. Оснащен магнитной пластиной для удобного размещения на доске.
448 руб
Раздел: Аксессуары для досок
Шарики для бассейна, 50 штук.
Набор разноцветных шариков для наполнения детского бассейна. Диаметр шара 7 см. Материал: безопасный, экологически чистый пластик.
364 руб
Раздел: Шары для бассейна
Увлажненный порошок для чистки ковров "Vanish".
Увлажненный порошок Vanish для чистки ковров большой площади - это революционная разработка, которая поможет эффективно очистить и
556 руб
Раздел: Для пола, ковров

Бартоломе Эставан Мурильо. "Архангел Рафаил с предстоящим перед ним епископом Домонте"....
Белый цвет одежды епископа с теплыми полутонами гармонирует с общим цветовым строем картины. Легко определима дата выполнения Мурильо этой картины благодаря изображенному в ней Франсиско Домонте, который получил сан второго епископа Севильи в 1680 году и умер летом в конце следующего года. Из этого можно заключить, что картина была заказана Домонте в 1680 году в связи с возведением его в епископский сан и была предназначена им для украшения одного из алтарей того монастыря, братом которого он долго состоял. В каталоге выставки испанского искусства в Лондоне в 1938 году опубликован эскиз с изображением архангела Рафаила, принадлежащий кисти Мурильо (собрание Бёлер в Люцерне, ранее в коллекции Эдуарда Дэвиса). Этот свеже и свободно выполненный эскиз, безусловно, был использован живописцем для изображения архангела Рафаила в картине Музея изобразительных искусств. На рисунке тот же тип ангела, что и на рассматриваемой картине, только этот эскиз ближе к натуре – он жизненнее, проще. На рисунке в правой руке ангела, свободной на рассм. картине, помещена рыба – обычный атрибут архангела Рафаила, когда он изображался в сопровождении Товия.


Теория рекурсивных функций и эффективная вычислимость ЁЁ Медиа Х. Р.
Книга содержит изложение современного состояния теории рекурсивных функций и обзор основных приложений этой теории.
1505 руб
Вычислимые функции Московский центр непрерывного математического образования (МЦНМО) Верещагин
Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории алгоритмов.
5 руб
Вычислимое и невычислимое ЁЁ Медиа Ю.И. М.
Обсуждаются проблемы оценки сложности вычислений и алгоритмов.
812 руб
Учебное пособие Курс математической логики и теории вычислимости. Учебники для ВУЗов. Специальная литература Лань Герасимов А.С.
На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства.
1534 руб

Молочный гриб можно использовать для похудения, восстановления микрофлоры, очищения организмаМолочный гриб можно использовать для похудения, восстановления микрофлоры, очищения организма

(495) 105 99 23

Сайт char.ru это сборник рефератов и книг