(495)
105 99 23



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

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



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

В море книг

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

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

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

Формат:      Страниц 318
     твердый переплет
Автор:
Ершов Ю.Л.    
Издательство:
Экономика    
Год:2000
Цена:
5 руб
нет в наличии
найти еще ...
Доступна аспирантам и студентам университетов. Избранные темы, посвященные Е-определимости, динамической логике, Е-предикатам конечных типов и т. д. Для научных работников - специалистов по математической логике, алгебры, теоретическому программированию, информатике и смежным специальностям. Второе издание (исправленное и дополненное) приурочено к 60-летию акад. Ю. Л. Ершова. Новое доказательство теоремы Геделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами. Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Первое издание книги открыло в 1996 г. серию монографий "Сибирская школа алгебры и логики" под редакцией акад. Ю. Л. Ершова, в рамках которой опубликованы к настоящему времени 7 томов ("Научная книга", Новосибирск), одновременно изданных на английском языке в серии "Siberian School of Algebra and Logic" ("Kluwer Academic / Plenum Publishers").
Карандаши цветные "Triocolor", 18 цветов.
Трехгранная эргономичная форма корпуса. Яркие, насыщенные цвета, линии мягко ложатся на бумагу. Грифель устойчив к механическим
301 руб
Раздел: 13-24 цвета
Папка-сумка с ручкой "Тролли", А4.
Папка-сумка с ручкой. Материал: текстиль. Формат: А4.
339 руб
Раздел: Папки-портфели, папки с наполнением
Ручка-стилус шариковая "Анна".
Перед Вами готовый подарок в стильной упаковке — шариковая ручка со стилусом. Она имеет прочный металлический корпус, а надпись нанесена с
415 руб
Раздел: Металлические ручки

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


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

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

(495) 105 99 23

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