Математична логіка в мові російської та англійської мови
Введення
Мовознавство, або лінгвістика, - це наука про мову, його суспільній природі і функціях, його внутрішній структурі, про закономірності його функціонування та історичного розвитку та класифікації конкретних мов. Лінгвістика є частиною семіотики як науки про знаки. p align="justify"> Термін лінгвістика походить від латинського слова lingua, що означає В«моваВ». Лінгвістика вивчає не тільки існуючі (існували чи можливі в майбутньому) мови, а й людську мову взагалі. У широкому сенсі слова лінгвістика підрозділяється на наукову (тобто передбачає побудову лінгвістичних теорій) і практичну. Найчастіше під лінгвістикою мається на увазі саме наукова лінгвістика. p align="justify"> Теоретична лінгвістика досліджує мовні закони і формулює їх як теорії. Вона буває дескриптивної (описує реальну мова) і нормативної (що вказує, як В«требаВ» говорити і писати). p align="justify"> Мета роботи - розглянути дослідження тексту мови
Завдання роботи - дослідження і розпізнавання окремих мовних одиниць.
1. Методи математичної логіки
логіка математичну мову мовної
Математична логіка (теоретична логіка, символічна логіка) - розділ математики, що вивчає докази і питання підстав математики. В«Предмет сучасної математичної логіки різноманітний.В». Згідно з визначенням П.С. Порецкого, В«математична логіка є логіка з предмета, математика за методомВ». Згідно з визначенням Н.І. Кондакова, В«математична логіка - друга, після традиційної логіки, ступінь у розвитку формальної логіки, що застосовує математичні методи і спеціальний апарат символів і досліджує мислення за допомогою числень (формалізованих мов)В».
Застосування в логіці математичних методів стає можливим тоді, коли судження формулюються на деякій точному мовою. Такі точні мови мають дві сторони: синтаксис і семантику. Синтаксисом називається сукупність правил побудови об'єктів мови (зазвичай званих формулами). Семантикою називається сукупність угод, що описують наше розуміння формул (або деяких з них) і дозволяють вважати одні формули вірними, а інші - ні. p> Важливу роль в математичній логіці грають поняття дедуктивної теорії та обчислення. Обчисленням називається сукупність правил виводу, що дозволяють вважати деякі формули виведеними. Правила виведення поділяються на два класи. Одні з них безпосередньо кваліфікують деякі формули як виводяться. Такі правила виведення прийнято називати аксіомами. Інші ж дозволяють вважати виведеними формули A, синтаксично пов'язані деяким заздалегідь певним способом з кінцевими наборами виведених формул. Широко застосовуваним правилом другого типу є п...
