Логика, стр. 3

Есть идея! (Гарднер М. (Martin Gardner)) 06.10.2007
Книга известного американского популяризатора науки Mapтина Гарднера, посвященная поиску удачных идей для решений задач из области комбинаторики, геометрии, логики, теории чисел и игр со словами. Рассчитана на самый широкий круг читателей. Содержание. Комбинаторные находки (Неожиданные решения на составление и перечисление комбинаций) – Геометрические находки (Неожиданные решения задач о геометрических телах и фигурах) – Находки в мире чисел (Неожиданные решения арифметических задач) – Логические находки (Неожиданные решения задач, требующие умения мыслить последовательно) – Процедурные находки (Неожиданные решения задач на исследование операций) – Словесные находки (Неожиданные решения различного рода задач о буквах, словах и предложениях).
3.62М, РУС.
Алгоритмы дискретной математики — обложка книги.
Алгоритмы дискретной математики (Захарова Л. Е.) 06.10.2007
"Предназначено для студентов при изучении дисциплины "Дискретная математика" и смежных с ней дисциплин. Будет полезным при подготовке к семинарам и контрольным работам. Каждая глава содержит алгоритмы дискретной математики, реализованные в виде программ на алгоритмическом языке Паскаль. Программы проверены на контрольных примерах."
0.31М, RUS.
Chaos Theory Tamed — обложка книги.
Chaos Theory Tamed (Williams P. Garnett) 06.10.2007
In this book, I assume no prior knowledge of chaos, on your part. Although chaos covers a broad range of topics, I try to discuss only the most important ones. I present them hierarchically. Introductory background perspective takes up the first two chapters. Then come seven chapters consisting of selected important material (an auxiliary toolkit) from various fields. Those chapters provide what I think is a good and necessary foundation—one that can be arduous and time consuming to get from other sources. Basic and simple chaos-related concepts follow. They, in turn, are prerequisites for the slightly more advanced concepts that make up the later chapters. (That progression means, in turn, that some chapters are on a very simple level, others on a more advanced level.) In general, I try t...
5.34М, ENG.
A logical journey — обложка книги.
A logical journey (Wang H.) 06.10.2007
By author: «In this book I propose to discuss Kurt Godel's philosophical views within the context of my own conception of the mansion of philosophy and its many rooms. Beginning with the actual discussions between Godel and me, I have broadened the meaning of conversations to include the interplay between my continual reflections and the available relevant material by and about Godel. In this way, I hope to attain a coherent understanding of his life and thought within the framework of my own evolving perspective, reconstituting and completing the actual discussions between us so as to bring out their implications. It is therefore obvious that this project has become an integral part of my own ongoing pursuit of a comprehensive view of things. This book is a continuation of my Reflections ...
3.29М, ENG.
Лекции по математической логике и теории алгоритмов. Вычислимые функции — обложка книги.
Лекции по математической логике и теории алгоритмов. Вычислимые функции (Верещагин Н. К.) 06.10.2007
Книга написана по материалам лекций и семинаров, читавшихся на мехмате МГУ. В ней рассказывается об основных понятиях теории вычислимых функций (вычислимость, разрешимость, перичислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степень неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Изложение рассчитано на учеников математических школ, студентов-математиков и др.
0.45М, RUS.
Лекции по математической логике и теории алгоритмов. Языки исчисления — обложка книги.
Лекции по математической логике и теории алгоритмов. Языки исчисления (Верещагин Н. К.) 06.10.2007
Книга написана по материалам лекций и семинаров, читавшихся на мехмате МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Ученикам математических школ, студентам-математикам и всем интересующемся теорией множеств.
0.75М, RUS.
Начала теории множеств. Ч. 1 — обложка книги.
Начала теории множеств. Ч. 1 (Верещагин Н. К.) 06.10.2007
"Книга написана по материалам лекций и семинаров, читавшихся на мехмате МГУ. В ней рассказывается об основных понятиях "наивной теории множеств" (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Ученикам математических школ, студентам-математикам и всем интересующемся теорией множеств."
0.32М, RUS.
Фракталы, хаос, степенные законы. Миниатюры из бесконечного рая — обложка книги.
Фракталы, хаос, степенные законы. Миниатюры из бесконечного рая (Шредер М.) 06.10.2007
Основная цель книги - помочь читателю глубже понять, что такое самоподобие - возможно наиболее важную из встречающихся в природе симметрий, а также продемонстрировать широчайший диапазон применения масштабной инвариантности в физике, химии, биологии, музыке и, в особенности, в изобразительном искусстве. Материал изложен на доступном уровне и снабжен множеством иллюстраций. Широкому кругу читателей.
3.01М, RUS.
Квантовый компьютер и квантовые вычисления — обложка книги.
Квантовый компьютер и квантовые вычисления (Под. ред. В. А. Садовничего) 06.10.2007
Предлагаемый вниманию читателей сборник содержит работы, заложившие основы современного понимания природы квантового компьютера и раскрывающие удивительные возможности квантовых вычислений. В него вошли наиболее важные статьи начального периода исследований. Второй выпуск библиотеки «Квантовый компьютер и квантовые вычисления» представляет собой сборник классических работ (Фейнман, Шор и др.) и новый обзор Ю. И. Манина. Сборник для широкого круга читателей — физиков, математиков, инженеров, интересующихся возможностями создания квантового компьютера и связанными с ним областями науки и техники.
0.91М, RUS.
Квантовые вычисления: за и против — обложка книги.
Квантовые вычисления: за и против (Под. ред. В. А. Садовничего) 06.10.2007
Предлагаемая книга является первой из серии сборников статей различных зарубежных авторов о квантовых вычислениях. В данный сборник вошли работы, посвященные простейшим действующим квантовым компьютерам, их конструкции, способу решения различных математических задач. Также приведены статьи, близкие по теме задачам квантовых вычислений. Книга будет интересна широкому кругу читателей — физикам, математикам и всем интересующимся последними достижениями науки.
1.19М, RUS.
Математика математики — обложка книги.
Математика математики (Расева Е., Сикорский Р.) 06.10.2007
Книга написана элементарно в том смысле, что она не требует математических и метаматематических знаний, кроме основных понятий теории множеств: операций над множествами, мощности, трансфинитной индукции. Но конечно предполагается некоторая математическая искушенность читателя.
5.41М, RUS.
Введение в теорию фракталов — обложка книги.
Введение в теорию фракталов (Морозов А. Д.) 06.10.2007
Книга посвящена основам теории фракталов и состоит из двух частей и приложения. В первой части рассматриваются конструктивные фракталы, во второй - динамические. В приложении приводятся вспомогательный математический материал. Первая часть доступна школьникам старших классов, вторая ориентирована на студентов физико-математических факультетов.
1.32М, RUS.
Фрактальная геометрия природы — обложка книги.
Фрактальная геометрия природы (Мандельброт Бенуа Б.) 06.10.2007
Классическая книга основателя теории фракталов, которая выдержала за рубежом несколько изданий и была переведена на многие языки. Написанная в живой и яркой манере, она содержит множество иллюстраций (в том числе и цветных), а также примеров из различных областей науки. Для студентов, аспирантов, физиков и математиков, инженеров и специалистов.
5.17М, RUS.
Алгоритмы и рекурсивные функции — обложка книги.
Алгоритмы и рекурсивные функции (Мальцев А. И.) 06.10.2007
Посвящается одному из актуальных и бурно развивающихся разделов математической логики - теории алгоритмов, а также важнейшим ее связям с другими разделами математики. Является одним из лучших пособий для знакомства с основными направлениями, идеями и методами теории алгоритмов. Для математиков различных специальностей научных работников, аспирантов, студентов.
3.43М, RUS.
Классические и квантовые вычисления — обложка книги.
Классические и квантовые вычисления (Китаев А., Шень А, Вялый М.) 06.10.2007
Эта книга предназначена для первоначального знакомства с новой быстро развивающейся и популярной областью исследований - теорией квантовых вычислений. Приводится краткое введение в теорию сложных вычислений, подробно излагаются основы теории квантовых вычислений, включая описания основных известных к настоящему времени эффективных квантовых алгоритмов. Для студентов физико-математических специальностей, аспирантов, научных работников и др.
0.61М, RUS.