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

 

247

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

 

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

224

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

 

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

226

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

 

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

ResourceТNPU

Ministry of Education and Science of Ukraine

Online resource TNPU

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

Scientometry

Partners

We are on social networks