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

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

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

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

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

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

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

Матеріал:

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

14.12.2020

0 0

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

95

0

0

0

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

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

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

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

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

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

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

0.

doc

26.doc

43,0 Кб

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

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

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

Математична гра "Де логіка?"

Математична гра "Де логіка?"

487

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

Мовчан Ганна Володимирівна

Різне

5—11 клас

30 грн

Дидактична гра "Один - багато" з використанням лего (логіко-математичний розвиток)

Дидактична гра "Один - багато" з використанням лего (логіко-математичний розвиток)

611

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

Романюк Анна Леонідівна

Дидактичні матеріали

3—6 років та 1—4 клас

24 грн

Конспект уроку на тему: Підсумковий урок з теми «Математична логіка» (тест)

Конспект уроку на тему: Підсумковий урок з теми «Математична логіка» (тест)

289

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

Сидоренко Сергій Юрійович

Інформатика

10—11 клас

33 грн

Логіко-математичний розвиток

Логіко-математичний розвиток

121

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

Литвиненко Юлія Олексіївна

Дошкільна освіта

3—6 років

20 грн

«Використання інноваційних технологій для розвитку логіко-математичних здібностей дошкільників»

«Використання інноваційних технологій для розвитку логіко-математичних здібностей дошкільників»

796

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

Валь Юлія Олександрівна

Дошкільна освіта

3—4 роки

25 грн

Конспект уроку на тему: Практична робота №5. «Застосування математичної логіки»

Конспект уроку на тему: Практична робота №5. «Застосування математичної логіки»

655

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

Сидоренко Сергій Юрійович

Інформатика

10—11 клас

33 грн

Дивитись ще

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

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

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

407

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

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

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

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

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

171

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

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

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

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

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

481

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

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

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

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

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

143

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

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

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

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

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

461

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

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

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

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

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

501

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

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

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

Дивитись ще

↑