Бакалавр
Вторник, 25.09.2018, 14:49
Меню сайта

Форма входа

Поиск

Календарь
«  Сентябрь 2018  »
ПнВтСрЧтПтСбВс
     12
3456789
10111213141516
17181920212223
24252627282930

Статистика

Онлайн всего: 1
Гостей: 1
Пользователей: 0

Айзерман М.А. и др. Логика. Автоматы. Алгоритмы

 

 

 

Настоящая книга рассчитана на широкий круг читателей, работающих в области автоматики, телемеханики и вычислительной техники и впервые знакомящихся с теорией конечных автоматов и последовательностных машин.Авторы имели в виду также, что книга должна быть полезна для математика (не логика), стремящегося познакомиться с этими проблемами, а также для физиолога и биолога, интересующихся теорией конечных автоматов и последовательностных машин применительно к созданию идеализированных моделей нервных тканей.

Формат: DJVU   Размер 5,4 Mb   СКАЧАТЬ

Булос Дж., Джеффри Р. Вычислимость и логика

 

 

 

Книга известных американских математиков, являющаяся в настоящее время одной из наиболее известных в США книг по математической логике, выдержавшая там три издания (1974, 1980 1989 гг. ). В ней содержатся начала и некоторые дополнительные главы математической логики, последовательно и строго излагаются классические теоремы о неразрешимости логики предикатов и разрешимости некоторых ее фрагментов, знаменитые теоремы Гёделя о полноте, нестандартные модели и многое другое. Материал дополнен упражнениями.

Для всех, кто интересуется математической логикой, а также информатикой, философией и лингвистикой.

Формат: DJVU   Размер 9,8 Mb   СКАЧАТЬ

Гильберт Д. , Аккерман В. Основы теоретической логики

 

 

 

Вниманию читателя предлагается классическое руководство по элементам математической логики, написанное известными немецкими математиками. Материал книги вырос из курса лекций выдающегося математика конца XIX - начала XX вв. Д.Гильберта и был в окончательном виде подготовлен его учеником В.Аккерманом. Книга содержит систематическое построение аппарата математической логики; авторы строго ограничивают себя самым необходимым материалом, но зато дают все детали доказательств. Руководство написано очень сжато и лаконично, и рассчитано на читателей, привыкших пользоваться математической литературой, в том числе студентов и преподавателей математических вузов.

Формат: DJVU   Размер 3,3 Mb   СКАЧАТЬ

Гиндикин С.Г. Алгебра логики в задачах

 

 

 

В книге рассмотрены, главным образом, три круга вопросов: проблемы полноты и функционально замкнутых классов, проблемы синтеза и оценки сложности схем, теория вероятностей на конечных булевых алгебрах.

Формат: DJVU   Размер 3,8 Mb   СКАЧАТЬ

Гладкий А.В. Математическая логика

 

 

 

Книга представляет собой учебное пособие по математической логике, особенностями которого являются соединение строгости и доступности изложения, достигаемое благодаря отчетливому выделению основновных идей и тщательной проработке деталей, и повышенное внимание к гуманитарным аспектам предмета - в частности, к его связям с естественным языком и лингвистикой. Излагаются семантика и синтаксис логики предложений и логики предикатов, элементы теории алгоритмов, формальная арифметика (включая теорему Гёделя о неполноте арифметики) Центральное место занимает теория доказательства, излагаемая на основе исчисления естественного вывода. Книга содержит много задач и упражнений.

Формат: DJVU   Размер 4,8 Mb   СКАЧАТЬ

Голдблатт Р. Топосы. Категорный анализ логики

 

 

 

Книга Голдблатта знакомит читателя с элементами категорной логики — нового ответвления математической науки,развившегося на стыке теории категорий, алгебраической геометрии и математической логики. Несмотря на малый свой возраст эта бурно развивающаяся область довольно хорошо отражена в мировой математической литературе, однако на русском языке она практически не представлена. Поэтому следует сказать несколько слов о категорной логике вообще.

