• Share
  • Email
  • Embed
  • Like
  • Save
  • Private Content
Presentation informatics
 

Presentation informatics

on

  • 836 views

 

Statistics

Views

Total Views
836
Views on SlideShare
836
Embed Views
0

Actions

Likes
0
Downloads
2
Comments
0

0 Embeds 0

No embeds

Accessibility

Categories

Upload Details

Uploaded via as Microsoft PowerPoint

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

    Presentation informatics Presentation informatics Presentation Transcript

    • Логические основы компьютера. Атемасова Д.
    • Формы мышления. Понятие Высказывание Умозаключение Доказательство
    • Понятие.
      • Понятие – это форма мышления, фиксирующая основные, существенные признаки объекта.
    • Алгебра множеств
      • Одна из основополагающих современных математических теорий, позволяет исследовать отношения между множествами.
      • Отношения между множествами:
      • Равнозначность
      • Пересечение
      • Подчинение
    • Высказывание.
      • Высказывание – это форма мышления, в которой что-либо утверждается или отрицается о свойствах реальных предметов и отношениях между ними. Высказывание может быть либо истинно либо ложно .
    • Умозаключение.
      • Умозаключение – это форма мышления, с помощью которой из одного или нескольких суждений может быть получено новое суждение.
    • Доказательство.
      • Доказательство – это мыслительный процесс, направленный на подтверждение или опровержение какого-либо положения посредством других более обоснованных доводов.
    • Алгебра высказываний.
      • Алгебра высказываний была разработана для того, чтобы можно было определять истинность или ложность составных высказываний, не вникая в их содержание.
      • В алгебре высказываний суждениям ставятся в соответствие логические переменные .
    • Логическое умножение (конъюнкция).
      • Объединение двух (или нескольких) высказываний в одно с помощью союза «и» называется операцией логического умножения или конъюнкцией .
      • Естественный язык конъюнкции - союз «и», а в алгебре высказываний &/^/and.
      • Составное высказывание, образованное в результате конъюнкции , истинно только тогда, когда истинны все входящие в него простые высказывания.
      Таблица истинности функции логического умножения: A B F=A&B 0 0 0 0 1 0 1 0 0 1 1 1
    • Логическое сложение (дизъюнкция).
      • Объединение двух (или нескольких) высказываний с помощью союза «или» называется операцией логического сложения или дизъюнкцией.
      • Естественный язык дизъюнкции - союз «или», в языке программирования or/xor/1/v .
      • Составное высказывание, образованное в результате дизъюнкции , истинно тогда, когда истинно хотя бы одно из входящих в него простых высказываний.
      Таблица истинности функции логического сложения: A B F=AvB 0 0 0 0 1 1 1 0 1 1 1 1
    • Логическое отрицание (инверсия).
      • Присоединение частицы «не» к высказыванию называется операцией логического отрицания или инверсии.
      • Естественный язык инверсии – союз «не», в языке программирования not A .
      • Инверсия делает истинное высказывание ложным и, наоборот, ложное – истинным.
      Таблица истинности функции логического отрицания: A F=not A 0 1 1 0
    • Логическое следование (импликация).
      • Импликация образуется соединением двух высказываний в одно с помощью оборота речи «если…, то…».
      • Логическая операция «если А, то B », обозначается A B
      • Составное высказывание, образованное с помощью импликации , ложно тогда и только тогда, когда из истинной предпосылки следует ложный вывод.
      Таблица истинности логического следования: A B F=A B 0 0 1 0 1 1 1 0 0 1 1 1
    • Логическое равенство (эквивалентность).
      • Эквивалентность образуется соединением двух высказываний в одно с помощью оборота речи «…тогда и только тогда, когда…».
      • Логическая операция обозначается A~ B
      • Составное высказывание, образованное с помощью эквивалентности истинно тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны.
      Таблица истинности логического равенства: А В F 0 0 1 0 1 0 1 0 0 1 1 1
    • Законы логики.
      • Коммутативный (переместительный) закон
      • AvB=BvA
      • Сочетательный (ассоциативный) закон
      • (AvB)vC=Av(BvC)
      • Распределительный (дистрибутивный) закон
      • (AvB)&C=(A&C)v(B&C)
      • Закон идемпотентности
      • AvA=A
      • A&A=A
    • Список литературы:
      • Интернет ресурсы
      • Учебник по информатике