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

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

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

Содержание: Исторический курс философии: Происхождение и предмет философии. Философия и мировоззрение. Философия и наука Специфические черты философского знания. Функции философии. Основной вопрос философии. Теоретический курс философии: Понятие бытия и субстанции. Категория материи. Ее атрибуты иформы. Уровни организации живой и неживой материи. Основные формы движения. Пространство и время. Диалектика как учение о развитии. Основные законы диалектики.

Конспект лекций по дискретной математике, подготовленный на математическом факультете Челябинского государственного университета, включает два раздела "Алгебра логики" и "к-значная логика".

This book provides a detailed description of the general principles and strategies for solving chemical synthesis problems of complex organic molecules. It is the only book to deal systematically with the fundamental principles of synthetic problem solving.

В учебнике рассмотрены общие (множества и отношения, алгебра и топология) и специальные (математическая логика, математическая кибернетика, математическая информатика) вопросы дискретной математики. Для студентов высших учебных заведений. Может быть полезен аспирантам, научным работникам и специалистам в области прикладной математики и современных наукоемких информационных технологий. Из предисловия. Данный учебный курс задуман как начальный базовый курс дискретной математики. В нем отражен опыт авторов чтения курса дискретной математики в Московском государственном университете имени М.В. Ломоносова, в Военной академии ракетных войск стратегического назначения имени Петра Великого и в Российском государственном университете нефти и газа имени И. М. Губкина. Учебник отличается от большинства аналогичных тем, что в нем особое внимание уделяется алгебре и топологии, а также различию сильноформальных (кибернетических) и слабоформальных (информационных) систем. Краткое содержание: Часть I. Множества и отношения (Основные понятия теории множеств. Конечные и бесконечные множества. Отношения на множествах. Элементы теории графов). Часть II. Алгебра и топология (Алгебры. Булевы функции. Элементы общей топологии). Часть III. Математическая логика (Логика высказываний. Логика предикатов. Элементы теории доказательств). Часть IV. Математическая кибернетика (Синтаксис языков. Теория алгоритмов. Элементы теории кодирования). Часть V. Математическая информатика (Семантика языков. Информация о точке и математическое моделирование баз данных. Принятие решений. Ультраоператоры и математическое моделирование баз знаний. Дополнения).

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

Книга известного польского математика п логика А. Тарского, представляющая собой популярное введение в математическую логику и методологию дедуктивных наук, заслуживает внимания советского читателя. Вышедшая в 1936 Г, на польском языке, она появилась в 1937 г. в немецком переводе, но была выпущена известным немецким книгоиздательством Шпрингера не в Германии, а в Вене, Правда, зто не помогло издательству; часть издания, которую оно не успело распространить до «аншлюса», так и осталась лежать на его складах... по соображениям расового порядка, В 1941 г. просмотренное и дополненное издание книги вышло на английской языке в Нью-Йорке. С этого издания и выполнен русский перевод.

Новая книга венгерских математиков Д. Бизама и Я. Герцега продолжает серию книг по занимательной математике. Как и предыдущая книга этих авторов "Игра и логика" (М., "Мир", 1975), она посвящена началам математической логики и содержит 175 логических задач. Пользуясь элементарными средствами, авторы в увлекательной форме учат читателя умению последовательно мыслить.

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

Как известно, большинство людей лишь на 8-10 процентов использует ресурсы своего мозга. Гарри Лорейн разработал систему развития ментальных способностей, которая позволяет задействовать остальные 90 процентов. Освоив ее, Вы на все сто включите в работу логику, рационализм, наблюдательность, внимание, концентрацию, память, креативность, воображение... В результате сможете отправить в мусорную корзину свой органайзер - за ненадобностью. Вам не придется делать заметки, чтобы запоминать факты, цифры и имена, Вы с легкостью будете удерживать в памяти списки предстоящих дел, тексты выступлений и даже номера телефонов, научитесь эффективно распоряжаться временем, систематизировать информацию и планировать текущую деятельность. Автор этой оригинальной системы уверен: избежать хаоса в бизнесе, личных отношениях и в любой другой сфере Вам поможет только одно - организованность, и если Вы организуете свой разум, то сумеете привести в порядок свою жизнь - а именно этой цели служит книга, которую Вы держите в руках.

Шановні батьки та педагоги! Перед вами — захоплюючий робочий зошит, що допоможе дітям старшого дошкільного віку розвинути логічне мислення, навчитись аналізувати, порівнювати, узагальнювати, визначати головне, робити логічні висновки. Завдання у книзі розміщено за ступенем зростання складності, тому займатись належить послідовно, не пропускаючи вправ. Допоможіть вашому малюку: поясніть йому завдання, перевірте належність його виконання. Якщо дитина не впоралась із завданням, поясніть його ще раз. Добре, якщо ви зможете запропонувати малюку інші подібні вправи для тренування. До наступного завдання переходьте лише після того, як виконано попереднє. Якщо ви займатиметеся з цим зошитом 20-25 хвилин щодня, у багатьох випадках труднощі з дошкільної підготовки буде усунено. Займатись з книжкою можна як індивідуально, так і з групою дітей. Не забувайте похвалити вашого малюка за старанність. Бажаємо успіхів!

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

Збірка логічних і математичних задач, ігор і головоломок.

Сборник работ зарубежных специалистов, отражающий современное состояние в новом направлении программирования, тесно связанном с математической логикой. Это направление активно развивается как в теоретическом, так и в практическом плане, включая в себя новые языки (Пролог, Логлисп н др.), методы реализации и проекты машинных архитектур. В сборник включен специально написанный обзор литературы по логическому программированию. Среди авторов известные зарубежные специалисты: Б. Домелки, П. Середи(ВНР), А. Колмероэ (Франция), Дж. Робиисои (США), Р.Ковальский (Великобритания). Для математнков-прикладииков, программистов, аспирантов и студентов университетов.

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

Данная книга является первым в России изданием, рассматривающая функциональное программирование в полном объеме, достаточном для понимания новичку и для использования книги в качестве справочного пособия теми, кто уже использует парадигму функционального программирования в своей практике. Изучение прикладных основ показано на примере языка Haskell, на сегодняшний день являющегося самым мощным и развитым инструментом функционального программирования. Издание можно использовать и в качестве учебника по функциональному программированию, и в качестве самостоятельного учебного пособия по смежным дисциплинам, в первую очередь по комбинаторной логике и λисчислению. Также книга будет интересна тем, кто всерьез занимается изучением новых компьютерных технологий, искусственного интеллекта и экспертных систем.