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