Бібліотека методичних матеріалів для освітян

Бібліотека методичних матеріалів

Об'єднуємо знання та досвід освітян з всієї України

Опублікувати матеріал Створити сертифікат PRO Активувати PRO-акаунт

Золота
грамота

Розробки від «Всеосвіти»

Всі матеріали Мої матеріали Завантажені Обговорення

Для пошуку увійдіть або зареєструйтесь.

11 матеріалів

Лекція за темою"Булеві функції від одного і двох аргументів"

14 грудня 2020

10 0

Дмитренко Ірина Миколаївна

Булеві функції дістали свою назву по імені англійського математика Джорджа Буля(1815-1864), який пер...

Комп'ютерна логіка

Конспект

426 44 0 37

Лекція за темою "Опис програмування і аналіз його концепцій за допомогою математичної логіки"

14 грудня 2020

0 0

Дмитренко Ірина Миколаївна

Образно виражаючись, можна сказати, що комп'ютер складається з матеріальної частини і математичного(...

Комп'ютерна логіка

Конспект

177 0 0 0

Лекція за темою "Використання компютерів для доказу теорем математичної логіки"

14 грудня 2020

0 0

Дмитренко Ірина Миколаївна

Щонайширше використання комп'ютерів в найрізноманітніших сферах людської діяльності висуває на одне ...

Комп'ютерна логіка

Конспект

100 0 0 0

Лекція за темою "Математична логіка і інформатика"

14 грудня 2020

5 0

Дмитренко Ірина Миколаївна

Інформатика — наука, що знаходиться в становленні, вивчає закони і методи накопичення, передачі і об...

Комп'ютерна логіка

Конспект

487 24 0 23

Лекція за темою "Множини, відношення, функції"

14 грудня 2020

1 0

Дмитренко Ірина Миколаївна

Поняття множини Поняття множини первинно, початково, невизначено, тобто не може бути зведено решти п...

Комп'ютерна логіка

Конспект

151 2 0 2

Лекція за темою "Логічне слідування формул"

14 грудня 2020

1 0

Дмитренко Ірина Миколаївна

Розділ алгебри висловлювань, що вивчає закономірності логічного слідування, логічного висновку, є її...

Комп'ютерна логіка

Конспект

477 9 0 9

Лекція за темою "Нормальні форми для формул алгебри висловлювань"

14 грудня 2020

2 0

Дмитренко Ірина Миколаївна

Для кожної формули алгебри висловлювань можна вказати рівносильну їй формулу, що містить з логічних ...

Комп'ютерна логіка

Конспект

512 15 0 14

Лекція за темою "Логічна рівносильність формул"

14 грудня 2020

1 0

Дмитренко Ірина Миколаївна

У логіці говорять, що речення рівносильні, якщо вони одночасно дійсні або одночасно неправильні. Сло...

Комп'ютерна логіка

Конспект

12 3 0 3

Лекція за темою "Тавтології алгебри висловлювань"

14 грудня 2020

6 0

Дмитренко Ірина Миколаївна

Коли ми оцінюємо речення як дійсне або як хибне, то при цьому звичайно маємо на увазі відповідність ...

Комп'ютерна логіка

Конспект

22 10 0 10

Лекція за темою "Формули алгебри висловлювань"

14 грудня 2020

1 0

Дмитренко Ірина Миколаївна

За допомогою логічних операцій, розглянутих в попередніх лекціях, з простих висловлювань можна будув...

Комп'ютерна логіка

Конспект

40 11 0 11

Логіка і алгебра висловлювань

14 грудня 2020

5 0

Дмитренко Ірина Миколаївна

Висловлювання - це пропозиція, яка або істинно, або неправильно.Не всяка пропозиція є висловленням. ...

Комп'ютерна логіка

Конспект

14 20 0 20

11 матеріалів