Литература по математической логике и теории алгоритмов

среда, 05 ноября 2008

05:32

Литература по математической логике и теории алгоритмов

все записи пользователя в сообществе Robot

Я одна, но всё же я есть. Я не могу сделать всё, но всё же могу сделать что-то. И я не откажусь сделать то немногое, что могу (c)

Литература по математической логике

	Аляев Ю.А. Тюрин С.Ф. Дискретная математика и математическая логика. — М.: Финансы и статистика, 2006. — 368 с. Рассматриваются основные темы дискретной математики и математической логики: теория множеств, элементы комбинаторики, теория графов, теория переключательных функций и автоматов, теория кодирования, формальная логика, логические исчисления, формальные теории и теория алгоритмов, элементы теории нечетких множеств. Сложные вопросы математики рассматриваются на простых примерах. Большая часть материала снабжена методическими разработками авторов. Имеются задания для самостоятельной работы студентов. Для студентов вузов, обучающихся по специальностям "Прикладная информатика в экономике", "Экономика и управление на предприятии", а также для преподавателей. Скачать (djvu/rar, 2,13 Мб) ifolder.ru \|\| mediafire.com
	Варпаховский Ф.Л. Элементы теории алгоритмов. - М., Просвещение, 1970. - 25 с. (МГЗПИ) Пособие представляет собой попытку элементарного изложения основ теории алгоритмов, которое могло бы служить требуемым руководством для студентов педвузов. Общий план изложения заимствован из лекций, прочитанных П. С. Новиковым на курсах усовершенствования учителей при Московском государственном педагогическом институте им. В. И. Ленина. Скачать (djvu, 502.19 кб) ifolder.ru \|\| mediafire.com
	Гуц А.К. Математическая лоrика и теория алrоритмов. - Омск: Издательство Наследие. Диалог-Сибирь, 2003. - 108 с. Учебное пособие посвящено изложению основ математической логики и теории алгоритмов. Основу пособия составляют конспекты лекций, которые читались студентам втoporo курса отделения компьютерных наук Омского государственноrо университета в 2002 rоду. Скачать (djvu/rar, 874 кб) ifolder \|\| mediafire.com
	Босс В. Лекции по математике. Т. 6: От Диофанта до Тьюринга. - М.: КомКнига, 2006. - 208 с. Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта — вот рассматриваемый круг вопросов. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Для студентов, преподавателей, инженеров и научных работников. Скачать (djvu/rar, 2,08 Мб) ifolder \|\| mediafire.com
	Босс В. Лекции по математике. Т. 10: Перебор и эффективные алгоритмы: Учебное пособие. — М.: Издательство ЛКИ, 2008. — 216 с. Книга посвящена теории сложности алгоритмов в той ее части, где речь идет о противостоянии Р- и NP-задач. В резонанс с проблемой «Р против NP» входит обширная тематика: комбинаторные задачи на графах, неразрешимые проблемы теории алгоритмов, криптография, целочисленное программирование, вероятностные методы, квантовые вычисления, алгоритмы Хачияна и Кармаркара для линейного программирования, а также полиномиальный алгоритм AKS для выяснения простоты числа. Особое внимание уделяется геометрическому взгляду на проблему, который в привычном уже пейзаже обнаруживает свежие ракурсы. Изложение отличается краткостью и прозрачностью. Для студентов, преподавателей, инженеров и научных работников. Скачать (djvu/rar, 3, 58 Мб) ifolder \|\| mediafire.com
	Ершов Ю.Л., Палютин Е.А.Математическая логика: Учеб. пособие для вузов. - М. , Наука, 1987. - 336 с.. В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов. Скачать (djvu/rar, 5,22 Мб)ifolder \|\| mediafire.com
	Игошин В.И. Математическая логика и теория алгоритмов : учеб. пособие для студ. высш. учеб. заведений / В. И. Игошин. — 2-е изд., стер. — М. : Издательский центр «Академия», 2008. — 448 с. Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика». Скачать (djvu/rar, 6.84 Мб) ifolder.ru \|\| mediafire.com
	Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов / В. И. Игошин. — 3-е изд., стер. — М. : Издательский центр «Академия», 2007. — 304 с. Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения. Сборник состоит из четырнадцати параграфов в 5 главах: I. Алгебра высказываний; II. Булевы функции; III. Формализованное исчисление высказываний; IV. Логика предикатов; V. Элементы теории алгоритмов. Каждый параграф предваряется теоретическими сведениями. Особенно ценным является то, что автор в каждой серии однотипных задач (под буквами, скажем, а)- л)) приводит подробное решение одной или нескольких из них в качестве образца. То есть пособие одновременно может рассматриваться как некое руководство по решению задач. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика». Скачать (djvu/rar, 4.41 Мб) ifolder.ru \|\| mediafire.com
	Карри Х. Б. Основания математической логики: Пер. с англ. - М., Мир, 1969. - 568 с. Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений. Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в области математической логики, но она, безусловно, доступна всем, кто интересуется фундаментальными проблемами этого раздела математики. Скачать (djvu, 6.03 Мб) ifolder.ru \|\| eqworld
	Клини С.К. Математическая логика. - М., Мир, 1973.- 480 с. Имя одного из крупнейших современных специалистов в области математической логики С. К. Клини знакомо по русскому переводу его фундаментального труда «Введение в метаматематику» (ИЛ, 1957), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными, функциями и основаниями математики. Данная книга представляет собой существенно усовершенствованный, расширенный и приближенный к нуждам университетского преподавания вариант «чисто логической» части этой всемирно известной монографии. Тщательно продуманные иллюстративные упражнения помогают читателю усвоить излагаемый, материал.Книга может быть использована,как учебное пособие по курсу математической логики в университетах и пединститутах; таким образом, она адресована прежде всего преподавателям, аспирантам и студентам. Скачать (djvu, 6,1 Мб) ifolder.ru \|\| eqworld \|\| mediafire.com
	Клини С.К. Введение в метаматематику. Пер. с анг. - М., Мир, 1957. - 528 с. Книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Этот фундаментальный труд по праву стал настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Цель автора --- дать читателю связное введение в область данных научных дисциплин, а также в исследования по основаниям математики вообще. Первая часть книги содержит необходимый подготовительный материал; далее проведено метаматематическое исследование элементарной арифметики с необходимым материалом из математической логики. В восьмой главе второй части изложены знаменитые теоремы Гёделя о неполноте. Третья часть, содержащая в числе прочего изложение теории обще-рекурсивных и частично-рекурсивных функций, может служить руководством для изучения теории рекурсивных функций. Скачать (djvu, 7.07 Мб) ifolder.ru \|\| eqworld
	Колмогоров А.Н., Драгалин А.Г. Математическая логика. Изд. 3-е, стереотипное. — М.: КомКнига, 2006. 240 с. (Классический университетский учебник.) А. Н. Колмогоров (1903-1987) и А. Г. Драгалин (1941-1998) — выдающиеся отечественные логики и математики, оказавшие глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. Учебники написаны на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М. В. Ломоносова. Изложение фундаментальных фактов современной логики (основ логики высказываний и логики предикатов, начал аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики. Скачать (djvu/rar, 3,44 Мб) ifolder.ru \|\| mediafire
	NEW Лавров И. А. Математическая логика : учеб. пособие для студ. высш. учеб. заведений / И.А.Лавров; под ред. Л.Л. Максимовой. — М.: Издательский центр «Академия», 2006. — 240 с. — (Университетский учебник. Сер. Прикладная математика и информатика). ISBN 5-7695-2735-8 В учебном пособии изложены основы современного подхода к изучению математических теорий с привлечением логических понятий и методов, а также концепция программы Д. Гильберта о построении математических теорий аксиоматическим путем. Рассмотрены аксиоматические теории для множеств натуральных и действительных чисел и для геометрии. Для студентов высших учебных заведений. Скачать (djvu/rar, 2,34 Мб) ifolder.ru \|\|rghost.ru
	Л. М. Лихтарников, Т.Г. Сукачева Математическая Логика. Курс лекций. 3адачник-практикум и решения. Серия Учебники для вузов. - Санкт-Петербург, Издательство "Лань", 1999. - 288 с. Учебное пособие предназначено дли студентов университетов и педагогических институтов, изучающих курс математической логики. В файле представлен только курс лекций. Включает в себя разделы : Алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы Полная версия с задачником практикумом Скачать (djvu/rar, 2,74 мб) mathhelp.ifolder.ru \|\| mediafire.com
	Мальцев А.Н. Алгоритмы и рекурсивные функции. - М., Наука, 1986. - 366 с. Посвящается одному из актуальных и бурно развивающихся разделов математической логики — теории алгоритмов, а также важнейшим ее связям с другими разделами математики. Является одним из лучших пособий для знакомства с основными направлениями, идеями и методами теории алгоритмов. Для математиков различных специальностей: научных работников, аспирантов и студентов. Скачать (djvu/rar, 4,5 Мб) ifolder.ru \|\| mediafire.com
	Мендельсон Э. Введение в математическую логику. - М., Наука, 1971. - 322 с. Дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств, отсутствующие в книге С. К. Клини «Введение в метаматематику», которая до настоящего времени служила наиболее полным пособием по математической логике. Следует однако отметить, что в отличие от книги С. К. Клини в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики.Значительная роль в книге отведена упражнениям, куда вынесена часть материала, используемого в основном тексте. Скачать (djvu, 3,58 Мб) eqworld \|\| ifolder.ru \|\| mediafire.com
	Никольская И.Л. Математическая логика. - М.: Высшая школа, 1981, 127 с Книга предназначена для учащихся техникумов по специальности «Прикладная математика» и содержит теоретический материал, соответствующий программе курса «Математическая логика», а также упражнения для активного усвоения курса н приобретения необходимых навыков. Изложение базируется на знаниях по математике, полученных учащимися в восьмилетней школе, и на усвоенных ими языковых нормах. Предназначается для учащихся средних специальных учебных заведений. (Любимое мое пособие для начального ознакомления с математической логикой). Скачать (djvu/rar, 2,19 Мб) ifolder\|\| mediafire.com
	Новиков П.С. Элементы математической логики. - М.: Наука, 1973, 400 с. В настоящей книге сделана попытка дать по возможности доступное изложение основ математической логики. Этой задаче посвящены первые пять глав книги, составляющие ее основное содержание (логика и исчисление высказываний, логика и исчисление предикатов, аксиоматическая арифметика). Последняя, шестая, глава носит более специальный характер, в ней рассматриваются методы теории доказательства, посредством которых решаются некоторые вопросы математической логики, возникающие в основном тексте книги. Скачать (djvu/rar, 6,49 Мб) ifolder \|\| mediafire.com
	В.Ф. Пономарев Математическая логика. часть 1. Логика высказываний. Логика предикатов. Учебное пособие – Калининград: КГТУ, 2001. - 140 с. В.Ф. Пономарев Математическая логика. часть 2. Логика реляционная. Логика нечеткая. Учебное пособие – Калининград: КГТУ, 2001. -106 с. Изложены основные принципы формирования языка, основные правила дедуктивного вывода, основные механизмы доказательства истинности заключения в логике высказываний и логике предикатов в первой части и в реляционной и нечеткой логике во второй части. Все доказательства подкреплены множеством примеров. Скачать (doc/rar, 336.23 кб) ifolder \|\| mediafire.com
	Столл Р.Р. Множества. Логика. Аксиоматические теории — М.:Просвещение, 1968. — 232 с. Книга может быть рекомендована в качестве первоначального пособия каждому, кто хочет ознакомиться с основными понятиями, идеями, методами и результатами математической логики и теории множеств; элементарному изложению этих вопросов посвящены первые две главы книги. Несколько более трудна (по степени абстракции и сложности излагаемых в ней концепций) третья глава, в которой разъясняются важнейшие установки аксиоматического метода, затрагиваются проблематика оснований математики и взаимоотношения между формализованными логико-математическими теориями, их метатеориями и интерпретациями; изложение этих вопросов носит более эскизный характер, нежели в первых двух главах. Заключительная, четвертая глава иллюстрирует содержание предыдущих глав на богатом и разнообразном материале теории булевых алгебр; некоторые из аксиоматических рассмотрений этой главы, быть может, окажутся небезынтересными и для математиков. Скачать (djvu, 4,22 Мб) eqworld \|\| ifolder \|\| mediafire.com
	NEW Тимофеева И.Л. Математическая логика. Курс лекций: Учеб. пособие для тудентов вузов / И. Л. Тимофеева. — 2-е изд., перераб. — М.: КДУ, 2007. — 304 с. ISBN 978-5-98227-307-9 Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка. Центральное место занимает изложение основ теории доказательств. Отдельный раздел посвящен проблемам оснований математики. Курс лекций предназначен для студентов математических факультетов педвузов, изучающих математическую логику, а также для преподавателей, читающих лекционный курс и ведущих практические занятия по математической логике. Скачать (djvu, 2.36 Мб) ifolder.ru \|\| mediafire.com
	Успенский В. А., Верещагин Н. К., Плиско В. Е. Вводный курс математической логики. — 2-е изд. — М.: ФИЗМАТЛИТ, 2004. — 128 с. В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики. Скачать (djvu/rar, 855 Кб) ifolder.ru \|\| mediafire.com
	Успенский В.А., Семенов А.Л. Теория алгоритмов: основные открытия и приложения. - М., Наука, 1987. -288 с. В книге дается обзор важнейших достижений теории алгоритмов. Излагаются в систематизированном виде основные открытия, связанные с понятием алгоритма, приложения теории алгоритмов к математической логике, теории вероятностей, теории информации и др. Рассматривается влияние теории алгоритмов на алгоритмическую практику. Книга предназначена для специалистов по математике, информатике, кибернетике, а также для студентов вузов. Скачать (djvu/rar, 3,54 Мб) ifolder.ru \|\| mediafire.com
	Успенский В.А. Лекции о вычислимых функциях.- М., Наука, 1960. 492 с. Настоящие «Лекции» посвящены изложению основ теории вычислимых функций (проводимому на базе принятого в настоящее время отождествления их — для случая функций с натуральными аргументами и значениями — с частично-рекурсивными функциями), а также некоторым приложениям этой теории. Скачать (djvu, 5.44 Мб) ifolder.ru \|\| mediafire
	NEW Шапорев С. Д. Математическая логика. Курс лекций и практических занятий. — СПб.: БХВ-Петербург, 2005. - 416 с: ил. SBN 5-94157-702-8 В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Содержание разделов книги взаимно связано друг с другом и снабжено большим количеством примеров и решенных задач, помогающих усвоить и закрепить излагаемый материал. Скачать (djvu, 2.36 Мб) ifolder.ru \|\| mediafire.com
	Шенфилд Дж. Математическая логика: Пер. с англ. М., Наука, 1975. - 528 c. Книга известного американского логика Дж.Шенфилда знакомит читателя с основами современной математической логики и теории алгоритмов. Книга может быть рекомендована в качестве учебника по курсам математической логики и теории алгоритмов в университетах и пединститутах. Скачать (djvu, 3.21 Мб) ifolder.ru \|\| mediafire
	Эдельман С.Л. Математическая логика М., Высшая школа, 1975. - 176 с. Рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики математических методов. Включены задачи и упражнения по каждому из разделов. Предназначается для студентов пединститутов Скачать (djvu, 1,48 Мб) eqworld \|\| ifolder.ru

Задачники

	Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике: Учеб. пособие. — 3-е изд., перераб. — М.: ФИЗМАТЛИТ, 2005. - 416 с. В пособие включены задачи и упражнения по конечнозначным логикам (в том числе по алгебре логики), по теории автоматов, теории алгоритмов, теории графов и сетей, теории кодирования, комбинаторике, минимизации булевых функций и синтезу схем и формул, реализующих булевы функции. Имеются задачи, предназначенные для первоначальной проработки и освоения методов дискретной математики, а также задачи для углубленного изучения предмета. Для студентов и преподавателей университетов и технических вузов, в которых изучается дискретная математика. Скачать (djvu, 3,36 Мб) ifolder \|\| mediafire.com
	Гиндикин С.Г. Алгебра логики в задачах. - М., Наука, 1972 - 288 с. Содержит следующие разделы: операции над высказываниями, функции алгебры логики, нормальные формы, закон двойственности, арифметические опреации в алгебре логики, монотонные функции, функционально замкнутые классы и теорема Поста, общая теория функционально замкнутых классов, схемы на функциональных элементах, релейно-контактные схемы, элементы вероятностной логики, многозначные логики, логика предикатов. Скачать (djvu, 2.92 Мб) ifolder \|\| mediafire.com
	Гохман А.В.Сборник задач по математической логике и алгебре множеств.- Саратов, Изд-во Саратовского ГУ, 1969 - 92 с. Предлагаемый сборник задач составлен в соответствии с программой университетского курса Элементы математической логики и алгебры множеств. Первые четыре параграфа посвящены двоичной булевой алгебре и ее применению в теории релейно-контактных схем, а также исчислению высказываний и предикатов. Большая часть задач двух последних параграфов связана с бинарными отношениями, которые получают все большее применение в различных областях математики. Задачник снабжен ответами и указаниями, каждому разделу предпослано небольшое теоретическое введение. Сборник может быть использован как пособие для учащихся Юношеских математических школ и всех самостоятельно изучающих соответствующие разделы математики. Скачать (1 Мб) ifolder \|\| mediafire.com
	Лавров И. А.,Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов.— М.: Физматлит, 2004. -256 с. В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. Сборник может быть использован как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических вузах при изучении кибернетики и информатики. Для математиков — алгебраистов, логиков и кибернетиков. Скачать (djvu/rar, 1.6 Мб) ifolder.ru \|\| mediafire.com
	Михайлов А,Б., Рыжова Н.И., Швецкий М.В. Упражнения по основам математической логики. Формальные системы первого порядка. Учебное пособие для студентов математического факультета - Санкт-Петербург: РГПУ. 1997. - 127 с. Пособие предназначено для поддержки курса "Основы математической логики и теории алгорифмов". Содержит упражнения по разделу математической логики "Формальные системы первого порядка", которые можно рассматривать в качестве обязательных результатов обучения. Упражнения выбраны и как форма обучения студентов, поэтому оглавление отражает поурочный план практических занятий по данному разделу. Для студентов математических факультетов педагогических вузов. Скачать (djvu, 2.86 Мб) ifolder.ru \|\| mediafire

Дополнительно

Книги написаны по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ.
Н.К.Верещагин, А.Шень. Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств. 2-е изд., исправленное. М.:МЦНМО, 2002. 128 с.
В книге рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы) . Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории множеств. Книга включает в себя около 150 задач различной трудности.
Н.К.Верещагин, А.Шень. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. М.: МЦНМО, 2002. 2-е издание, стереотипное. — 288 с. ISBN 5-900916-66-9
В книге рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех
интересующихся математической логикой. Книга включает в себя около 200 задач различной трудности.
Н.К.Верещагин, А.Шень. Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции. 2-е изд., исправленное. М.:МЦНМО, 2002, 192 с.
В книге рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории алгоритмов. Книга включает себя около 90 задач различной трудности.
Скачать одним архивом (djvu, 3.17 Мб) ifolder.ru || mediafire

