Выдержка из работы:
Некоторые тезисы из работы по теме Формальные языки и их роль в математической логике
«Математическая логика и теория алгоритмов»
Формальные языки составляют фундамент современной математической логики и играют ключевую роль в развитии теоретической информатики, искусственного интеллекта, криптографии и других областей науки и техники. Их применение позволяет строго описывать математические рассуждения, формализовать доказательства, автоматизировать проверку корректности алгоритмов и программ. В эпоху цифровизации и роста сложности вычислительных систем необходимость в точных и однозначных способах представления знаний становится особенно острой. Формальные языки дают возможность устранить неоднозначность естественных языков, обеспечить автоматическую обработку логических структур и создать надёжные системы верификации. Это делает тему актуальной как с теоретической, так и с практической точки зрения.
*****************************************************.
РАЗДЕЛ 1 ТЕОРЕТИЧЕСКАЯ ЧАСТЬ
1.1. Понятие и основные свойства формальных языков
Формальные языки представляют собой фундаментальное понятие в математической логике и теоретической информатике. Их появление и развитие тесно связаны с попытками математиков строго описать синтаксические структуры, используемые в математике и логике, а также с необходимостью формализовать рассуждения и доказательства.
Формальный язык — это строго определённое множество строк (последовательностей символов), построенных из конечного набора символов, называемого алфавитом. В математической нотации алфавит обозначается как ?, а язык L — как подмножество множества всех возможных строк над этим алфавитом: L???, где ?? — множество всех строк конечной длины, включая пустую строку ?. Ключевая особенность формальных языков — их полная формализация: правила построения строк (слов) языка задаются явно и однозначно, без какой либо опоры на семантику или интуитивное понимание. Это отличает их от естественных языков, где правила часто неоднозначны и подвержены изменениям [4].
Исторически идея формализации языков восходит к работам Готтлоба Фреге и Бертрана Рассела, которые стремились создать строгий логический язык для математики. Фреге в своей работе Begriffsschrift (1879) предложил символическую систему для логических рассуждений, что стало одним из первых шагов к формальным языкам. Рассел и Альфред Уайтхед в Principia Mathematica (1910–1913) развили эти идеи, пытаясь свести математику к логике.
1. Александров, Д. Н. Математическая логика и теория алгоритмов : учеб. пособие / Д. Н. Александров. — Москва : Флинта, 2020. — 248 с. — ISBN 978-5-9765-4321-7.
2. Белоусов, А. И. Дискретная математика для программистов : учебник / А. И. Белоусов, С. Б. Ткачев. — 4 е изд., испр. и доп. — Москва : МГТУ им. Н. Э. Баумана, 2018. — 744 с. — ISBN 978-5-7038-4862-3.
3. Верещагин, Н. К. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления : учеб. пособие для вузов / Н. К. Верещагин, А. Шень. — 6 е изд. — Москва : МЦНМО, 2017. — 240 с. — ISBN 978-5-4439-1136-9.
4. Гаврилов, Г. П. Задачи и упражнения по дискретной математике : учеб. пособие / Г. П. Гаврилов, А. А. Сапоженко. — 3 е изд., доп. — Москва : Физматлит, 2009. — 416 с. — ISBN 978-5-9221-0939-8.
5. Глухов, М. М. Дискретная математика : учебник для вузов / М. М. Глухов, В. П. Шилов. — Санкт Петербург : Лань, 2017. — 480 с. — ISBN 978-5-8114-2352-4.
6. Горбатов, В. А. Фундаментальные основы дискретной математики. Информационная математика : учебник / В. А. Горбатов. — Москва : Наука, Физматлит, 2000. — 544 с. — ISBN 5-02-015238-5.