Учебно-методический комплекс дисциплины математическая логика Основная образовательная программа подготовки специалиста по специальностям: 050202 Информатика (СД. Ф. 1) 050202 Информатика с доп спец. «Математика»
Скачать 404.06 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... |
| Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск ... | | Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Программирование» для студентов очной формы обучения по специальности 050202. 65... |
| Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Эстетика» для студентов очной формы обучения по специальности 050202. 65 «Информатика»... | | Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Химия» для студентов очной формы обучения по специальности 050202. 65 «Информатика»... |
| Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Физика» для студентов очной формы обучения по специальности 050202. 65 «Информатика»... | | Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Сайтостроение» для студентов очной формы обучения по специальности 050202. 65 «Информатика»... |
| Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «История информатики» для студентов очной формы обучения по специальности 050202.... | | Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Информационные системы» для студентов очной формы обучения по специальности 050202.... |
| Учебно-методический комплекс дисциплины специальность: 050202 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Архитектура компьютера» для студентов очной формы обучения по специальности 050202... | | Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Информационная культура» для студентов очной формы обучения по специальности 050202.... |
| Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Основы микроэлектроники» для студентов очной формы обучения по специальности 050202.... | | Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск Протокол согласования рабочей программы дисциплины «культурология» с другими дисциплинами специальности 050202. 65 Информатика |
| Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск ... | | Основная образовательная программа подготовки специалиста по специальности(специальностям)... Шифр дисциплины и ее название в строгомсоответствии с государственным образовательнымстандартом и учебным планом |