Светлов В. А. Философия математики. Основные программы обоснования математики XX столетия: Учебное пособие. — М: Ком Книга, 2006. — 208 с. ISBN 5-484-00453-5
Пособие подготовлено на основе авторского курса по истории и философии науки для аспирантов естественно-научного и гуманитарного циклов. Дан подробный анализ четырех ведущих программ обоснования философии ХХ столетия - логицизма, интуиционизма, конструктивизма и формализма. Главный акцент сделан на раскрытии философских допущений перечисленных программ и доступном изложении тезисов и основных результатов каждой из них. В пособии используется большое количество первоисточников и критической литературы. В первой главе автором излагается общий подход к проблеме обоснования математики. Пособие написано в соответствии с требованиями Программы кандидатских экзаменов по «Истории и философии науки», одобренной Высшей аттестационной комиссией и утвержденной приказом Министерства образования России от 17.02.2004, N 697. Адресовано студентам, аспирантам, преподавателям, ученым, а также всем, кто самостоятельно изучает философские проблемы математики и кого интересуют логика и методология современной науки.
Скачать (pdf/rar, 6.65 Мб) ifolder.ru || mediafire

Научно-популярные книги

	Гжегорчик А. Популярная логика: Общедоступный очерк логики предложений. Пер. с польск. Изд. 3, стереотип.- М., Наука, 1979. 112 с. Книга предназначена для того, чтобы удовлетворить возрастающий интерес к математической логике людей, не являющихся специалистами ни в математике, ни в логике. От читателя не требуется ни знания математических фактов, ни привычки к чтению математической литературы. Автор ведет изложение в разговорном стиле, логические символы заменяет словами. Многочисленные примеры облегчают усвоение материала. Скачать (djvu, 2.20 Мб) ifolder.ru \|\| mediafire
	Градштейн И.С. Прямая и обратная теоремы. Элементы алгебры логики. Изд.2, перераб. М., ГИТТЛ, 1950. - 1959. 128 с. Весь основной материал в этой книжке не выходит за пределы программы 8-х и 9-х классов, и только некоторые примеры относятся к программе 10-го класса. Книжка рассчитана в первую очередь на любителей математики: учащихся старших классов средней школы, студентов педвузов, а также на преподавателей средней школы и техникумов. При углубленном повторении отдельных вопросов по математике, особенно по гемуетрии, она может служить пособием и для более широкого круга читателей. Скачать (djvu, 1.74 Мб) ifolder.ru \|\| mediafire
	Лакатос И. Доказательства и опровержения. Как доказываются теоремы. М.: Наука, 1967. - 153 c. Предлагаемая вниманию читателя книга известного английского математика И.Лакатоса (1922--1974) посвящена проблемам математической логики. Она написана легко, увлекательно и остроумно в виде разговора учителя с учениками, разбирающими доказательства знаменитой теоремы Эйлера о многогранниках и получающиеся при этом парадоксы. Ошибки, которые делают ученики, в действительности были допущены различными математиками XIX в., что раскрывается в подстрочных примечаниях, дающих полную историю вопроса. Рекомендуется студентам математических специальностей, а также учащимся старших классов, интересующимся математикой Скачать (djvu, 1.82 Мб) ifolder.ru \|\| eqworld
	Э. Нагель, Дж. Р. Ньюмен Теорема Гёделя. - Красанд, 2010 г. -121 с. ISBN: 978-5-396-00092-6 Серия или Выпуск: Науку - всем! Шедевры научно-популярной литературы Книга посвящена теореме Геделя о неполноте. Эта теорема была изложена в 1931 году в небольшой статье К.Геделя, которая впоследствии сыграла решающую роль в истории логики и математики. Авторы настоящей книги, не пытаясь дать общий очерк идей и методов математической логики, строят изложение вокруг центральных, с их точки зрения, проблем этой науки - проблем непротиворечивости и полноты. Доказательство того факта, что для достаточно богатых математических теорий требования эти несовместимы, и есть то поразительное открытие Геделя, которому посвящена книга. Скачать (djvu/zip, 1,3 MB , 600dpi) ifolder.ru \|\| mediafire.com
	Трахтенброт Б.А. Алгоритмы и машинное решение задач. Изд.2. - М., Физматлит, 1960. - 120 с. Книга Б. А. Трахтенброта рассматривает в популярной форме основные вопросы теории алгоритмов и связь этой теории с машинной математикой. Автор подробно рассказывает об истории развития понятия алгоритм, о принципе работы современных быстродействующих вычислительных машин, об основах программирования, о схеме машины Тьюринга, об алгоритмически неразрешимых проблемах. Книга рассчитана на школьников старших классов, преподавателей, инженерно-технических работников и всех лиц, интересующихся перспективами применения новой вычислительной техники. Скачать (djvu, 1.08 Мб) ifolder.ru \|\| mediafire.com
	Шапиро С. И. Решение логических и игровых задач (логико-психологические этюды). — М.: Радио и связь, 1984.— 152 с, ил.— (Кибернетика) Показана возможность построения алгоритмов решения широкого класса логических задач с использованием алгебры высказываний. Рассмотрены вопросы диагностики, анализа и синтеза релейно-контактных схем, задачи о расписании, задачи о счетчиках, автоматах и др. Для интересующихся проблемами кибернетики и вычислительной техники. Скачать (djvu, 2.36 Мб) ifolder.ru \|\| mediafire.com
	Шевченко В. Е. Некоторые способы решения логических задач. - Киев, Вища школа, 1979. - 80 с. В книге в научно-популярной форме изложены основные способы решения логических задач: здравым рассуждением, при помощи исчисления высказываний, составлением таблиц и построением графов. Пособие содержит свыше ста задач для самостоятельного решения, на которые в конце книги приведены ответы и краткие указания. Пособие рассчитано на учащихся физико-математических и средних общеобразовательных школ. Оно может быть использовано учителями математики при проведении внеурочной кружковой работы. Скачать (djvu/rar, 1,4 Мб, черные полосы ) ifolder.ru \|\| mediafire.com

