Учебно-методический комплекс дисциплины математическая логика Основная образовательная программа
Скачать 404.16 Kb.
|
РАЗДЕЛ IV.Словарь терминов (глоссарий).Абстрактная вычислительная машина – теоретическое построение, с помощью которого вводится строгое, математическое определение алгоритма. Алгоритмическая неразрешимость – свойство математической задачи, заключающееся в отсутствии алгоритма ее решения. Антиномия – противоречие между положениями, каждое из которых признается логически доказуемым. Базис (минимальная полная система) – полная система функций, которая после удаления из нее любой функции она перестает быть полной. Булева алгебра – раздел математической логики, изучающий высказывания и операции над ними. Наиболее известными операциями булевой алгебры являются: конъюнкция, дизъюнкция, импликация, эквивалентность, отрицание. Буль Джон – английский математик 1815-1864 Высказывание - предложение, которое может быть истинно или ложно. Декларативный язык программирования – язык программирования высокого уровня, построенный на описании данных и на описании искомого результата. Декларативные языки подразделяются на функциональные и логические языки. Дизъюнктивная нормальная форма – формула, которая является дизъюнкцией элементарных конъюнкций. Дизъюнкция высказываний – новое высказывание: сконструированное их двух и более исходных высказываний; истинное в тех случаях, когда истинно хотя бы одно из исходных высказываний. Замкнутая система функций – система функций, для которой её замыкание совпадает с ней. Импликация высказываний – новое высказывание: сконструированное их двух исходных высказываний: посылки и следствия; ложное только в тех случаях, посылка истинна, а следствие ложно. Исполнение алгоритма – процесс пошагового, точного выполнения алгоритма исполнителем. Исчисление высказываний - область математической логики. Исчисление предикатов – формальный язык классической логики, который использует функции и предикаты для описания отношений между отдельными сущностями. Конъюнктивная нормальная форма – формула, которая является конъюнкцией элементарных дизъюнкций. Конъюнкция (and, &) Логическое умножение – двуместная логическая операция, определяемая таблицей истинности: 0 and 0 = 0, 0 and 1 = 0, 1 and 0 = 0, 1 and 1 = 1 Конъюнкция высказываний – новое высказывание: сконструированное их двух и более исходных высказываний; истинное в тех случаях, когда истинны все исходные высказывания. Линейная функция – функция, которая может быть задана линейным многочленом Жегалкина. Логическая операция (Булевская операция) – операция над булевскими операндами, принимающими значения Истина или Ложь. Обычно в языках программирования определены двуместные операции: двуместное логическое сложение; двуместное логическое умножение; одноместное логическое отрицание. Логический закон – закон непротиворечивого мышления. Логический оператор – оператор, реализующий операции булевой алгебры. Логический язык программирования – язык программирования, позволяющий выполнить описание проблемы в терминах фактов и логических формул, а собственно решение проблемы выполняет система с помощью механизмов логического вывода. Логическое отрицание – унарная логическая операция, определяемая таблицей истинности: not 0 = 1, not 1 = 0. Логическое программирование – программирование в терминах фактов и правил вывода, с использованием языка, основанного на формальных исчислениях. Математическая логика – раздел логики, который развивается методами математики. Математическая логика занимается обоснованием суждений, доказательств и логическим выводом. Монотонная функция – функция, для которой выполнено условие: для любых двух наборов большему набору соответствует большее значение функции. Нечеткая логика – логика, в которой допускается промежуточные значения истинности высказываний, заключенные между традиционными "истина" и "ложь". Нечеткая логика предложена профессором Калифорнийского университета Лофти Заде в 1965г. Операнд – константа, переменная, функция, выражение и другой объект языка программирования, над которым производятся операции. Оценочное суждение – высказывание, которое, в общем случае, может быть сведено к форме: "X – это хорошо" или "X – это плохо". После этого, следовательно, по причине этого – логическая ошибка; некорректный ход рассуждения, согласно которому одно событие, предшествовавшее другому, объявляется его причиной. Предметная ситуация – отрезок действительности, описываемый в высказывании. Проверяемость – возможность проверки высказываний посредством сопоставления с эмпирическими данными. Программа – последовательность машинных команд, предназначенная для достижения конкретного результата. Программа – согласно ГОСТ 19781-90 – данные, предназначенные для управления конкретными компонентами системы обработки информации в целях реализации определенного алгоритма. Псевдокод – система обозначений и правил, предназначенная для единообразной записи алгоритмов. Псевдокод занимает промежуточное место между естественным и формальным языками. Самодвойственные функции – функции, принимающие на противоположных наборах противоположные значения. Семантика – раздел языкознания и логики, исследующий проблемы, связанные со смыслом, значением и интерпретацией лексических единиц. Символическая логика – представление формальной логики на основе специального языка. Символическая логика оперирует с высказываниями, используя логические операции: отрицание, дизъюнкция, конъюнкция. На основе символической логики создаются логические языки. Совершенная дизъюнктивная нормальная форма – формула в виде дизъюнктивной нормальной формы, где в каждую из ее конъюнкций входят все переменных из формулы. Совершенная конъюнктивная нормальная форма – формула в виде конъюнктивной нормальной формы, где в каждую из ее дизъюнкций входят все переменных из формулы. Суждение – умственный акт, выражающий отношение говорящего к содержанию высказываемой мысли посредством утверждения модальности сказанного; и сопряженный обычно с психологическим состоянием сомнения, убежденности или веры. Тавтология – логически истинная формула (высказывание); логический закон. Традиционная логика – этап в развитии формальной логики, связанный с анализом элементарных структур мышления, выведения доказательства и правил предупреждения логических ошибок в рамках естественных языков и простейших приемов символизации. Умозаключение – рассуждение, в ходе которого из одного или нескольких суждений (посылками умозаключения) выводится новое суждение, логически вытекающее из посылок. Формальная логика – наука об общих структурах и законах правильного мышления, образования и сочетания понятий и высказываний, о правилах умозаключений независимо от их конкретного содержания. Формальные компоненты высказывания – звуковые или графические формы слов, грамматические формы и структуры. Функциональный язык программирования - язык программирования, позволяющий задавать программу в виде совокупности определений функций. В функциональных языках программирования функции обмениваются между собой данными без использования промежуточных переменных и присваиваний; переменные, однажды получив значение, никогда его не изменят; циклы заменяются аппаратом рекурсивных функций. Экстралингвистический контекст – обстановка, время и место, к которым относится высказывание, а также факты реальной действительности, знание которых помогает рецептору правильно интерпретировать значения языковых единиц в высказывании. Язык в алфавите A – произвольное множество слов этого алфавита. Язык программирования – искусственный (формальный) язык, предназначенный для записи алгоритмов. Язык программирования задается своим описанием и реализуется в виде специальной программы: компилятора или интерпретатора. Язык программирования Пролог – язык логического программирования, программа на котором состоит: из логических утверждений, образующих базу данных; и из правила вывода новых утверждений из известных. РАЗДЕЛ V.Практикум по решению задач (практических ситуаций) по темам лекций (одна из составляющих частей итоговой государственной аттестации).Не предусмотрен. РАЗДЕЛ VI.Изменения в рабочей программе, которые произошли после утверждения программы.
РАЗДЕЛ VII.Учебные занятия по дисциплине ведут:
|
Похожие:
 | Учебно-методический комплекс дисциплины математическая логика Основная... Автор программы: Шиманский Сергей Александрович, ст преподаватель кафедры информатики и отд | | Учебно-методический комплекс по дисциплине математическая логика и теория алгоритмов Курс математическая логика и теория алгоритмов обеспечивает приобретение знаний в соответствии с государственным образовательным... |
 | Учебно-методический комплекс дисциплины логика федеральное агентство... Логика, изучающая познающее мышление и применяемая как средство познания, возникла и развивалась в рамках теории познания, и в настоящее... | | Учебно-методический комплекс дисциплины специальность: 050202 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Математическая логика» для студентов очной формы обучения по специальности 050202... |
