04-05-25 Гладка, О. М. (2018) РОБОЧА ПРОГРАМА НАВЧАЛЬНОЇ ДИСЦИПЛІНИ "Комп'ютерна логіка і логіка предикатів", спеціальність всі спеціальності. PROGRAM OF THE DISCIPLINE "Computer logic and predicate logic", specialty ALL SPECIALTIES. [Робочі програми]
|
Text
04-05-25.pdf Download(587kB) | Перегляд |
Анотація
Навчальна дисципліна "Комп'ютерна логіка і логіка предикатів" входить до циклу навчальних дисциплін вільного вибору студентів І-го (бакалаврського) рівня підготовки фахівців за усіма спеціальностями НУВГП. Ознайомлення з основами формальної логіки і набуття навиків формалізації великого обсягу інформації та отримання з неї дедуктивних (логічних, але не завжди очевидних) висновків допоможе майбутньому фахівцю приймати правильні рішення у будь-якій сфері діяльності. Вивчення дисципліни дасть змогу студенту краще зрозуміти як саме "думає" комп'ютер, збагнути логіку його рішень і навчитись правильно формулювати свої думки та запити (і не тільки до комп'ютера). Отримані знання і навики будуть корисні студентам-бакалаврам і студентам-магістрам для подальших наукових досліджень, при написанні курсових і бакалаврської робіт. The discipline "Computer logic and predicate logic" is included in the cycle of subjects of free choice of students of the I (Bachelor's degree) level of training of specialists in all specialties of NUWEE. Introduction to the fundamentals of formal logic and the acquisition of skills to formalizing a large amount of information and obtaining deductive (logical but not always obvious) conclusions from it will help the future specialist to make the right decisions in any field of activity. Studying the discipline will allow the student to better understand how the computer "thinks", to understand the logic of it decisions and learn to correctly formulate his thoughts and requests (and not only to the computer). The acquired knowledge and skills will be useful for bachelor students and master students for further research, when writing courseworks and bachelor's theses
Тип елементу : | Робочі програми |
---|---|
Ключові слова: | 04-05-25, булева (двійкова) алгебра, булеві функції, дедуктивний висновок, логіка висловлень, логіка предикатів, boolean (binary) algebra, Boolean functions, deductive conclusion, logic of utterances, predicate logic |
Шифр: | 04-05-25 |
Тематики: | За напрямами > Усі спеціальності |
Підрозділи: | Навчально-науковий інститут автоматики, кібернетики та обчислювальної техніки > Комп’ютерних наук |
Користувач, що депонує: | Ірина Понаріна |
Дата внесення: | 25 Лист 2019 08:15 |
Останні зміни: | 25 Лист 2019 08:15 |
URI: | http://ep3.nuwm.edu.ua/id/eprint/16425 |
![]() |
Перегляд елементу |
Завантажень
Завантажень за місяць протягом останнього року