(495)
105 99 23



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

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



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



Осознанность, где взять счастье

В море книг

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

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

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

Формат:      Страниц 318
     твердый переплет
Автор:
Ершов Ю.Л.    
Издательство:
Экономика    
Год:2000
Цена:
5 руб
нет в наличии
найти еще ...
Доступна аспирантам и студентам университетов. Избранные темы, посвященные Е-определимости, динамической логике, Е-предикатам конечных типов и т. д. Для научных работников - специалистов по математической логике, алгебры, теоретическому программированию, информатике и смежным специальностям. Второе издание (исправленное и дополненное) приурочено к 60-летию акад. Ю. Л. Ершова. Новое доказательство теоремы Геделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами. Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Первое издание книги открыло в 1996 г. серию монографий "Сибирская школа алгебры и логики" под редакцией акад. Ю. Л. Ершова, в рамках которой опубликованы к настоящему времени 7 томов ("Научная книга", Новосибирск), одновременно изданных на английском языке в серии "Siberian School of Algebra and Logic" ("Kluwer Academic / Plenum Publishers").
Калькулятор научный Casio "FX-991EX".
Функциональный научный калькулятор Casio FX-991EX ClassWiz теперь имеет LCD дисплей с высоким разрешением 192_62 пикселя, на котором
1901 руб
Раздел: Калькуляторы
Кот "Обнимашка", 28 см.
Главное достоинство подушки-это осязательный массаж, приятный, полезный и антидепрессивный. Внешний материал-гладкий, эластичный и прочный
681 руб
Раздел: Антистрессы
Подгузники "Insinse", 6-9 кг, 64 штуки (M).
Уникальная воздухопроницаемость обеспечивает сухость кожи. Изумительная мягкость обеспечивает комфорт. Превосходная впитывающая
1146 руб
Раздел: 6-10 кг

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


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

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

(495) 105 99 23

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