Використання систем комп’ютерної математики в електронному навчальному курсі «Математична логіка і теорія алгоритмів»

Simple item page
dc.contributor.authorТриус, Ю.
dc.date.accessioned2014-01-23T10:33:16Z
dc.date.available2014-01-23T10:33:16Z
dc.date.issued2013
dc.description.abstractУ роботі розглядаються проблеми використання систем комп’ютерної математики у навчанні математичної логіки, а також деякі вбудовані засоби цих систем для розв’язування різних класів задач алгебри висловлень. 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.uk_UA
dc.identifier.citationТриус Ю. Використання систем комп’ютерної математики в електронному навчальному курсі «Математична логіка і теорія алгоритмів» / Юрій Триус // Інноваційні комп'ютерні технології у вищій школі : матеріали 5-ої Науково-практичної конференції, 19–21 листопада 2013 року, Львів / Національний університет "Львівська політехніка". – Львів : Видавництво Національного університету "Львівська політехніка", 2013. – С. 78–84. – Бібліографія: 8 назв.uk_UA
dc.identifier.urihttps://ena.lpnu.ua/handle/ntb/22751
dc.language.isouauk_UA
dc.publisherВидавництво Національного університету "Львівська політехніка"uk_UA
dc.subjectматематична логікаuk_UA
dc.subjectсистема комп’ютерної математикиuk_UA
dc.subjectMathematicauk_UA
dc.subjectWolfram|Alphauk_UA
dc.subjectMapleuk_UA
dc.subjectMatlabuk_UA
dc.subjectMathcaduk_UA
dc.subjectелектронний навчальний курсuk_UA
dc.subjectmathematical logicuk_UA
dc.subjectsystem of computer mathematicsuk_UA
dc.subjectMathematicauk_UA
dc.subjectWolfram|Alphauk_UA
dc.subjectMapleuk_UA
dc.subjectMatlabuk_UA
dc.subjectMathcaduk_UA
dc.subjecteLearninguk_UA
dc.titleВикористання систем комп’ютерної математики в електронному навчальному курсі «Математична логіка і теорія алгоритмів»uk_UA
dc.typeArticleuk_UA

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
19-79-84.pdf
Size:
396.04 KB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Інноваційні комп'ютерні технології у вищій школі. – 2013 р.