Євладенко В. М. Математична логіка та теорія алгоритмів : навч.-метод. посіб. / В. М. Євладенко, З. П. Халецька, В. В. Нарадовий; Кіровогр. держ. пед. ун-т ім. В.Винниченка. - Кіровоград : КОД, 2009. - 116 c. - Бібліогр.: с. 114. - укp.Викладено теоретичні відомості з логіки та числення висловлень, логіки предикатів першого порядку та теорії алгоритмів. Наведено інформацію про метатеорему дедукції, поліном Жегалкіна, формули логіки предикатів, алфавітні оператори, рекурсивні функції, машину Тьюрінга. Изложены теоретические сведения по логике и вычислению выражений, логике предикатов первого порядка и теории алгоритмов. Дана информация о метатеореме дедукции, полиноме Жегалкина, формулах логики предикатов, алфавитных операторах, рекурсивных функциях, машине Тьюринга. Індекс рубрикатора НБУВ: В121я73 + В127.3я73
Шифр НБУВ: ВА712722 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|