| Учебно-методический комплекс дисциплины «логика» Учебно-методический комплекс «Логика» предназначен для студентов I курса специальности 030900. 62 Юриспруденция, составлен в соответствии... | | Учебно-методический комплекс дисциплины «Математическая логика и теория алгоритмов» Заведующий кафедрой И7 д ф м н., профессор /С. Д. Шапорев/ Составитель д ф м н., профессор /С. Д. Шапорев |
| Учебно-методический комплекс дисциплины Основная образовательная программа подготовки специалиста по специальности (специальностям) | | Учебно-методический комплекс дисциплины Основная образовательная программа подготовки специалиста по специальности (специальностям) |
| Учебно-методический комплекс дисциплины Основная образовательная программа подготовки специалиста по специальности (специальностям) | | Учебно-методический комплекс дисциплины Основная образовательная программа подготовки специалиста по специальности (специальностям) |
| Учебно-методический комплекс дисциплины Основная образовательная программа подготовки специалиста по специальности (специальностям) | | Мгпу учебно-методический комплекс дисциплины Основная образовательная программа подготовки специалиста по специальности (специальностям) |
| Мгпу учебно-методический комплекс дисциплины Основная образовательная программа подготовки специалиста по специальности (специальностям) | | Мгпу учебно-методический комплекс дисциплины Основная образовательная программа подготовки специалиста по специальности (специальностям) |
| Мгпу учебно-методический комплекс дисциплины Основная образовательная программа подготовки специалиста по специальности (специальностям) | | Мггу учебно-методический комплекс дисциплины Основная образовательная программа подготовки специалиста по специальности (специальностям) |