Курсы лекций

Пензов Ю.П. Элементы математической логики и теории множеств. - Саратов, Изд. Саратовского ун-та, 1968. -144 с
Настоящая книга является обработкой лекций, которые автор читал в Саратовском университете в 1962—66 гг. В § 1 вводятся основные понятия теории множеств. В § 2 и § 3 излагаются элементы содержательного исчисления высказываний и предикатов. Формальное исчисление высказываний и предикатов не затрагивается. В § 4 и §5 логика предикатов применяется для построения начал алгебры подмножеств и теории бинарных отношений. В § 6 на основе теории бинарных отношений излагаются начальные сведения по теории отображений и преобразований множеств. Каждый параграф книги снабжен упражнениями.
Скачать (djvu, 1.51 Мб) ifolder.ru || eqworld

Галиев Ш.И. Математическая логика и теория алгоритмов. - Казань, КГТУ, 2002. - 258 с.
Скачать (pdf/rar, 3.56 Мб) ifolder.ru || mediafire

Зюзьков В.М. Лекции по теории алгоритмов (мехмат)
Скачать (pdf, 1.37 Мб) ifolder.ru

Плиско В. Е. Математическая логика. Курс лекций. - 2004. - 86 с.
Плиско В.Е. Теория алгоритмов. Курс лекций. - 2004. - 38 с.
Скачать (djvu/rar, 1.05 Мб) ifolder.ru

