Математическая логика и автоматическое доказательство теорем, Чень Ч., Ли Р., 1983.
Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем «искусственного интеллекта». Описываются применения метода к таким, например, актуальным для всякого системного программиста задачам, как автоматический анализ и синтез программ В приложении описаны другие методы и некоторые результаты последних лет, знакомство с которыми необходимо при изучении проблематики автоматического доказательства теорем.
математика
Математическая логика и автоматическое доказательство теорем, Чень Ч., Ли Р., 1983
Скачать и читать Математическая логика и автоматическое доказательство теорем, Чень Ч., Ли Р., 1983Апология математики, Успенский В.А.
Апология математики, Успенский В.А.
Фрагмент из книги:
"Человек отличается от свиньи, в частности, тем, что ему иногда хочется поднять голову и посмотреть на звёзды”. Это изречение принадлежит Виктору Амбарцумяну (в 1961 - 1964 гг. президенту Международного астрономического союза). А почти за двести лет до того на ту же тему высказался Иммануил Кант. Кант поставил звёздное небо, по силе производимого впечатления, на один уровень с пребывающим внутри человека, и прежде всего внутри самого Канта, нравственным законом. Эти высказывания объявляют усеянное звёздами небо частью общечеловеческой духовной культуры и, более того, такой её частью, которая для всякого человека должна быть обязательной. Трудно представить человека, не впечатлявшегося видами неба. (Впрочем, воспоминания переносят меня в осень 1947 года, на лекцию по астрономии для студентов первого курса механико-математического факультета МГУ. Лекцию читает профессор Куликов. Он делает нам назидание. “В прошлом веке профессор Киевского университета Митрофан Хандриков, - говорит профессор Куликов, - на экзамене спросил студента, каков видимый размер Луны во время полнолуния, и получил ответ, что тот не может этого знать, поскольку никогда не видал Луны”.).
Купить бумажную или электронную книгу и скачать и читать Апология математики, Успенский В.А.Фрагмент из книги:
"Человек отличается от свиньи, в частности, тем, что ему иногда хочется поднять голову и посмотреть на звёзды”. Это изречение принадлежит Виктору Амбарцумяну (в 1961 - 1964 гг. президенту Международного астрономического союза). А почти за двести лет до того на ту же тему высказался Иммануил Кант. Кант поставил звёздное небо, по силе производимого впечатления, на один уровень с пребывающим внутри человека, и прежде всего внутри самого Канта, нравственным законом. Эти высказывания объявляют усеянное звёздами небо частью общечеловеческой духовной культуры и, более того, такой её частью, которая для всякого человека должна быть обязательной. Трудно представить человека, не впечатлявшегося видами неба. (Впрочем, воспоминания переносят меня в осень 1947 года, на лекцию по астрономии для студентов первого курса механико-математического факультета МГУ. Лекцию читает профессор Куликов. Он делает нам назидание. “В прошлом веке профессор Киевского университета Митрофан Хандриков, - говорит профессор Куликов, - на экзамене спросил студента, каков видимый размер Луны во время полнолуния, и получил ответ, что тот не может этого знать, поскольку никогда не видал Луны”.).
Теория алгебр Ли, Топология групп Ли, Гандакин С.Г., 1962
Теория алгебр Ли, Топология групп Ли, Гандакин С.Г., 1962.
Настоящий перевод трудов семинара "Софус Ли" содержит систематическое и полное изложение теории алгебр Ли и некоторых вопросов топологии групп Ли. Целый ряд содержащихся здесь фактов можно найти лишь в разрозненных журнальных статьях.
В процессе изложения авторы используют методы и результаты различных разделов современной математики, в частности гомологической алгебры и алгебраической геометрии. Книга будет с интересом прочитана студентами старших курсов математических факультетов, аспирантами и научными работниками, интересующимися теорией алгебр и групп Ли и смежными вопросами.
Скачать и читать Теория алгебр Ли, Топология групп Ли, Гандакин С.Г., 1962Настоящий перевод трудов семинара "Софус Ли" содержит систематическое и полное изложение теории алгебр Ли и некоторых вопросов топологии групп Ли. Целый ряд содержащихся здесь фактов можно найти лишь в разрозненных журнальных статьях.
В процессе изложения авторы используют методы и результаты различных разделов современной математики, в частности гомологической алгебры и алгебраической геометрии. Книга будет с интересом прочитана студентами старших курсов математических факультетов, аспирантами и научными работниками, интересующимися теорией алгебр и групп Ли и смежными вопросами.
Трехмерная топология и геометрия, Тёрстон У., 2001
Трехмерная топология и геометрия, Тёрстон У., 2001.
Уникальная монография выдающегося американского тополога У. Тёрстона содержит детальное изложение его глубоких идей о *геометризации маломерной топологии. Первый том, посвященный геометрии и геометрическим структурам на многообразиях, служит богатейшим источником информации, идей и ...энтузиазма.
Книга предназначена для студентов и аспирантов математических специальностей.
Скачать и читать Трехмерная топология и геометрия, Тёрстон У., 2001Уникальная монография выдающегося американского тополога У. Тёрстона содержит детальное изложение его глубоких идей о *геометризации маломерной топологии. Первый том, посвященный геометрии и геометрическим структурам на многообразиях, служит богатейшим источником информации, идей и ...энтузиазма.
Книга предназначена для студентов и аспирантов математических специальностей.
Математическая биология, том 2, Пространственные модели и их приложения биомедицине, Мюррей Д., 2011
Математическая биология, Том 2, Пространственные модели и их приложения биомедицине, Мюррей Д., 2011.
Настоящая книга представляет собой второй том знаменитого издания Джеймса Мюррея по математической биологии, которое выдержало за рубежом несколько изданий. В ней изложены захватывающие проблемы, возникающие в биомедицинских науках, и обозначен широкий спектр вопросов, эффективное изучение которых возможно при помощи математического моделирования. Во втором томе Мюррей останавливается более подробно на таких вопросах, как моделирование динамики брачных взаимоотношений, рост раковых опухолей, температуро-чувствительное формирование пола, территориальность волков, взаимодействие волков с оленями и выживание и т.д., и вводит новые приложения. В книге также рассматриваются базовые концепции моделирования, даются справочный материал и ссылки на дополнительную литературу. Большое внимание уделено обсуждению связей между моделями и экспериментальными данными.
Данная книга вкупе с первым томом вводит в область теоретической и математической биологии и представляет собой прекрасную основу для междисциплинарных исследований в области биологических и медицинских наук.
Скачать и читать Математическая биология, том 2, Пространственные модели и их приложения биомедицине, Мюррей Д., 2011Настоящая книга представляет собой второй том знаменитого издания Джеймса Мюррея по математической биологии, которое выдержало за рубежом несколько изданий. В ней изложены захватывающие проблемы, возникающие в биомедицинских науках, и обозначен широкий спектр вопросов, эффективное изучение которых возможно при помощи математического моделирования. Во втором томе Мюррей останавливается более подробно на таких вопросах, как моделирование динамики брачных взаимоотношений, рост раковых опухолей, температуро-чувствительное формирование пола, территориальность волков, взаимодействие волков с оленями и выживание и т.д., и вводит новые приложения. В книге также рассматриваются базовые концепции моделирования, даются справочный материал и ссылки на дополнительную литературу. Большое внимание уделено обсуждению связей между моделями и экспериментальными данными.
Данная книга вкупе с первым томом вводит в область теоретической и математической биологии и представляет собой прекрасную основу для междисциплинарных исследований в области биологических и медицинских наук.
Математическая биология, том 1, Введение, Мюррей Д., 2009
Математическая биология, Том 1, Введение, Мюррей Д., 2009.
Настоящая книга представляет собой первый том знаменитого издания Джеймса Мюррея по математической биологии и служит введением в предмет. Здесь используется простой математический аппарат, в основном обыкновенные дифференциальные уравнения, что делает книгу доступной студентам, обучающимся на старших курсах университетов и в аспирантуре. На некоторых вопросах — такие как моделирование динамики брачных взаимоотношений и динамика распространения ВИЧ — Дж. Мюррей останавливается более подробно и вводит новые приложения. Также здесь рассматриваются базовые концепции моделирования, дается справочный материал и ссылки на дополнительную литературу. Большое внимание уделяется обсуждению связей между моделями и экспериментальными данными.
Являясь обширным практическим руководством по математической биологии, эта книга ярко демонстрирует читателю, как в области биологических и медицинских наук рождаются новые задачи для математиков и какой вклад могут внести математики в развитие этих областей исследования.
Скачать и читать Математическая биология, том 1, Введение, Мюррей Д., 2009Настоящая книга представляет собой первый том знаменитого издания Джеймса Мюррея по математической биологии и служит введением в предмет. Здесь используется простой математический аппарат, в основном обыкновенные дифференциальные уравнения, что делает книгу доступной студентам, обучающимся на старших курсах университетов и в аспирантуре. На некоторых вопросах — такие как моделирование динамики брачных взаимоотношений и динамика распространения ВИЧ — Дж. Мюррей останавливается более подробно и вводит новые приложения. Также здесь рассматриваются базовые концепции моделирования, дается справочный материал и ссылки на дополнительную литературу. Большое внимание уделяется обсуждению связей между моделями и экспериментальными данными.
Являясь обширным практическим руководством по математической биологии, эта книга ярко демонстрирует читателю, как в области биологических и медицинских наук рождаются новые задачи для математиков и какой вклад могут внести математики в развитие этих областей исследования.
Математика в логических упражнениях, Гайштут А.Г., 1985
Математика в логических упражнениях, Гайштут А.Г., 1985.
В книге помещены занимательные математические упражнении творческого характера, связанные с программным материалом 4—10 классов и направленные на формирование у учащихся навыков самостоятельной работы и таких приемов умственной деятельности, как анализ, синтез, аналогия, обобщение, конкретизация и др.
Все задания снабжены иллюстрациями, способствующими углубленному пониманию условии каждой задачи и помогающими нахождению верных решений.
Предназначается дли учащихся 4—10 классов.
Скачать и читать Математика в логических упражнениях, Гайштут А.Г., 1985В книге помещены занимательные математические упражнении творческого характера, связанные с программным материалом 4—10 классов и направленные на формирование у учащихся навыков самостоятельной работы и таких приемов умственной деятельности, как анализ, синтез, аналогия, обобщение, конкретизация и др.
Все задания снабжены иллюстрациями, способствующими углубленному пониманию условии каждой задачи и помогающими нахождению верных решений.
Предназначается дли учащихся 4—10 классов.
Логика естественных рассуждений, Кулик Б.А., 2001
Логика естественных рассуждений, Кулик Б.А., 2001.
В доступной форме излагается оригинальная математически обоснованная методика моделирования и анализа рассуждений на естественном языке. Установлена возможность объединения в логической модели не только методов логического вывода, но также методов проверки совместимости исходных посылок, формирования гипотез и получения индуктивных умозаключений.
В основу книги положен авторский курс лекций по логике естественных рассуждений, предназначенный для студентов гуманитарных и технических специальностей.
Для широкого круга читателей, интересующихся логикой, преподавателей и специалистов.
Скачать и читать Логика естественных рассуждений, Кулик Б.А., 2001В доступной форме излагается оригинальная математически обоснованная методика моделирования и анализа рассуждений на естественном языке. Установлена возможность объединения в логической модели не только методов логического вывода, но также методов проверки совместимости исходных посылок, формирования гипотез и получения индуктивных умозаключений.
В основу книги положен авторский курс лекций по логике естественных рассуждений, предназначенный для студентов гуманитарных и технических специальностей.
Для широкого круга читателей, интересующихся логикой, преподавателей и специалистов.
Другие статьи...
- Математическая логика, Колмогоров А.Н., Драгалин А.Г., 2006
- Математическая логика, Гудстейн Р.Л., 1961
- Лекции по математической логике и теории алгоритмов, часть 3, Вычислимые функции, Верещагин Н.К., Шонь А., 1999
- Лекции по математической логике и теории алгоритмов, часть 2, Языки и исчисления, Верещагин Н.К., Шонь А., 2000
- Лекции по математической логике и теории алгоритмов, часть 1, Начала теории множеств, Верещагин Н.К., Шонь А., 1999
- Вводный курс математической логики, Успенский В.А., Верещагин Н.К., Плиско В.Е., 2004
- Введение в математическую экологию, Петросян Л.А., Захаров В.В., 1986
- Лекции по математике, том 13, Топология, Босс В., 2009
Показана страница 464 из 1434