www.bookin.org.ru Книги Интернет магазин +79015461416

    есть на складе           
Салаты сборник рецептов

 Справочная книга по математической логике. Часть 2. Теория множеств
Наименование:

Справочная книга по математической логике. Часть 2. Теория множеств

автор Барвайс Дж. издательство ЁЁ Медиа Разное
Cтраниц 376        мягкая обложка       
Аннотация:Воспроизведено в оригинальной авторской орфографии издания 1982 года (издательство ""Наука", Главная редакция физико-математической литературы"). Настоящее издание состоит из четырех книг: В оригинале оно составляло один том, который при переводе для удобства был разбит на четыре книги, соответствующие четырем частям исходной книга. Издание в целом рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики. Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие отражения в основном текстеиздания. Теория моделей>, Теория множеств>, Теория рекурсии>, Теория доказательств и конструктивная математика>.
Автор: Барвайс Дж.
Издательство: ЁЁ Медиа
Год:1982
Цена:
869 руб
Нет в наличии
Поиск: Справочная книга по математической логике. Часть 2. Теория множеств
НОВЫЙ ГОД СИМВОЛ 2013 ГОДАУКРАШЕНИЯ
КАРНАВАЛ НА НОВЫЙ ГОД РАСПРОДАЖА
Ортомолекулярная медицина Orthomol Устрание причин заболеваний. Ортомоль это новый метод для лечения и профилактики болезней. Orthomol - ортомолекулярная медицина.
Давид Гильберт