С. Ю. Подзоров Теория алгоритмов. Полный конспект лекций. - НГУ, 2003 – 2004. - 130 с.
Скачать (pdf/rar, 925.96 кб) ifolder.ru || mediafire

Самохин А.В. Математическая логика и теория алгоритмов. - М, 2003. - 237 с
Скачать (pdf/rar,1.56 Мб) ifolder.ru || mediafire

@темы: Математическая логика, Литература

URL

Людям все-таки свойственно усложнять веши. Для того, чт... Занятное сейчас в Корее отношение к иностранцам. Им чре... когда училась в школе читала в "искусство кино"...

Вот стоит только подумать, что все хорошо, обязательно ка... Оказывается можно убедить себя, что ты не устал, и устало... Сетка мертвая... Посему смотрел кино. На ДВД. Дывыс...

Комментарии

06.11.2008 в 00:28

alba-longa

На свете есть всего 10 разновидностей людей. Те, которые понимают бинарный код, и те, кто не понимают

Ого, сколько всего! Спасибо большое за ссылки!
Меня больше интересует теория алгоритмов, ибо матлогику не веду. А вот курс теории алгоритмов есть. Скачала кое-что для себя. Правда, если у кого-нить есть комментарии, какая книга лучше, буду очень благодарна

курс у меня не тока по ТА, там в основном языки программирования, алгоритмы мы затрагиваем очень мало -- специальность не профильная. Но все равно для компетентности книги нужны

еще раз спасибо!

URL

06.11.2008 в 00:35

Robot

alba-longa
gen.lib.rus.ec/
вот здесь в строке поиск вводить в разных падежах
теории алгоритмов
теория алгоритмов
программирование и т.д., то много можно найти
Но опять же - содержание неизвестно, если трафик, то много лишнего можно скачать

