Уважаемые дамы и господа !! Для того, чтобы без "глюков" скачать файлы электронных публикаций, нажмите на подчеркнутую ссылку с файлом ПРАВОЙ кнопкой мыши, выберите команду "Save target as ..." ("Сохранить объект как ...") и сохраните файл электронной публикации на локальный компьютер. Электронные публикации обычно представлены в форматах Adobe PDF и DJVU.
Глава первая. Логика высказываний
§ 1. Элементы логики высказываний
§ 2. Логические операции
§ 3. Булевы функции
§ 4. Нормальные формы. Алгебра Буля
§ 5. Применения алгебры логики в теории релейноконтактных схем и в теории автоматов
Глава третья. Логика предикатов
§ 1. Предикаты
§ 2. Применение операций логики высказываний к предикатам
§ 3. Кванторы
§ 4. Преобразования формул логики предикатов. Предваренная нормальная форма
§ 5. Суждения и силлогизмы
§ 6. Применение выражений логики предикатов для описания некоторых отношений
Краткая аннотация книги
Настоящая книга является популярным изложением математической логики, приобретающей все большее значение в связи с развитием автоматизации производственных процессов. В отличие от имеющихся книг по математической логике данная книга не требует для своего понимания знаний, превосходящих школьный курс математики. Книга рассчитана на инженеров и работников, занимающихся вопросами автоматики. Она также будет полезна всем, кто хочет ознакомиться с основами математической логики.
Эта книга популярно излагает основы математической логики. Необходимость такой книги вызвана тем, что в настоящее время все большее значение приобретает автоматизация производственных процессов. Математическая логика является теоретической основой кибернетики, а эта последняя в свою очередь применяется для решения проблем автоматизации.
Несмотря на важность математической логики, в нашей стране почти нет книг, излагающих основы этой науки. Имеющиеся у нас книги по математической логике рассчитаны на читателя, достаточно математически подготовленного. Между тем необходимо создать такую книгу, которая давала бы представление о математической логике и в то же время не требовала бы для своего понимания большего, чем школьный курс математики. Данная книга, по-моему, решает эту задачу.
Конечно, в рамках данной книги невозможно исчерпывающе ответить на вопрос: что такое математическая логика? Но мне кажется, что, прочтя данную книгу, читатель сможет составить себе некоторое представление о том, чем занимается эта наука, и о проблемах, возникающих в ней.
Книга состоит из трех глав. В главе I строится логика высказываний как теория булевых функций, т. е. функций, аргументы которых принимают два значения - "истинно" и "ложно", и которые сами принимают эти же два значения. В этой главе показано также применение логики высказываний в теории автоматов и в теории ре-лейно-контактных- схем. В главе II рассматриваются тождественно истинные формулы логики высказываний. В главе III излагается логика предикатов, являющаяся более глубокой областью логики. Естественно, что подробное рассмотрение логики предикатов в рамках небольшой популярной книги невозможно; поэтому основное внимание уделено операциям логики предикатов (в частности, кванторам), а также применению логики предикатов в силлогистике Аристотеля и для формализации математических теорий.
В заключение приведен очерк развития исследований по основаниям математики. Разумеется, он не претендует на полноту, но, по-видимому, представляет интерес не . только для впервые знакомящихся с математической логикой, но и для тех, кто владеет основами этой науки.
В конце книги читатель найдет список литературы, которая позволит ему глубже ознакомиться с современными достижениями в области математической логики. Большинство из указанных в этом списке книг и статей достаточно трудны для неподготовленного читателя и потребуют от него упорной работы.
В настоящее время мы являемся свидетелями небывалого роста науки. На наших глазах формируются новые области знания, а уже существующие научные дисциплины распространяют свое влияние и находят себе применение при решении проблем, далеких от тех задач, из которых они возникли. Еще очень недавно многие мыслители выражали опасение, что развитие науки идет по пути все большей и большей специализации, вследствие чего возникает опасность все большего и большего разобщения характерных для разных наук принципов и метЪ-дов научных исследований. Однако за последние два десятилетия мы явно наблюдаем также и противоположную тенденцию: все больший интерес привлекают те направления, которые вскрывают общее в науках, на первый взгляд далеких друг от друга, служа тем самым делу их сближения. Дальнейшее развитие этой тенденции сулит в недалеком будущем новые небывалые успехи как в области чистой, так ив области прикладной науки. Особое место в этой связи играет новая область знания -- кибернетика, к которой примыкает ряд современных разделов математики: теория информации, теория игр, исследование операций, математическая статистика, математическая, логика и др.
Идеи кибернетики - науки о преобразовании информации для целей управления сложными системами - приобретают сейчас исключительное значение по двум причинам1). Во-первых, принципы кибернетики применимы в одинаковой мере к самым различным разделам науки-и техники: к биологии, математике, медицине, лингвистике, химии, педагогике, экономике, юриспруденции, теории автоматизации, телеуправления и т. д. В этом смысле кибернетика лежит в основе тенденций синтеза научных знаний. Во-вторых, созданные и создаваемые на базе радиоэлектронной техники кибернетические машины являются мощным инструментом, впервые в развитии человечества позволяющим с помощью технических приспособлений осуществлять процессы, считавшиеся до сих пор уделом исключительно умственной деятельности человека.
XIX в. и первая половина XX в. знаменуются широким внедрением сперва паровых, а затем электрических Машин в процесс производства материальных благ для человеческого общества. Это явление зачастую называют технической революцией: машины, создаваемые на базе использования физических сил природы, во много раз приумножили физические силы человека и тем самым во много раз увеличили производительность труда.
Всем внимательно наблюдающим сегодняшнее развитие науки и техники вполне ясно, что во второй половине XX в. мы находимся на начальном этапе новой, второй технической революции. Ее результатом будет усиление умственных способностей человека на базе кибернетической техники. Уже сейчас ясно, что значение этой второй научно-технической революции для развития человеческого общества будет еще больше, чем первой.
Уже сейчас мы наблюдаем возрастающий интерес к теоретическим основам кибернетики среди представителей самых различных отраслей человеческой деятельности и знания. Нужно всячески приветствовать этот интерес и стремиться познакомить широкие круги советского общества с теми пока малоизвестными разделами науки, которые здесь особенно важны. К ним не в последнюю очередь относится математическая логика - тема предлагаемой книги.
Что такое математическая логика? Как и из каких задач она возникла? Каких она достигла результатов? Каково современное состояние этой науки? Каковы дальнейшие перспективы ее развития? В нашей небольшой книге мы постараемся частично ответить на эти вопросы. Сделать это в популярной форме в настоящее время сравнительно трудно. Дело в том, что до самого последнего времени математическая логика была уделом очень узкого круга специалистов-математиков и развивалась для целей исследования оснований математики; никакого опыта в популярном изложении основ этой науки пока нет. С другой стороны, объем достигнутых результатов, идей и методов здесь довольно велик и требует для своего правильного понимания серьезной математической подготовки. Поэтому то немногое, что будет здесь сказано о математической логике, принадлежит к самым элементарным ее разделам и относится ко всей этой науке приблизительно так, как элементарная школьная математика к разделам высшей математики. Но нам кажется, что знание и правильное понимание и этих элементарных разделов достаточно важно и полезно.
Вы можете использовать скачанные с веб-сайта книги и другие материалы только для личного ознакомления. Авторское право авторов книг и любых электронных приложений к ним (в том числе фото, видео, рукописи, архивы и прочее) не подлежит патентованию и подобным "искусственным" дополнительным мерам защиты авторского права - не патентуют рукописи, фотографии, видеоматериалы, формулы, графики, сводные таблицы, тексты монографий, черновики и оригинальные издания вне зависимости от того, находятся ли они в частных или государственных архивах любой страны. Вне зависимости от того, есть ли у книги или рукописи и автора какие-либо коды или нет, подписаны они или нет, известен автор или нет, является он(а) гражданином Украины или иностранцем - запрещено явным образом присваивать чужое авторское право и ставить чужие ФИО в чужих работах и трудах (в случае неуказанного, неустановленного или сомнительного авторства наиболее предпочтительно использовать анонимность - это корректно, этично и непротивозаконно, так как в этом случае истинные владельцы будут поданы в розыск и объективно установленны в своих правах независимой комиссией).
Сегодня электронный вариант публикации приравнен к печатной бумажной форме распространения информации (требования аналогичны). Наиболее предпочтительными являются международные форматы публикаций PDF и DJVU (они лучше всего защищены от сторонних модификаций - изменения в них могут внести только профессионалы), допускаются и другие общепринятые и широко распространенные форматы электронного представления авторской или смежной информации. Помните, что один человек сам по себе ничего не делает и не решает - у любого автора любого издания есть коллеги, единомышленники, соратники, кураторы, преподаватели, наставники, идейные, политические и научные руководители и вдохновители, предшественники и приемники, завистники и плагиаторы, желающие незаконно "упасть на хвост и поехать", "присоседиться к работе" и "присоединиться". Чем серьезнее ученый и чем более масштабные объективные и фундаментальные работы он(а) реально ведет, тем большее количество мошенников и аферистов желает незаконно "находиться" и "быть рядом" с таким человеком, его деньгами, премиями, подарками и другими объективными поощрениями. Поэтому все подобные аферисты и мошенники, как и их голословные заявления, подлежат строгой проверке на практике как гласными, так и негласными методами государственного, общественного и политического независимого контроля (в том числе судебного и силового).
Вам разрешается использовать электронные публикации и иные материалы только для личного ознакомления. Никаких дополнительных прав и свобод (в том числе авторских и коммерческих прав, в том числе права на коммерческое распространение) получение и обладание электронной и иной публикации и материалов Вам не предоставляет. Вам не дает никаких прав, в т.ч. авторских и смежных прав, личное знакомство с автором и правообладателем, совместное проживание, учеба или работа, семейный и иной статус, совместное хобби и увлечения, посещение одних и тех же мероприятий, встречи, конфликты и даже отсутствие таковых. Вы не имеете право продавать электронные публикации и иные авторские материалы, отчуждать их от владельца и извлекать материальную выгоду от владения электронной и иной формой представления авторской информации. Отчуждение авторского научного и творческого права запрещено вне зависимости от срока давности издания, способа и места его хранения, разрекламированности, известности или неизвестности и даже анонимности автора и соавтора, гражданства, здоровья, болезни и любого другого объективного статуса реального правообладателя. Запрещены фото- и видеомонтажи, врезки и изъятия, компиляция из сторонних источников и другие формы заведомого мошенничества. Запрещено иностранцам без признанной в Украине и документально подтвержденной профессии, без легитимных виз и специальных персонифицированных межгосударственных соглашений занимать рабочие места граждан Украины на территории Украины и во всех предприятиях, которые являются собственностью Украины и ее граждан вне зависимости от места регистарции и дислокации этих предприятий. Запрещено работать без рабочих виз на территории Украины гражданам и подданым стран, с которыми у Украины установлен визовый режим.
Авторское право (особенно научное и творческое) никогда не патентуется, не отчуждается ни при каких обстоятельствах, не продается и не покупается и является неотъемлимым от его создателя при любых обстоятельствах - патентуются только уникальные инженерные и программные разработки, авторские алгоритмы, изобретения и подобные материалы, содержащие более 60% объективно признанных независимой государственной экспертной комиссией авторских инноваций. Незаконным является присвоение себе чужих архивов, черновиков, заметок, аудио, фото и видеоматериалов (даже если вы не знаете их автора или же непосредственно знакомы с создателем и правообладателем, это ничего не решает). Научное и творческое авторское право не отчуждается от автора и создателя и никогда не делегируется третьим лицам (особенно без профессии и неконтрафактных документов) - оно является наиболее строгим авторским правом, неотделимым от своего создателя, и не подлежит передаче, купле и продаже ни при каких обстоятельствах. Оно только может быть передано в возмездное или безвозмездное пользование БЕЗ ПРАВА НА ОТЧУЖДЕНИЕ. Главной особенностью научного и творческого авторского права является его обязательная частичная передача в безвозмездное пользование широким слоям заинтересованного населения - на этом сайте все научные книги бесплаты и свободны для скачивания без паролей, кодов и ограничений (я как владелец этого сайта и интернет-хостинг-провайдеры не несем ответственность за деятельность третьих лиц, возможные сбои и технические нарушения интернет-связи при пользовании сайтами по вине третьих лиц). Никаких искусственных препятствий, ограничений скорости, других "негативов" и препятствий мы не устанавливаем.
Государство Украина имеет достаточную базу для обеспечения научных работ и научных исследований по всем законным направлениям научной деятельности. C 2010 г. в Украине любая наука и научные исследования являются объектами строгой государственной монополии и требуют наличия не только документально признанной в Украине профессии, но и высшего государственного образования, официально признанного в Украине.
найти на этой странице (программа отметит желтым цветом) 
список книг по высшей математике с сортировкой по алфавиту. 