Какие же задачи Гильберт считал тогда главными для математики" Во-первых, обоснование ее новых, бурно развивающихся ветвей: теории множеств, математической логики, теории чисел, алгебраической геометрии, функционального анализа. В каждой их этих областей Гильберт выделил одну-две задачи, " наиболее просто формулируемые и трудные для решения. Таковы континуум-гипотеза и непротиворечивость арифметики, распределение простых чисел и трансцендентность числа е., классификация непрерывных групп и разрешимость диофантовых уравнений. К концу 20 века все эти задачи либо решены, либо доказана их неразрешимость. Но каждая решенная проблема породила букет новых проблем еще большей сложности и такой же красоты " так что Гильберт верно угадал самые перспективные точки роста на тысячелетнем древе математической науки. Особняком стоит в списке Гильберта проблема 6: "Дать математическое изложение аксиом физики". Это " прямое развитие программы Ньютона на пути великих успехов и неудач Максвелла, Планка и Эйнштейна. Гильберт не стал подробно излагать этот вопрос, будучи уверен: каждое крупное открытие в физике ставит перед математиками уйму новых красивых задач, и этому процессу конца не будет! Лет через 20 молодые ученики в шутку спросили Гильберта: решение какой задачи было бы сейчас полезнее всего для математики" Стареющий профессор ответил вполне серьезно: "Поймать муху на обратной стороне Луны!" Ученики опешили, а Гильберт объяснил: "Сама эта задача никому не нужна.
Настольная игра №23 "Стану отличником. Азбука + арифметика".
НИ "Стану отличником: Азбука-арифметика" предназначена для игр и занятий с детьми от 3 до 8 лет. Игра включает в себя
479 руб
Раздел: Алфавит, азбука
Набор для автолюбителя зимний "3 в 1".
Замучились удалять снег на автостоянке подручными средствами? Тратите уйму времени на осторожную очистку стёкол и кузова от ледяной корки?
1316 руб
Раздел: Прочее
Антимоскитная сетка для дверного проема, 2.1x1.0 м (арт. CF84-136).
Антимоскитная сетка предназначена для размещения на дверном проеме у Вас дома или на даче. Сетка выполнена в виде занавесок, оснащена
444 руб
Раздел: Сетки противомоскитные
Задачи и упражнения по математической логике и теории алгоритмов. Гриф МО РФЗадачи и упражнения по математической логике и теории алгоритмов. Гриф МО РФ
Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. Игошин В.И. Академия (Academia)  
283 руб
Лекции по математической логикеЛекции по математической логике
В некоторой своей части (глава I) она может быть использована для факультативов в старших классах школы. Варпаховский Ф.Л. Жизнь и мысль  
4 руб
Начала теории множеств. Лекции по математической логике и теории алгоритмов. Часть 1Начала теории множеств. Лекции по математической логике и теории алгоритмов. Часть 1
Предыдущее издание книги вышло в 2008 г. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Верещагин Н. К. Московский центр непрерывного математического образования (МЦНМО) Современные лекционные курсы 
201 руб
Книжный магазин bookin.org.ruОсновные алгебраические структуры: полугруппы, группы, кольца, поля, булевы алгебры, решетки; Элементы математической логики; Алгоритмические системы, их
Материм пособия построен на использовании аксиоматического метода и может служить основой для таких курсов как базы данных и базы знаний, теории сетей Петри и транзици-онных систем, методы оптимизации и обоснования алгоритмов и программ, системы Капитонова Ю.В., Кривой С.Л., Летичевский А.А. и др. СПб: БХВ-Петербург  
297 руб
О способах решения логических равенств и об обратном способе математической логикиО способах решения логических равенств и об обратном способе математической логики
Порецкий Книга по Требованию  
1745 руб
Формирование математической логикиФормирование математической логики
Автор описывает узловые вехи в становлении и развитии наиболее ценных, с современной точки зрения, логических концепций: от материальной импликации мегарцев и стоиков до семиотики Г. Фреге и Ч. Пирса, от древнеиндийских предвосхищений вероятностной Н.И. С. ЁЁ Медиа  
1504 руб
Элементы математической логикиЭлементы математической логики
Из её идей возникло точное определение понятия алгоритма, что позволило решить многие вопросы, которые без этого оставались бы в принципе неразрешимыми. П.С. Н. ЁЁ Медиа  
1619 руб
Основы математической логики и теории множествОсновы математической логики и теории множеств
Настоящее пособие предназначено для старшеклассников - учащихся физико-математических лицеев и подготовительных курсов; также может представлять интерес для студентов младших курсов университетов и преподавателей. Буфеев С.В. Ленанд  
220 руб
Основы математической логикиОсновы математической логики
Область применения математической логики весьма широка: информационные технологии, программирование, математическая лингвистика, системы искусственного интеллекта, управление базами данных и управление организационно-экономическими Супрун В.П. URSS  
511 руб
Математическая логикаМатематическая логика
Учебники написаны на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М. В. Ломоносова. Изложение фундаментальных фактов современной логики (основ логики высказываний и логики Колмогоров А.Н. КомКнига Классический университетский учебник 
444 руб
Дискретная математика и математическая логика. Гриф УМО МО РФДискретная математика и математическая логика. Гриф УМО МО РФ
Большая часть материала снабжена методическими разработками авторов. Аляев Ю.А. Финансы и статистика  
188 руб
Математическая логика и теория алгоритмов для программистов. Учебное пособие. Гриф МО РФМатематическая логика и теория алгоритмов для программистов. Учебное пособие. Гриф МО РФ
Гринченков Д.В. КноРус  
202 руб
Математическая логика и теория алгоритмовМатематическая логика и теория алгоритмов
Приведены примеры алгоритмически неразрешимых проблем. Набебин А.А. Научный мир  
4 руб
Математическая логикаМатематическая логика
Она может быть полезна также преподавателям математики и логики в вузах и, кроме того, может быть использована для самообразования. Гудстейн Р.Л. Либроком Физико-математическое наследие: математика (основания математики и логика) 
177 руб
Математическая логикаМатематическая логика
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ершов Ю.Л. Физматлит  
1158 руб
Математическая логикаМатематическая логика
Воспроизведено в оригинальной авторской орфографии издания 1975 года (издательство "Высшая школа"). Эдельман С.Л. ЁЁ Медиа  
994 руб
Математическая логика. Дополнительные главыМатематическая логика. Дополнительные главы
Их учебник "Математическая логика: Дополнительные главы" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ имени М. В. Ломоносова. Изложение фундаментальных фактов Колмогоров А.Н. Эдиториал УРСС Классический университетский учебник 
558 руб
Математическая логика. Алгебра. Теория чисел. Теория вероятностейМатематическая логика. Алгебра. Теория чисел. Теория вероятностей
Данная книга - первая из серии книг по истории математики XIX и XX вв. , которая явится непосредственным продолжением трехтомной "Истории математики с древнейших времен до начала XIX столетия", изданной в 1970 - 1972 гг. Книги А.Н. К. ЁЁ Медиа  
2929 руб
Логика и философия в первые послесталинские годы. Математическая логика: Трудные времена философии. В мире логики - математической и философской. № 28Логика и философия в первые послесталинские годы. Математическая логика: Трудные времена философии. В мире логики - математической и философской. №
Внимание автора сосредоточено не только на логике, математической и философской, но и на тех ученых, кто сумел творчески работать в тяжелых условиях того времени. Бирюков Б.В. URSS Наука в СССР. Через тернии к звездам 
496 руб
Учебник и практикум для академического бакалавриата Математическая логика и теория алгоритмов.Учебник и практикум для академического бакалавриата Математическая логика и теория алгоритмов.
Основы математической логики и теории алгоритмов, излагаемые в учебнике, могут использоваться при изучении ряда профилирующих дисциплин для подготовки специалистов по информатике, вычислительной технике, прикладной математике, автоматике и Судоплатов С.В. Юрайт Бакалавр. Академический курс 
953 руб
Математическая логика и рекурсивные функции Введение в метаматематику.Математическая логика и рекурсивные функции Введение в метаматематику.
Тем не менее, она предназначена для глубокого изучения предмета и рассчитана как на специалистов по математической логике и теории рекурсивных функций, так и на лиц, желающих впервые, но серьезно, изучить эти Клини С.К. URSS Физико-математическое наследие 
890 руб
Справочная книга социального педагога - 480 с. ISBN 5-89144-177-2 ~91.04.19 007Справочная книга социального педагога - 480 с. ISBN 5-89144-177-2 ~91.04.19 007
Овчарова Р.В. М:ТЦСфера  
153 руб
Книжный магазин bookin.org.ruИстория России: Основной курс, методические рекомендации, программа вступительных экзаменов, справочная хронологическая таблица Изд. 7-е, испр., доп. - 224 с.
Пособие включает примерную программу по отечественной истории, методические советы, рекомендуемую литературу, хронологическую таблицу, краткое изложение наиболее сложных вопросов истории, учебные схемы и таблицы, вопросы для Яковер Л.Б. М:ТЦСфера  
83 руб
Книжный магазин bookin.org.ruВина: Ч. 1: Информационно-справочная таблица
Инфопласт  
53 руб
Диеты: Информационно-справочная таблицаДиеты: Информационно-справочная таблица
Инфопласт  
53 руб
Уход за собакой: Информационно-справочная таблицаУход за собакой: Информационно-справочная таблица
Инфопласт  
53 руб
Книжный магазин bookin.org.ruСловарь по логике - 384 с. ISBN 5-691-00099-3 ~98.03.27 127
Ивин А.А., Никифоров А.Л. М: Владос  
36 руб
Методы математической обработки в психологииМетоды математической обработки в психологии
Руководство предназначено для психологов и специалистов в области социологии, педагогики, медицины, биологии, экономики. Сидоренко Е.В. Речь Психология 
264 руб
Книжный магазин bookin.org.ruИстория. Часть 4: Информационно-справочная таблица
Инфопласт  
53 руб
Справочник: Адресно-справочная информация в строительном и промышленном комплексах: Конъюнктура рынков ХХI в. 2003  7 - 662 с. ~93.07.28 107Справочник: Адресно-справочная информация в строительном и промышленном комплексах: Конъюнктура рынков ХХI в. 2003 7 - 662 с. ~93.07.28
М: Маркетинг Союз  
341 руб
Книжный магазин bookin.org.ruКрушение метафизической концепции универсальности предметной области в логике Контроверза Фреге---Шрёдер (Бирюков Б.В.) Изд. 2-е { } ~25.00.00
КОМКНИГА  
239 руб
Дифференциальная геометрия и топология Дифференциальная геометрия и топология (пер. с англ. Гутенмахера В.Л.; под ред. Кириллова А.А.) - 220 с. {Шедевры мировой физико-математической литературы} ISBN
Шварц Дж. Новокузнецк: НФМИ  
239 руб
Книжный магазин bookin.org.ruМатематика: Ч. 1: Информационно-справочная таблица
Инфопласт Образование 
53 руб
Геометрическая теория интегрирования Геометрическая теория интегрирования (пер. с англ. Вайнштейна И.А.; под ред. Болтянского В.Г.) - 528 с. {Шедевры мировой физико-математической литературы} ISBN
Уитни Х. Новокузнецк: НФМИ  
1049 руб
Книжный магазин bookin.org.ruОчерки по математической теории систем (пер. с англ., предисл. Наппельбаума Э.Л.; под ред. Цыпкина Я.З.) Изд. 2-е, стереотип. - 400 с. ISBN 5-354-00762-3
Калман Р., Фалб П., Арбиб М. М: Едиториал УРСС  
269 руб
Элементарный курс теории вероятностей и математической статистики. Гриф МО РФЭлементарный курс теории вероятностей и математической статистики. Гриф МО РФ
К традиционным разделам добавлен один новый — «Процедура рекуррентного оценивания», ввиду особой важности этой процедуры для приложений. Бородин А.Н. Лань Учебники для ВУЗов. Специальная литература 
497 руб
Книжный магазин bookin.org.ruМетод вторичного квантования - 320 с. {Шедевры мировой физико-математической литературы} ISBN 5-80323-380-3 ~90.09.09
Березин Ф.А. Новокузнецк: НФМИ  
329 руб
Книжный магазин bookin.org.ruСпиноры в гильбертовом пространстве (пер. с англ. Переломова А.М.) - 120 с. {Шедевры мировой физико-математической литературы} ISBN 5-80323-217-3 ~90.02.27
Дирак П.А.М. Новокузнецк: НФМИ  
194 руб
Физика: Ч. 1: Механика; Кинематика; Динамика; Законы сохранения; Статика: Информационно-справочная таблицаФизика: Ч. 1: Механика; Кинематика; Динамика; Законы сохранения; Статика: Информационно-справочная таблица
Инфопласт  
53 руб
Книжный магазин bookin.org.ruАстрономия: Ч. 1: Информационно-справочная таблица
Инфопласт Образование 
53 руб


на главную


+7 (495) 105-96-52

Киниги почтой www.bookin.org.ru Книжный интернет магазин bookin.org.ru доставка книг почтой