Автор: Гжегорчик А.
Издательство: Наука
Год издания: 1979
Количество страниц: 112
Язык: русский
Формат: DJVU
Математическая логика - своеобразная область науки, тесно связанная как с математикой, так и с философией, - выдвинулась на первый план в последние десятилетия, когда возникла потребность в автоматизации процессов, выполнявшихся ранее лишь человеческим мозгом. Теория электронных цифровых машин и других «умных» автоматов, изучение структуры языка, глубокие философские вопросы оснований математики и других наук - вот сфера применений математической логики. Книга Анджея Гжегорчика предназначена для того, чтобы удовлетворить возрастающий интерес и этой науке людей, не являющихся специалистами ни в математике, ни в логике. От читателя не требуется ни знания математических фактов, ни привычки к чтению математической литературы. Автор ведет изложение в разговорном стиле, логические символы заменяет словами. Многочисленные примеры облегчают усвоение материала.
Автор: Гольдратт Элия М.
Издательство: Попурри
Год издания: 2009
Количество страниц: 131
Язык: русский
Формат: DOC
Эли Голдратт создал и развил знаменитую теорию ограничений, активно использующуюся как организациями, так и отдельными людьми. В своей последней книге, Выбор, он предлагает нам новейшие методы активизации мышления, и показывает, насколько результативно они проявляются на практике. Книга построена в форме диалога автора с дочерью, где приводятся конкретные примеры и ситуации, отражающие взаимосвязь эмоций, интуиции и логики, а также объяснения того, как это влияет на нашу способность ясно мыслить и принимать решения, касающиеся личных и профессиональных проблем.
Автор: Конникова Мария
Издательство: Азбука-Бизнес, Азбука-Аттикус
Год издания: 2014
isbn: 978-5-389-07813-0, 978-5-389-04695-5
Количество страниц: 380
Язык: русский
Формат: DOC
Можно ли научиться мыслить так же четко и рационально, как Шерлок Холмс, или его безупречная логика и кристальная ясность ума – лишь выдумка писателя? Да, убеждена Мария Конникова, известный американский психолог и журналист. Рассматривая эпизоды из книг Конан Дойла в свете современной нейробиологии и психологии, она шаг за шагом, непринужденно и увлекательно раскрывает ментальные стратегии, которые приводят к четкому мышлению и глубокому пониманию явлений и фактов. В книге описано, как, по примеру великого сыщика, при желании и определенной тренировке мы можем обострить свое восприятие, развить логику и творческий потенциал.
Автор: Бочаров В.А.
Издательство: Изд-во Московского ун-та
Год издания: 1984
Количество страниц: 135
Язык: русский
Формат: PDF (scan)
В книге рассматривается широкий круг вопросов, связанных с исследованием теорий дедукции того типа, который принято называть силлогистиками. Особое внимание уделяется теории рассуждений Аристотеля. Выявляется глубокое отличие этой теории от ее традиционных описаний в элементарных учебниках логики. Дается анализ неаристотелевских силлогистических теорий. Для преподавателей, аспирантов и студентов, интересующихся проблемами логики и методологии науки.
Автор: Гладкий А.В.
Издательство: РГГУ
Год издания: 1998
isbn: 5-7281-0025-2
Количество страниц: 479
Язык: русский
Формат: PDF (scan)
Книга представляет собой учебное пособие по математической логике, особенностями которого являются соединение строгости и доступности изложения, достигаемое благодаря отчетливому выделению основных идей и тщательной проработке деталей, и повышенное внимание к гуманитарным аспектам предмета - в частности, к его связям с естественным языком и лингвистикой. Излагаются семантика и синтаксис логики предложений и логики предикатов, элементы теории алгоритмов, формальная арифметика (включая теорему Геделя о неполноте арифметики). Центральное место занимает теория доказательства, излагаемая на основе исчисления естественного вывода. В книге дано новое изложение аристотелевской силлогистике, с учетом достижений современной лингвистической семантики. Книга содержит много задач и упражнений. Для студентов математических и физико-математических факультетов, факультетов и отделений информатики, теоретической и прикладной лингвистики, искусственного интеллекта. Книга в форматах DJVU и PDF.
Автор: Зиновьев А.А.
Издательство: Наука
Год издания: 1972
Количество страниц: 193
Язык: русский
Формат: DJVU
В настоящей книге под логической физикой понимается раздел логики, в котором исследуется терминология, относящаяся к пространству, времени, движению, причинности и т.д. В отличие от физики и философии, в которых формулируются совокупности утверждений о пространстве, времени и движении, сфера логической физики ограничивается исключительно логическими свойствами этой терминологии и содержащих ее утверждений. Автор рассматривает термины, обозначающие пространственный и временной порядок предметов, а также понятия индивида, структуры, эмпирической связи, движения, причинности, возможности, необходимости, вероятности, закона и т.д. При этом анализируются известные парадоксы движения и эмпирических связей, устанавливается различие логических следствий из определений терминов и физических допущений, предлагаются логические исчисления, дающие обоснование некоторым идеям современной физики и философии.
Автор: О.А. Узорова, Е.А. Нефёдова
Издательство: Астрель
Год издания: 2012
isbn: 978-5-17-053148-6
Количество страниц: 18
Язык: русский
Формат: PDF
Это пособие содержит 3000 логических примеров по математике для 1-2 классов по темам "Сложение и вычитание в пределах 10", "Сложение и вычитание в пределах 20", "Сложение и вычитание в пределах 100", "Сложение, вычитание, умножение, деление со скобками". Систематическое выполнение этих заданий развивает логическое и математическое мышление, память и внимание. По усмотрению учителя примеры можно использовать как для олимпиадных работ и заданий повышенной сложности, так и для повторения и закрепления пройденной темы. Для лучшего усвоения материала рекомендуется решать по десять примеров в день. Для проверки знаний учащихся и самопроверки даны ответы ко всем заданиям.
Автор: Мэримонт Лесли
Издательство: Панорама
Год издания: 1999
isbn: 5-7024-0869-1
Количество страниц: 80
Язык: русский
Формат: DOC
Дебора Фарроу и Барт Палмер знают друг друга со школьных лет, однако давнее знакомство не столько сблизило, сколько разъединило их. И у каждого были на то причины. Судьба свела их вновь в весьма сложной, почти детективной ситуации, поставив молодых людей перед выбором. Тут-то и оказалось, что самый короткий путь к истине проходит через… сердце. У него своя память, своя логика, свои аргументы. Прислушаться к ним — опасно, оставить без внимания — лишиться возможности обрести наконец счастье…
Автор: Драгалин А.Г.
Издательство: Едиториал УРСС
Год издания: 2005
isbn: 5-354-00388-1, 5-354-00387-3
Количество страниц: 543
Язык: русский
Формат: DJVU
В настоящее издание включены труды А. Г. Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А.Г.Драгалина «Математический интуиционизм. Введение в теорию доказательств» явилась первым современным изложением теории доказательств и содержит фундаментальные теоретико-доказательственные и теоретико-модельные результаты для интуиционистской логики. Статьи А. Г. Драгалина, избранные для публикации в этом томе, снабжены комментариями профессора Стэнфордского университета Г. Е. Минца.В издание вошли также воспоминания коллег, учеников и друзей А. Г. Драгалина — С. Н. Артемова, Э. Б. Баялинова, А. С. Бойцова, Б. А. Кушнера, Г. Е. Минца, Е. Ю. Ногиной, А.Трулстра, В. Б. Шехтмана. Аналитический обзор основных результатов А. Г. Драгалина представлен в предисловии Н. Н. Непейводы. Книга рассчитана на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.
Автор: Жоль К.К
Издательство: Восток-Запад, АСТ
Год издания: 2006
isbn: 5-17-037286-8, 5-478-00313-1
Количество страниц: 351
Язык: русский
Формат: PDF
Чем занимается логика? Какова ее история и кто ее творцы? Что такое математическая логика? В чем заключается практическая ценность логической науки? Как научиться пользоваться логическим языком?На эти и другие вопросы в увлекательной популярной форме отвечает предлагаемый учебник, вводящий читателя в мир драматических научных исканий, объясняющий связь логики с гуманитарными, естественными, техническими и математическими науками, помогающий понять значение логики для программного обеспечения современных компьютеров, вооружающий элементарными основами логической грамотности.
ПОСТУПЛЕНИЯ
РУБРИКАТОР
Подробнее и с комментариями (0)
