Формальный вывод и логические исчисления

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

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

В книге предложена логико-когнитивная формализованная теория аргументации для моделирования трех видов аргументации - обоснования, убеждения и практической аргументации. Формальная часть теории проиллюстрирована примерами "кухонного" спора Н.Хрущева с Р.Никсоном и спора Протагора с Эватлом. Книга адресована логикам, философам, специалистам в области речевой коммуникации и может служить учебн...

Альберт Эйнштейн писал: "Как так получилось, что математика, продукт человеческой мысли, независимый от опыта, так прекрасно соотносится с объектами физической реальности?" Наука предлагает абстрактную математическую модель, а спустя какое-то время (иногда десятилетия) выясняется, что эта модель существует в реальности! Так кто же придумал математику — мы сами или Вселенная? Может быть, математика...

How Not to Be Wrong

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

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

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

Why is it that incredibly unlikely phenomena actually happen quite regularly and why should we, in fact, expect such things to happen? Here, in this highly original book - aimed squarely at anyone with an interest in coincidences, probability or gambling - eminent statistician David Hand answers this question by weaving together various strands of probability into a unified explanation, which he c...

Атья - известный тополог и алгебраист, лауреат филдсовской премии - знаком читателю по русскому переводу его монографии "Лекции по К-теории" ("Мир", 1967). "Введение в коммутативную алгебру", написанное им совместно с И.Макдональдом, также основано на курсе лекций. Эта книга отличается исключительно удачным подбором материала, изложенного современно, лаконично и с предельной ясностью. Разобрав все...