URL

06.11.2008 в 00:45

alba-longa

На свете есть всего 10 разновидностей людей. Те, которые понимают бинарный код, и те, кто не понимают

Robot
спасибо! Если честно, трафик пофиг, ибо анлим, хоть и не на буржуйской скорости. А вот времени все это пересмотреть нету

URL

06.11.2008 в 02:06

Тимбрими

Я раздираема антагонизмом между собою и собой капризным.

Спасибо!

URL

18.12.2008 в 22:49

~.Gangrel.~

no_more_future

о, как здорово) спасибо огромное)

URL

08.01.2009 в 18:50

Гость

Ребята, спасибо вам за подборку!
но мне нужна одна книжка - Судоплатов, Овчинникова - Математическая логика и теория алгоритмов.
В нашей библиотеке они все на руках, по городу (Новосибирск) ее нету, а в интернет-магазинах она минимум неделю идти будет - а нужна щас, в течение дней двух.
Остался вариант только искать в электронной форме - все облазил, но нигде нету ;(
последняя надежда на вас, подсскажите, если ли такая книжка у кого или подскажите, где поискать.
заранее огромное спасибо!

URL

08.01.2009 в 19:23

Robot

вот здесь
Литература по дискретной математике
книга
С. В. Судоплатов, Е. В. Овчинникова Элементы дискретной математики. Учебник. - М.: Инфра-М, Новосибирск, Изд.НГТУ. - 2002. -280 с.

Другой нет
==
Еще можно обратиться к Cara
pay.diary.ru/~eek/p52579846.htm#

URL

08.01.2009 в 19:41

Гость

и на том спасибо!

URL

03.02.2009 в 14:59

Гость

Прекрасно!

URL

11.02.2009 в 08:29

Гость

Классная подборка. Авторам респектище!!!
Очень хотелось бы ознакомится с практическим курсом мат.логики авторов Л. М. Лихтарников, Т.Г. Сукачева.
Пожалуйста, помогите с поиском. Заранее спасибо.

URL

12.02.2009 в 12:54

Robot

К сожалению, Практикум их я не встречала
И книжка в руки не попадалась, а то бы я отсканила
Выложена выше

URL

20.04.2009 в 22:53

Гость

Большое спасибо за Ваши труды.

URL

24.04.2009 в 13:58

Гость

От души!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!

URL

10.05.2009 в 09:37

[email protected]

Спасибо большое!!!!!! Но, я скачала"Клини С.К. Математическая логика. - М., Мир," но в моем компютере оно не отврываеться!!!! что можно сделать??? :nope:

URL

10.05.2009 в 11:48

Robot

Этот файл в формате djvu. Для чтения файлов данного формата надо скачатьWinDjView-1.0 (885Кб) или WinDjView-1.0.1-Setup.exe" (2,71 Мб)
Подробнее о чтении файлов данного формата www.alleng.ru/texts/winr.htm
(только там указана более старая программа для чтения)

URL

10.05.2009 в 12:01

Гость

спсаибо большое

URL

10.06.2009 в 05:57

Olshik82

Нашла много полезного! Огромное спасибо!!!

URL

10.06.2009 в 05:58

Olshik82

А есть что-нибудь вроде решебников по мат. логике?

URL

10.06.2009 в 12:05

Robot

Я точно не знаю
Есть книги, в которых подробно рассказываются примеры решения задач
Это, например, Игошин (в его задачнике перед каждым заданием разбирается одно для примера)
В подборке литературы по дискретной ма-ке есть Москвинова - в ней тоже разбираются задачи
В данной подборке Никольская (но и Мосвинова и Никольская пишут для техникумов, то есть там несложные задачи).
Вы можете вступить в сообщество (левый столбец) и задать вопрос всем членам сообщества (Написать в сообщество)
М.б. кто-нибудь знает

URL

09.10.2009 в 12:24

_Svet_

а у вас нет Судоплатов Овчинникова "Математическая логика и теория алгоритмов"?... нигде не могу найти.. на вас последняя надежда..

URL

09.10.2009 в 15:39

Robot

Есть только по дискретной математике (в разделе Литература по дискретной математике)

URL

10.10.2009 в 15:05

_Svet_

окъ, спасибо! буду искать дальше (=

URL

17.10.2009 в 22:49

Гость

Здесь все, что я искал много ночей. Большое спасибо!

URL

20.11.2009 в 06:56

Гость

Спасибо за помощь

URL

10.12.2009 в 10:54

Гость

Выражаю огромную благодарность за предоставленные книги!
Это наиболее полное собрание по этой тематике, из всех встреченных ранее.
Готовимся к экзаменам!

URL

27.03.2010 в 22:16

Гость

огромное спасибо. очень много полезного.

URL

31.03.2010 в 21:49

maksim24680

нужно сделать рефераты по мат логике на темы:
1."Метатеории"
2."Элементарные теории"
нигде не могу ничего подобного найти

URL

31.03.2010 в 21:52

Robot

maksim24680
Левый столбец - Вступить в сообщество
Затем - написать в сообщество
И там задать вопрос
Может кто подскажет.

URL

30.04.2010 в 10:47

Гость

спасибо)

URL

04.09.2010 в 23:36

~Melifaro~

Нежные и ванильные, идите в задницу. Тут космос и олицитворение.

Спасибо большое за такую подборку)))

URL