В конце 50-х — начале 60-х годов была обнаружена связь между формальными аксиоматическими теориями (или дедуктивными системами) и категориями. Ламбек на некоторых примерах показал, как исчисление или дедуктивную систему можно превратить в категорию, морфизмы которой определяются выводами в исчислении. Отношение равенства между морфизмами задается некоторым отношением эквивалентности на выводах. Это открыло путь для приложений в теории категории методов, разработанных в теории доказательств и, наоборот, сделало возможным использование в теории доказательств категорного языка и категорных идей.

Формат: DJVU   Размер 5,7 Mb   СКАЧАТЬ

Зиновьев А.А. Очерки комплексной логики

 

 

 

В книге известного логика, философа и писателя А.А.Зиновьева изложена разработанная автором логическая теория, названная комплексной логикой. Эта логика специально ориентирована на применение в области методологии науки. С этой целью осуществляется радикальное расширение ее сферы за счет логической экспликации языковых выражений, которые фигурируют в языке опытных наук. Это, в частности, терминология, относящаяся к пространству, времени, изменениям, эмпирическим связям. Книга рассчитана на читателей, интересующихся проблемами современной логики, возможностями ее специальных приложений.

Формат: DJVU   Размер 3,7 Mb   СКАЧАТЬ

Калужнин Л.А. Что такое математическая логика?

 

 

 

Настоящая книга является популярным изложением математической логики, приобретающей все большее значение в связи с развитием автоматизации производственных процессов. В отличие от имеющихся книг по математической логике данная книга не требует для своего понимания знаний, превосходящих школьный курс математики. Книга рассчитана на инженеров и работников, занимающихся вопросами автоматики. Она также будет полезна всем, кто хочет ознакомиться с основами математической логики.

Формат: DJVU   Размер 1,3 Mb   СКАЧАТЬ

Кац М., Улам С. Математика и логика ретроспектива и перспективы

 

 

 

Книга видных американских ученых Марка Каца и Станислава Улама (оба автора хорошо известны советскому читателю по переводу ряда других их книг и статей) была подготовлена для выпускаемой издательством Британской энциклопедии серии обзоров, посвященных состоянию и ближайшим перспективам развития различных наук. Рассчитанная на широкий круг читателей, книга ставит своей целью освещение современного состояния математики и ее специфических черт. Особое место уделяется взаимодействию и взаимозависимости математики и других наук, обогащающих, по мнению авторов, как чистую математику, так и все использующие математические методы направления научной имысли, а также обсуждению возможного будущего математики. Интересная по содержанию и блестящая по форме книга М.Каца и С. Улама бесспорно привлечет внимание читателей самых разных кругов.

Формат: DJVU   Размер 2,7 Mb   СКАЧАТЬ

Колмогоров А.Н. Введение в математическую логику

 

 

 

Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и логики предикатов. Изложение не предполагает специальных знаний и рассчитано на студентов младших курсов.

Эта книга задумана как первоначальный курс математической логики. Она возникла в результате обработки конспектов лекций (читавшихся обоими авторами) семестрового, курса математической логики для студентов первого курса механико-математического факультета Московского университета.

Формат: DJVU   Размер 1 Mb   СКАЧАТЬ

Лавров И. А.,Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов

 

 

 

В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. Сборник может быть использован как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических вузах при изучении кибернетики и информатики. Для математиков — алгебраистов, логиков и кибернетиков.

Формат: DJVU   Размер 2,5 Mb   СКАЧАТЬ

Марков А.А. Элементы математической логики

 

 

 

Книга обладает большой оригинальностью в изложении традиционных начал математической логики и отражает взгляды и установки автора на предмет изложения. Особое внимание уделяется теории логико-математических языков и семантике таких языков.

Для студентов и аспирантов математических специальностей и специалистов, интересующихся основаниями математики.

