Дискретна математика. Результати самостійної роботи

 Підготувала: Олійник І.Ю.

 

 

Дискретна математика
Результати самостійної  роботи

Сергієнко

5

Ковалик

5

Сениський

5-

Войтович

5-

Дяків

4

Гуменюк

3

Наконечний

3

Лісний

3

Гринчишин

3

Чорнобай

2

Гагатко

2

Миськевич

2

Коваль

2

Федина

1

Поцілуйко

1

Ящук

1

Довгань

1

Мисак

1

Волошин

0 (нуль)

Ядловський

0 (нуль)

Шевчик

0 (нуль)

 

 

 

 

 

Питання по темі: “Математична логіка”

      • Що таке висловлювання?
      • Навести приклад істинного висловлювання.
      • Навести приклад фальшивого висловлювання.
      • Навести приклад речення, яке не є висловлюванням.
      • Що таке атом?
      • Що таке кон’юнкція?
      • Що таке диз’юнкція?
      • Що таке синтаксис?
      • Що таке семантика?
      • Навести правила семантики?
      • Навести правила синтаксису.
      • Що таке тавтологія?
      • Що таке протиріччя?
      • Які формули називають еквівалентними?
      • Закони комутативності.
      • Закони асоціативності.
      • Закони дистрибутивності.
      • Закон протиріччя.
      • Закон виключення третього.
      • Закон подвійного заперечення.
      • Закони ідемпотентності.
      • Закони де Моргана.
      • Закони поглинання.
      • Правило виключення імплікації.
      • Правило виключення еквівалентності.
      • Що таке літерал?
      • Що таке контрарна пара?
      • Навести означення кон’юнктивної нормальної форми.
      • Навести означення диз’юнтивної нормальної форми.
      • Від чого залежить число інтерпретацій яких може набувати формула?
      • Скільки інтерпретацій має формула, що складається із n атомів?
      • Що таке предикат?
      • Навести приклад предикату.
      • Що таке n-місний предикат?
      • Чи може предикат перетворитись у висловлювання?
      • Які формули називають еквівалентними у логіці першого ступеня?

Перездати можна 12 лютого

 

Поділитись матеріалом у соціальних мережах:
Share on Facebook0Share on Google+0Tweet about this on TwitterShare on LinkedIn0

Коментарі із Facebook

Залишити відповідь