Використання систем комп’ютерної математики в електронному навчальному курсі «Математична логіка і теорія алгоритмів»
Електронний науковий архів Науково-технічної бібліотеки Національного університету "Львівська політехніка"
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Використання систем комп’ютерної математики в електронному навчальному курсі «Математична логіка і теорія алгоритмів»
|
|
| Creator |
Триус, Ю.
|
|
| Subject |
математична логіка
система комп’ютерної математики Mathematica Wolfram|Alpha Maple Matlab Mathcad електронний навчальний курс mathematical logic system of computer mathematics Mathematica Wolfram|Alpha Maple Matlab Mathcad eLearning |
|
| Description |
У роботі розглядаються проблеми використання систем комп’ютерної математики у навчанні математичної логіки, а також деякі вбудовані засоби цих систем для розв’язування різних класів задач алгебри висловлень. The paper addresses the problem of using systems of computer mathematics for teaching mathematical logic, and also some built-in tools those systems for solving different classes of problems of mathematical logic.
|
|
| Date |
2014-01-23T10:33:16Z
2014-01-23T10:33:16Z 2013 |
|
| Type |
Article
|
|
| Identifier |
Триус Ю. Використання систем комп’ютерної математики в електронному навчальному курсі «Математична логіка і теорія алгоритмів» / Юрій Триус // Інноваційні комп'ютерні технології у вищій школі : матеріали 5-ої Науково-практичної конференції, 19–21 листопада 2013 року, Львів / Міністерство освіти і науки України, Національний університет "Львівська політехніка" ; відповідальний за випуск Л. Д. Озірковський. – Львів : Видавництво Національного університету "Львівська політехніка", 2013. – С. 78-84. – Бібліографія: 8 назв.
http://ena.lp.edu.ua:8080/handle/ntb/22751 |
|
| Language |
ua
|
|
| Publisher |
Національний університет "Львівська політехніка"
|
|