Формат: DJVU   Размер 1 Mb   СКАЧАТЬ

Меськов В.С. Очерки по логике квантовой механики

 

 

 

Монография посвящена анализу некоторых философских (методологических), логических и метатеоретических проблем квантовой механики дается определение «логики квантовой механики», анализируются основные результаты, полученные в синтаксическом и семантическом направлениях. в построении логических систем квантовой механики, проводится логическая экспликация концепции дополнительности, исследуется проблема полноты квантовомеханических описаний, обсуждаются логические аспекты философских проблем квантовой механики.

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

Формат: DJVU   Размер 1,5 Mb   СКАЧАТЬ

Метакидес Г., Нероуд А. Принципы логики и логическое программирование

 

 

 

Излагаются основные понятия и принципы математической логики. Основное внимание уделяется вопросам применения языка математической логики для представления знаний и формальным методам доказательства теорем с использованием семантических таблиц и резолютивного вывода. На примере языка ПРОЛОГ рассматриваются принципы логического программирования. Подробно анализируется механизм вычислений и методика проектирования логических программ. Изложение отличается методическими достоинствами — книга написана в хорошем стиле, не требует специальных предварительных знаний, содержит большое количество примеров и задач.

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

Формат: DJVU   Размер 3,7 Mb   СКАЧАТЬ

Новиков П.С. Конструктивная математическая логика с точки зрения классической

 

 

 

В книге проводится четкое различие между классическими и конструктивными логическими операциями. С этой целью для одноименных операций используются различные обозначения в классическом и конструктивном случаях. Книга доступна широкому кругу читателей. Для ее чтения не требуется специальной подготовки. В то же время, насыщенность разнообразными техническими деталями делает ее полезной для лиц, занимающихся исследованием математических аспектов конструктивной логики.

Формат: DJVU   Размер 4,9 Mb   СКАЧАТЬ

Ракитов А.И. Курс лекций по логике науки

 

 

 

Предлагаемый читателю курс лекций по логике науки представляет собой попытку систематического изложения основных идей и проблем, связанных с логическим анализом систем научного знания. Так как изложение материала почти на всем протяжении работы дается преимущественно в содержательном, идейном плане, с относительно незначительным привлечением символического аппарата, то книга может быть доступной самым широким читательским кругам: студентам, преподавателям вузов, научным работникам, не обладающим специальной логико-математической подготовкой.

Формат: DJVU   Размер 1,3 Mb   СКАЧАТЬ

Фрейденталь Х. Язык логики

 

 

 

В 1961 г. в Хаарлеме (Нидерланды) вышла небольшая книжка «Exacte logica» («Точная логика»). Автор ее профессор X. Фрейденталь - известный голландский математик с весьма широкими интересами. Развивая традиции отечественной школы интуиционистов, он еще в 30-е годы внес существенный вклад в построение интуиционистской топологии. В последние годы большую популярность завоевала книга Фрейденталя «Lincos» («Lingua cosmica»), описывающая предложенный им «космический язык».

Формат: DJVU   Размер 1 Mb   СКАЧАТЬ

Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем

 

 

 

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

Формат: DJVU   Размер 3,2 Mb   СКАЧАТЬ

Чёрч А. Введение в математическую логику

 

 

 

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

Формат: DJVU   Размер 5,1 Mb   СКАЧАТЬ

Чупахин И.Я., Бродский И.Н. Формальная логика

 

 

 

В основу учебника положен курс логики, читавшийся на философском факультете Ленинградского университета в течение ряда лет. В нем освещаются вопросы, относящиеся к общей и символической логике.

Учебник предназначен для студентов-философов и студентов других гуманитарных факультетов и педагогических вузов.

Формат: DJVU   Размер 3,7 Mb   СКАЧАТЬ

Эдельман С.Л. Математическая логика

 

 

 

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

Формат: DJVU   Размер 1,4 Mb   СКАЧАТЬ

Copyright MyCorp © 2018