Математическая логика и теория алгоритмов
- Автор(ы)
- Игошин В.И
- Год
- 2008
- Издательство
- Академия
- Издание
- 2-е изд., стер.
- ISBN
- 978-5-7695-4593-1
- Выходные данные
- М. : Издательский центр «Академия», 2008. — 448 с.
- Теги
- Математика
Аннотация
Логика образует такой пласт общечеловеческой культуры, без освоения которого в настоящее время не может состояться ни одна мыслящая личность. Основы логической культуры закладываются в школе и в первую очередь на уроках математики, ибо, как точно подметил еще Л. Н.Толстой, «математика имеет задачей не обучение исчислению, но обучение приемам человеческой мысли при исчислении»1. Математическая логика — вершина развития логики, достигнутая ею в XX в. Органично соединив в себе традиционную логику, восходящую к Аристотелю, и методы современной математики, она получила столь глубокие и поразительные результаты, не принимать в расчет которые стало просто невозможно не только тем, кто изучает, преподает и творит математику, но и всем тем, для кого методы рассуждений, обоснований и доказательств являются главными методами деятельности. Результаты, полученные с помощью математической логики, легли в основу проектирования и создания электронно-вычислительных машин (компьютеров) и программного обеспечения к ним, нашли широчайшее применение в областях информатики и систем искусственного интеллекта. Настоящая книга предназначена для тех, кто изучает математическую логику в высших учебных заведениях. Автор знакомит будущих специалистов с основными понятиями и методами математической логики, показывает взаимосвязи математической логики с математической наукой, со школьным курсом математики, с современными ЭВМ. В гл. I дано подробное изложение алгебры (логики) высказываний, так как важно, чтобы именно на начальном этапе знакомства с предметом у студента сформировалась требуемая система понятий, составляющих фундамент математической логики. В гл. II рассматриваются, возникшие из алгебры логики булевы функции, которые оказались действенным математическим инструментом Для конструирования функциональных и релейно-контактных (переключательных) схем — элементов современных ЭВМ. В гл. III происходит знакомство с иным подходом к алгебре высказыва- Ний: она строится как аксиоматическая теор
Как сослаться (ГОСТ Р 7.0.5-2008)
- В списке литературы
- Игошин В. И. Математическая логика и теория алгоритмов. — 2-е изд., стер. — М. : Издательский центр «Академия», 2008. — 448 с.
- В тексте
- (Игошин В. И. Математическая логика и теория алгоритмов. 2-е изд., стер. М. : Издательский центр «Академия», 2008. 448 с.)