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

Опублікувати матеріал

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

Всеосвіта›
Бібліотека методичних матеріалів›
Комп'ютерна логіка›
Лекція за темою "Логічне слідування формул"

Опублікував/ла:

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

Посилання Написати Додати в обране Поскаржитися

Матеріал:

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

14.12.2020

1 0

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

433

0

9

9

Завантажити файл у хорошій якості

Усі придбані матеріали можна знайти в розділі мої придбані матеріали

Опис методичного матеріалу:

Розділ алгебри висловлювань, що вивчає закономірності логічного слідування, логічного висновку, є її серцевиною. Саме у цьому розділі на цьому рівні розвитку математичної логіки вирішується основне завдання логіки, що полягає в знаходженні загальних способів встановлення зв'язків логічних значень одних висловлювань з логічними значеннями інших висловлювань на підставі дослідження формальної структури висловлювань.

Вміст матеріалу:

Відображення документу є орієнтовним і призначене для ознайомлення зі змістом, та може відрізнятися від вигляду завантаженого документа.

Доступ до плеєра. Вбудувати плеєр:

0.

doc

7.doc

122,9 Кб

Завантажити файл у хорошій якості

Усі придбані матеріали можна знайти в розділі мої придбані матеріали

Рекомендуємо

Логічне слідування. 3 клас

Логічне слідування. 3 клас

1846

Аватар профіля

Томчук Ірина Григорівна

Інформатика

3 клас

33 грн

Урок 11 Логічне слідування.

Урок 11 Логічне слідування.

55

Аватар профіля

Місько Євгеній Дмитрович

Інформатика

3 клас

34 грн

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

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

333

Аватар профіля

Інтерактивна інформатика

Інформатика

2—4 клас

25 грн

Логічне слідування 3 клас (+ конспект та завдання)

Логічне слідування 3 клас (+ конспект та завдання)

384

Аватар профіля

Шаповаленко Маріанна Миколаївна

Інформатика

2—4 клас

66 грн

19 грн

Лекція "Формула Тейлора"

Лекція "Формула Тейлора"

428

Аватар профіля

Побережець Сергій Іванович

Математика

I—II курси

35 грн

Урок 18 Логічне слідування. Створення програм за даним алгоритмом

Урок 18 Логічне слідування. Створення програм за даним алгоритмом

127

Аватар профіля

Місько Євгеній Дмитрович

Інформатика

3 клас

34 грн

Дивитись ще

Схожі матеріали

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

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

383

Аватар профіля

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

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

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

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

148

Аватар профіля

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

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

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

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

78

Аватар профіля

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

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

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

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

472

Аватар профіля

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

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

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

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

125

Аватар профіля

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

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

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

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

481

Аватар профіля

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

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

Дивитись ще

↑