URSS.ru Магазин научной книги
Обложка Мельников Г.П. Азбука математической логики Обложка Мельников Г.П. Азбука математической логики
Id: 255499
369 р.

Азбука математической логики №78. Изд. стереотип.

URSS. 2020. 104 с. ISBN 978-5-9710-7040-5.
Типографская бумага

Аннотация

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


Оглавление
top
ОБЩИЕ ИСХОДНЫЕ ПОНЯТИЯ 6
Характеристики сложных объектов , 6
Дискретные системы и структуры, структурные методы в науке 13
Воздействие, результат, функция 22
ЛОГИЧЕСКИЕ ОТНОШЕНИЯ И ЗАКОНЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ. 30
Основные логические отношения 30
Системы счисления и номер логического отношения . 43
Логическое отношение импликация («если... то») ... 48
Основные «законы» алгебры логики 63
ЛОГИКА И МАТЕМАТИКА 78
Сущность некоторых разделов математики 78
Почему математическую логику называют логикой .... 86
О «произвольности» логических отношений 93

Об авторе
top
Мельников Геннадий Прокопьевич
Российский лингвист, философ, культуролог; создатель системно-типологической концепции языка. Кандидат технических наук, доктор филологических наук, профессор кафедры общего и русского языкознания Университета дружбы народов. Окончил Московский инженерно-физический институт. В 1952–1967 гг. работал в Институте атомной энергии им. И. В. Курчатова. В 1959 г. выступил с докладом «О предельных возможностях машины-переводчика» на Всесоюзном совещании по математической лингвистике. Стал активно участвовать в лингвистических семинарах, конференциях, международных конгрессах. Работал в Педагогическом институте им. В. И. Ленина (1967–1971), в лаборатории вычислительной лингвистики МГУ (1971–1979). С 1979 г. работал на кафедре общего и русского языкознания Университета дружбы народов, пройдя путь от старшего преподавателя до профессора, доктора филологических наук. В область научных интересов Г. П. Мельникова входили физика (он был заслуженным изобретателем Комитета по мирному использованию атомной энергии), математика, логика, теория информации, кибернетика, общее языкознание, семиотика, тюркология, семитология, китаеведение, славяноведение, культурология, история науки и др. Только по лингвистике он опубликовал более 300 работ. Им была создана системная теория языка («системная лингвистика»), включающая в качестве основного компонента системную типологию языков. Он работал над развитием идей системной лингвистики, над уточнением представления об особенностях внутренней формы русского языка в сопоставлении с внутренней формой других языков. Более 40 лет развивал синтезирующее направление в современной науке, которое получило название «когнитология». Он также много выступал с докладами на конференциях и конгрессах по лингвистике, философии, этнографии и антропологии, логике и методологии науки.