1 2 Следующая → Последняя

	Аляев Ю.А. Тюрин С.Ф. Дискретная математика и математическая логика. — М.: Финансы и статистика, 2006. — 368 с. Рассматриваются основные темы дискретной математики и математической логики: теория множеств, элементы комбинаторики, теория графов, теория переключательных функций и автоматов, теория кодирования, формальная логика, логические исчисления, формальные теории и теория алгоритмов, элементы теории нечетких множеств. Сложные вопросы математики рассматриваются на простых примерах. Большая часть материала снабжена методическими разработками авторов. Имеются задания для самостоятельной работы студентов. Для студентов вузов, обучающихся по специальностям "Прикладная информатика в экономике", "Экономика и управление на предприятии", а также для преподавателей. Скачать (djvu/rar, 2,13 Мб) ifolder.ru \|\| mediafire.com
	Варпаховский Ф.Л. Элементы теории алгоритмов. - М., Просвещение, 1970. - 25 с. (МГЗПИ) Пособие представляет собой попытку элементарного изложения основ теории алгоритмов, которое могло бы служить требуемым руководством для студентов педвузов. Общий план изложения заимствован из лекций, прочитанных П. С. Новиковым на курсах усовершенствования учителей при Московском государственном педагогическом институте им. В. И. Ленина. Скачать (djvu, 502.19 кб) ifolder.ru \|\| mediafire.com
	Гуц А.К. Математическая лоrика и теория алrоритмов. - Омск: Издательство Наследие. Диалог-Сибирь, 2003. - 108 с. Учебное пособие посвящено изложению основ математической логики и теории алгоритмов. Основу пособия составляют конспекты лекций, которые читались студентам втoporo курса отделения компьютерных наук Омского государственноrо университета в 2002 rоду. Скачать (djvu/rar, 874 кб) ifolder \|\| mediafire.com
	Босс В. Лекции по математике. Т. 6: От Диофанта до Тьюринга. - М.: КомКнига, 2006. - 208 с. Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта — вот рассматриваемый круг вопросов. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Для студентов, преподавателей, инженеров и научных работников. Скачать (djvu/rar, 2,08 Мб) ifolder \|\| mediafire.com
	Босс В. Лекции по математике. Т. 10: Перебор и эффективные алгоритмы: Учебное пособие. — М.: Издательство ЛКИ, 2008. — 216 с. Книга посвящена теории сложности алгоритмов в той ее части, где речь идет о противостоянии Р- и NP-задач. В резонанс с проблемой «Р против NP» входит обширная тематика: комбинаторные задачи на графах, неразрешимые проблемы теории алгоритмов, криптография, целочисленное программирование, вероятностные методы, квантовые вычисления, алгоритмы Хачияна и Кармаркара для линейного программирования, а также полиномиальный алгоритм AKS для выяснения простоты числа. Особое внимание уделяется геометрическому взгляду на проблему, который в привычном уже пейзаже обнаруживает свежие ракурсы. Изложение отличается краткостью и прозрачностью. Для студентов, преподавателей, инженеров и научных работников. Скачать (djvu/rar, 3, 58 Мб) ifolder \|\| mediafire.com
	Ершов Ю.Л., Палютин Е.А.Математическая логика: Учеб. пособие для вузов. - М. , Наука, 1987. - 336 с.. В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов. Скачать (djvu/rar, 5,22 Мб)ifolder \|\| mediafire.com
	Игошин В.И. Математическая логика и теория алгоритмов : учеб. пособие для студ. высш. учеб. заведений / В. И. Игошин. — 2-е изд., стер. — М. : Издательский центр «Академия», 2008. — 448 с. Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика». Скачать (djvu/rar, 6.84 Мб) ifolder.ru \|\| mediafire.com
	Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов / В. И. Игошин. — 3-е изд., стер. — М. : Издательский центр «Академия», 2007. — 304 с. Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения. Сборник состоит из четырнадцати параграфов в 5 главах: I. Алгебра высказываний; II. Булевы функции; III. Формализованное исчисление высказываний; IV. Логика предикатов; V. Элементы теории алгоритмов. Каждый параграф предваряется теоретическими сведениями. Особенно ценным является то, что автор в каждой серии однотипных задач (под буквами, скажем, а)- л)) приводит подробное решение одной или нескольких из них в качестве образца. То есть пособие одновременно может рассматриваться как некое руководство по решению задач. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика». Скачать (djvu/rar, 4.41 Мб) ifolder.ru \|\| mediafire.com
	Карри Х. Б. Основания математической логики: Пер. с англ. - М., Мир, 1969. - 568 с. Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений. Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в области математической логики, но она, безусловно, доступна всем, кто интересуется фундаментальными проблемами этого раздела математики. Скачать (djvu, 6.03 Мб) ifolder.ru \|\| eqworld
	Клини С.К. Математическая логика. - М., Мир, 1973.- 480 с. Имя одного из крупнейших современных специалистов в области математической логики С. К. Клини знакомо по русскому переводу его фундаментального труда «Введение в метаматематику» (ИЛ, 1957), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными, функциями и основаниями математики. Данная книга представляет собой существенно усовершенствованный, расширенный и приближенный к нуждам университетского преподавания вариант «чисто логической» части этой всемирно известной монографии. Тщательно продуманные иллюстративные упражнения помогают читателю усвоить излагаемый, материал.Книга может быть использована,как учебное пособие по курсу математической логики в университетах и пединститутах; таким образом, она адресована прежде всего преподавателям, аспирантам и студентам. Скачать (djvu, 6,1 Мб) ifolder.ru \|\| eqworld \|\| mediafire.com
	Клини С.К. Введение в метаматематику. Пер. с анг. - М., Мир, 1957. - 528 с. Книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Этот фундаментальный труд по праву стал настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Цель автора --- дать читателю связное введение в область данных научных дисциплин, а также в исследования по основаниям математики вообще. Первая часть книги содержит необходимый подготовительный материал; далее проведено метаматематическое исследование элементарной арифметики с необходимым материалом из математической логики. В восьмой главе второй части изложены знаменитые теоремы Гёделя о неполноте. Третья часть, содержащая в числе прочего изложение теории обще-рекурсивных и частично-рекурсивных функций, может служить руководством для изучения теории рекурсивных функций. Скачать (djvu, 7.07 Мб) ifolder.ru \|\| eqworld
	Колмогоров А.Н., Драгалин А.Г. Математическая логика. Изд. 3-е, стереотипное. — М.: КомКнига, 2006. 240 с. (Классический университетский учебник.) А. Н. Колмогоров (1903-1987) и А. Г. Драгалин (1941-1998) — выдающиеся отечественные логики и математики, оказавшие глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. Учебники написаны на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М. В. Ломоносова. Изложение фундаментальных фактов современной логики (основ логики высказываний и логики предикатов, начал аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики. Скачать (djvu/rar, 3,44 Мб) ifolder.ru \|\| mediafire
	NEW Лавров И. А. Математическая логика : учеб. пособие для студ. высш. учеб. заведений / И.А.Лавров; под ред. Л.Л. Максимовой. — М.: Издательский центр «Академия», 2006. — 240 с. — (Университетский учебник. Сер. Прикладная математика и информатика). ISBN 5-7695-2735-8 В учебном пособии изложены основы современного подхода к изучению математических теорий с привлечением логических понятий и методов, а также концепция программы Д. Гильберта о построении математических теорий аксиоматическим путем. Рассмотрены аксиоматические теории для множеств натуральных и действительных чисел и для геометрии. Для студентов высших учебных заведений. Скачать (djvu/rar, 2,34 Мб) ifolder.ru \|\|rghost.ru
	Л. М. Лихтарников, Т.Г. Сукачева Математическая Логика. Курс лекций. 3адачник-практикум и решения. Серия Учебники для вузов. - Санкт-Петербург, Издательство "Лань", 1999. - 288 с. Учебное пособие предназначено дли студентов университетов и педагогических институтов, изучающих курс математической логики. В файле представлен только курс лекций. Включает в себя разделы : Алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы Полная версия с задачником практикумом Скачать (djvu/rar, 2,74 мб) mathhelp.ifolder.ru \|\| mediafire.com
	Мальцев А.Н. Алгоритмы и рекурсивные функции. - М., Наука, 1986. - 366 с. Посвящается одному из актуальных и бурно развивающихся разделов математической логики — теории алгоритмов, а также важнейшим ее связям с другими разделами математики. Является одним из лучших пособий для знакомства с основными направлениями, идеями и методами теории алгоритмов. Для математиков различных специальностей: научных работников, аспирантов и студентов. Скачать (djvu/rar, 4,5 Мб) ifolder.ru \|\| mediafire.com
	Мендельсон Э. Введение в математическую логику. - М., Наука, 1971. - 322 с. Дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств, отсутствующие в книге С. К. Клини «Введение в метаматематику», которая до настоящего времени служила наиболее полным пособием по математической логике. Следует однако отметить, что в отличие от книги С. К. Клини в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики.Значительная роль в книге отведена упражнениям, куда вынесена часть материала, используемого в основном тексте. Скачать (djvu, 3,58 Мб) eqworld \|\| ifolder.ru \|\| mediafire.com
	Никольская И.Л. Математическая логика. - М.: Высшая школа, 1981, 127 с Книга предназначена для учащихся техникумов по специальности «Прикладная математика» и содержит теоретический материал, соответствующий программе курса «Математическая логика», а также упражнения для активного усвоения курса н приобретения необходимых навыков. Изложение базируется на знаниях по математике, полученных учащимися в восьмилетней школе, и на усвоенных ими языковых нормах. Предназначается для учащихся средних специальных учебных заведений. (Любимое мое пособие для начального ознакомления с математической логикой). Скачать (djvu/rar, 2,19 Мб) ifolder\|\| mediafire.com
	Новиков П.С. Элементы математической логики. - М.: Наука, 1973, 400 с. В настоящей книге сделана попытка дать по возможности доступное изложение основ математической логики. Этой задаче посвящены первые пять глав книги, составляющие ее основное содержание (логика и исчисление высказываний, логика и исчисление предикатов, аксиоматическая арифметика). Последняя, шестая, глава носит более специальный характер, в ней рассматриваются методы теории доказательства, посредством которых решаются некоторые вопросы математической логики, возникающие в основном тексте книги. Скачать (djvu/rar, 6,49 Мб) ifolder \|\| mediafire.com
	В.Ф. Пономарев Математическая логика. часть 1. Логика высказываний. Логика предикатов. Учебное пособие – Калининград: КГТУ, 2001. - 140 с. В.Ф. Пономарев Математическая логика. часть 2. Логика реляционная. Логика нечеткая. Учебное пособие – Калининград: КГТУ, 2001. -106 с. Изложены основные принципы формирования языка, основные правила дедуктивного вывода, основные механизмы доказательства истинности заключения в логике высказываний и логике предикатов в первой части и в реляционной и нечеткой логике во второй части. Все доказательства подкреплены множеством примеров. Скачать (doc/rar, 336.23 кб) ifolder \|\| mediafire.com
	Столл Р.Р. Множества. Логика. Аксиоматические теории — М.:Просвещение, 1968. — 232 с. Книга может быть рекомендована в качестве первоначального пособия каждому, кто хочет ознакомиться с основными понятиями, идеями, методами и результатами математической логики и теории множеств; элементарному изложению этих вопросов посвящены первые две главы книги. Несколько более трудна (по степени абстракции и сложности излагаемых в ней концепций) третья глава, в которой разъясняются важнейшие установки аксиоматического метода, затрагиваются проблематика оснований математики и взаимоотношения между формализованными логико-математическими теориями, их метатеориями и интерпретациями; изложение этих вопросов носит более эскизный характер, нежели в первых двух главах. Заключительная, четвертая глава иллюстрирует содержание предыдущих глав на богатом и разнообразном материале теории булевых алгебр; некоторые из аксиоматических рассмотрений этой главы, быть может, окажутся небезынтересными и для математиков. Скачать (djvu, 4,22 Мб) eqworld \|\| ifolder \|\| mediafire.com
	NEW Тимофеева И.Л. Математическая логика. Курс лекций: Учеб. пособие для тудентов вузов / И. Л. Тимофеева. — 2-е изд., перераб. — М.: КДУ, 2007. — 304 с. ISBN 978-5-98227-307-9 Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка. Центральное место занимает изложение основ теории доказательств. Отдельный раздел посвящен проблемам оснований математики. Курс лекций предназначен для студентов математических факультетов педвузов, изучающих математическую логику, а также для преподавателей, читающих лекционный курс и ведущих практические занятия по математической логике. Скачать (djvu, 2.36 Мб) ifolder.ru \|\| mediafire.com
	Успенский В. А., Верещагин Н. К., Плиско В. Е. Вводный курс математической логики. — 2-е изд. — М.: ФИЗМАТЛИТ, 2004. — 128 с. В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики. Скачать (djvu/rar, 855 Кб) ifolder.ru \|\| mediafire.com
	Успенский В.А., Семенов А.Л. Теория алгоритмов: основные открытия и приложения. - М., Наука, 1987. -288 с. В книге дается обзор важнейших достижений теории алгоритмов. Излагаются в систематизированном виде основные открытия, связанные с понятием алгоритма, приложения теории алгоритмов к математической логике, теории вероятностей, теории информации и др. Рассматривается влияние теории алгоритмов на алгоритмическую практику. Книга предназначена для специалистов по математике, информатике, кибернетике, а также для студентов вузов. Скачать (djvu/rar, 3,54 Мб) ifolder.ru \|\| mediafire.com
	Успенский В.А. Лекции о вычислимых функциях.- М., Наука, 1960. 492 с. Настоящие «Лекции» посвящены изложению основ теории вычислимых функций (проводимому на базе принятого в настоящее время отождествления их — для случая функций с натуральными аргументами и значениями — с частично-рекурсивными функциями), а также некоторым приложениям этой теории. Скачать (djvu, 5.44 Мб) ifolder.ru \|\| mediafire
	NEW Шапорев С. Д. Математическая логика. Курс лекций и практических занятий. — СПб.: БХВ-Петербург, 2005. - 416 с: ил. SBN 5-94157-702-8 В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Содержание разделов книги взаимно связано друг с другом и снабжено большим количеством примеров и решенных задач, помогающих усвоить и закрепить излагаемый материал. Скачать (djvu, 2.36 Мб) ifolder.ru \|\| mediafire.com
	Шенфилд Дж. Математическая логика: Пер. с англ. М., Наука, 1975. - 528 c. Книга известного американского логика Дж.Шенфилда знакомит читателя с основами современной математической логики и теории алгоритмов. Книга может быть рекомендована в качестве учебника по курсам математической логики и теории алгоритмов в университетах и пединститутах. Скачать (djvu, 3.21 Мб) ifolder.ru \|\| mediafire
	Эдельман С.Л. Математическая логика М., Высшая школа, 1975. - 176 с. Рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики математических методов. Включены задачи и упражнения по каждому из разделов. Предназначается для студентов пединститутов Скачать (djvu, 1,48 Мб) eqworld \|\| ifolder.ru

	Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике: Учеб. пособие. — 3-е изд., перераб. — М.: ФИЗМАТЛИТ, 2005. - 416 с. В пособие включены задачи и упражнения по конечнозначным логикам (в том числе по алгебре логики), по теории автоматов, теории алгоритмов, теории графов и сетей, теории кодирования, комбинаторике, минимизации булевых функций и синтезу схем и формул, реализующих булевы функции. Имеются задачи, предназначенные для первоначальной проработки и освоения методов дискретной математики, а также задачи для углубленного изучения предмета. Для студентов и преподавателей университетов и технических вузов, в которых изучается дискретная математика. Скачать (djvu, 3,36 Мб) ifolder \|\| mediafire.com
	Гиндикин С.Г. Алгебра логики в задачах. - М., Наука, 1972 - 288 с. Содержит следующие разделы: операции над высказываниями, функции алгебры логики, нормальные формы, закон двойственности, арифметические опреации в алгебре логики, монотонные функции, функционально замкнутые классы и теорема Поста, общая теория функционально замкнутых классов, схемы на функциональных элементах, релейно-контактные схемы, элементы вероятностной логики, многозначные логики, логика предикатов. Скачать (djvu, 2.92 Мб) ifolder \|\| mediafire.com
	Гохман А.В.Сборник задач по математической логике и алгебре множеств.- Саратов, Изд-во Саратовского ГУ, 1969 - 92 с. Предлагаемый сборник задач составлен в соответствии с программой университетского курса Элементы математической логики и алгебры множеств. Первые четыре параграфа посвящены двоичной булевой алгебре и ее применению в теории релейно-контактных схем, а также исчислению высказываний и предикатов. Большая часть задач двух последних параграфов связана с бинарными отношениями, которые получают все большее применение в различных областях математики. Задачник снабжен ответами и указаниями, каждому разделу предпослано небольшое теоретическое введение. Сборник может быть использован как пособие для учащихся Юношеских математических школ и всех самостоятельно изучающих соответствующие разделы математики. Скачать (1 Мб) ifolder \|\| mediafire.com
	Лавров И. А.,Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов.— М.: Физматлит, 2004. -256 с. В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. Сборник может быть использован как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических вузах при изучении кибернетики и информатики. Для математиков — алгебраистов, логиков и кибернетиков. Скачать (djvu/rar, 1.6 Мб) ifolder.ru \|\| mediafire.com
	Михайлов А,Б., Рыжова Н.И., Швецкий М.В. Упражнения по основам математической логики. Формальные системы первого порядка. Учебное пособие для студентов математического факультета - Санкт-Петербург: РГПУ. 1997. - 127 с. Пособие предназначено для поддержки курса "Основы математической логики и теории алгорифмов". Содержит упражнения по разделу математической логики "Формальные системы первого порядка", которые можно рассматривать в качестве обязательных результатов обучения. Упражнения выбраны и как форма обучения студентов, поэтому оглавление отражает поурочный план практических занятий по данному разделу. Для студентов математических факультетов педагогических вузов. Скачать (djvu, 2.86 Мб) ifolder.ru \|\| mediafire

	Гжегорчик А. Популярная логика: Общедоступный очерк логики предложений. Пер. с польск. Изд. 3, стереотип.- М., Наука, 1979. 112 с. Книга предназначена для того, чтобы удовлетворить возрастающий интерес к математической логике людей, не являющихся специалистами ни в математике, ни в логике. От читателя не требуется ни знания математических фактов, ни привычки к чтению математической литературы. Автор ведет изложение в разговорном стиле, логические символы заменяет словами. Многочисленные примеры облегчают усвоение материала. Скачать (djvu, 2.20 Мб) ifolder.ru \|\| mediafire
	Градштейн И.С. Прямая и обратная теоремы. Элементы алгебры логики. Изд.2, перераб. М., ГИТТЛ, 1950. - 1959. 128 с. Весь основной материал в этой книжке не выходит за пределы программы 8-х и 9-х классов, и только некоторые примеры относятся к программе 10-го класса. Книжка рассчитана в первую очередь на любителей математики: учащихся старших классов средней школы, студентов педвузов, а также на преподавателей средней школы и техникумов. При углубленном повторении отдельных вопросов по математике, особенно по гемуетрии, она может служить пособием и для более широкого круга читателей. Скачать (djvu, 1.74 Мб) ifolder.ru \|\| mediafire
	Лакатос И. Доказательства и опровержения. Как доказываются теоремы. М.: Наука, 1967. - 153 c. Предлагаемая вниманию читателя книга известного английского математика И.Лакатоса (1922--1974) посвящена проблемам математической логики. Она написана легко, увлекательно и остроумно в виде разговора учителя с учениками, разбирающими доказательства знаменитой теоремы Эйлера о многогранниках и получающиеся при этом парадоксы. Ошибки, которые делают ученики, в действительности были допущены различными математиками XIX в., что раскрывается в подстрочных примечаниях, дающих полную историю вопроса. Рекомендуется студентам математических специальностей, а также учащимся старших классов, интересующимся математикой Скачать (djvu, 1.82 Мб) ifolder.ru \|\| eqworld
	Э. Нагель, Дж. Р. Ньюмен Теорема Гёделя. - Красанд, 2010 г. -121 с. ISBN: 978-5-396-00092-6 Серия или Выпуск: Науку - всем! Шедевры научно-популярной литературы Книга посвящена теореме Геделя о неполноте. Эта теорема была изложена в 1931 году в небольшой статье К.Геделя, которая впоследствии сыграла решающую роль в истории логики и математики. Авторы настоящей книги, не пытаясь дать общий очерк идей и методов математической логики, строят изложение вокруг центральных, с их точки зрения, проблем этой науки - проблем непротиворечивости и полноты. Доказательство того факта, что для достаточно богатых математических теорий требования эти несовместимы, и есть то поразительное открытие Геделя, которому посвящена книга. Скачать (djvu/zip, 1,3 MB , 600dpi) ifolder.ru \|\| mediafire.com
	Трахтенброт Б.А. Алгоритмы и машинное решение задач. Изд.2. - М., Физматлит, 1960. - 120 с. Книга Б. А. Трахтенброта рассматривает в популярной форме основные вопросы теории алгоритмов и связь этой теории с машинной математикой. Автор подробно рассказывает об истории развития понятия алгоритм, о принципе работы современных быстродействующих вычислительных машин, об основах программирования, о схеме машины Тьюринга, об алгоритмически неразрешимых проблемах. Книга рассчитана на школьников старших классов, преподавателей, инженерно-технических работников и всех лиц, интересующихся перспективами применения новой вычислительной техники. Скачать (djvu, 1.08 Мб) ifolder.ru \|\| mediafire.com
	Шапиро С. И. Решение логических и игровых задач (логико-психологические этюды). — М.: Радио и связь, 1984.— 152 с, ил.— (Кибернетика) Показана возможность построения алгоритмов решения широкого класса логических задач с использованием алгебры высказываний. Рассмотрены вопросы диагностики, анализа и синтеза релейно-контактных схем, задачи о расписании, задачи о счетчиках, автоматах и др. Для интересующихся проблемами кибернетики и вычислительной техники. Скачать (djvu, 2.36 Мб) ifolder.ru \|\| mediafire.com
	Шевченко В. Е. Некоторые способы решения логических задач. - Киев, Вища школа, 1979. - 80 с. В книге в научно-популярной форме изложены основные способы решения логических задач: здравым рассуждением, при помощи исчисления высказываний, составлением таблиц и построением графов. Пособие содержит свыше ста задач для самостоятельного решения, на которые в конце книги приведены ответы и краткие указания. Пособие рассчитано на учащихся физико-математических и средних общеобразовательных школ. Оно может быть использовано учителями математики при проведении внеурочной кружковой работы. Скачать (djvu/rar, 1,4 Мб, черные полосы ) ifolder.ru \|\| mediafire.com


Запомнить

Литература по математической логике и теории алгоритмов

Не решается алгебра/высшая математика?.. ПОМОЖЕМ!