Наукова бібліотека ТНПУ ім В. Гнатюка висловлює щиру подяку асистенту кафедри інформатики та методики її викладання ТНПУ ім. В. Гнатюка Надії Богданівні Маланюк за подаровані книги.

 

247

Англо-український тлумачний словник з обчислювальної техніки, інтернету і програмування / Е. М. Пройдаков, Л. А. Теплицький. – 2-ге вид., доп. і доопрац. – Київ : СофтПрес, 2007. – 824 с.

 

   Друге видання англо-українського тлумачного словника з обчислювальної техніки, Інтернету і програмування містить близько 14 тис. термінів, абревіатур та акронімів, які використовують у сферах комп’ютерної техніки, програмування, мереж різного типу, а також в основних прикладних сферах. Видання призначене для фахівців з інформаційно-комунікаційних технологій, а також для широкого кола користувачів, яких цікавить ця сфера.

224

Рамський Ю. С. Логічні основи інформатики: навч. посіб. для студ. фіз.-мат. спец. вищих пед. навч. закл. / Ю. С. Рамський. – Київ : НПУ імені М. П. Драгоманова, 2003. – 286 с.

 

   У роботі розглянуті основні поняття логіки висловлень та логіки предикатів першого порядку та їх численні застосування до розв’язання задач інформатики: теорія комбінаційних схем і скінченних автоматів, автоматизація доведень, аналіз міркувань.
   Значна увага приділяється моделюванню знань: розглядаються логічні моделі, продукційні моделі, семантичні мережі, фреймові моделі, об’єктно- орієнтоване програмування. Дається поняття нечітких знань та їх подання. Показуються можливості реалізації різних моделей засобами логіки предикатів першого порядку.
   Розглядаються основи логічного програмування мовою Пролог, описується процес створення експертних систем і експертних оболонок. Пропоновані приклади експертних систем і оболонок можуть служити не тільки об’єктом вивчення, а й засобом навчання.
   Матеріал посібника може бути використаний у процесі вивчення інформатики (теоретичні основи інформатики, штучний інтелект, методи і мови програмування, логічні основи функціонування комп’ютера) та математичної логіки (алгебра висловлень, логіка предикатів, прикладні аспекти математичної логіки).
   Він буде корисний також вчителям математики та інформатики.
   Для студентів фізико-математичних спеціальностей вищих педагогічних навчальних закладів.

226

Туристичні маршрути Хмельниччини: туристичний путівник / [авт. проекту : Сергій Федоченко, Тетяна Колесниченко ; авт. тексту : Сергій Єсюнін, Віра Шпильова, Ігор Западенко, Олексій Тимощук, Тетяна Колесниченко ; худож. оформ., дизайн : Олег Лукашенко ; фото : Олександр Колосовський, Євгеній Дорофєєв, Сергій Прищепа, Валерій Хома, Дмитро Скрипник ]. – Хмельницький : Поліграфіст-2, 2013. – 176 с.

 

   Путівник містить опис 8 туристичних маршрутів Хмельниччини. З півночі до центру та півдня він проведе вас по найцікавіших історичних та культурних місцях області. Описи історії, її пам'яток, а також найкрасивіших природних принад Поділля, які ви можете відвідати, допоможуть вам краще пізнати цей багатий край.

Додати коментар


Ресурси ТНПУ

Міністерство освіти і науки України

Всеукраїнські ресурси

Світові бази даних

Наукометрія

Бібліотеки України