РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»
НОВІНАДХОДЖЕННЯ |
ПОШУК
|
РУБРИКАТОР
|
Бази даних
Реферативна база даних - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб|
|
| Сортувати знайдені документи за: | |||
| автором | назвою | роком видання | видом документа |
| Знайдено в інших БД: | Книжкові видання та компакт-диски (41) |
Пошуковий запит: (<.>U=В121 я73$<.>) | |||
|
Загальна кількість знайдених документів : 4 Представлено документи з 1 до 4 |
|||
| 1. | Тарєлкін Ю. П. Основи формальної логіки : Навч. посіб. для студ. гуманіт. спец. вузів. — Суми, 1998 | ||
| 2. | Шушура А. Н. Логика в системах искусственного интеллекта : метод. вказівки до лекцій. — 2-е вид. — Донецьк: ІПШІ "Наука і освіта", 2004 | ||
| 3. | Шаповалов С. П. Математична логіка та теорія алгоритмів : навч. посіб. — Суми, 2014 | ||
| 4. | Шевельова А. Є. Формальне доведення теорем числення висловлювань : навч. посіб. — Дніпро: Ліра, 2023 | ||
| Національна бібліотека України імені В. І. Вернадського |
 |
| Відділ наукового формування національних реферативних ресурсів |
 |
| Інститут проблем реєстрації інформації НАН України |
Всі права захищені © Національна бібліотека України імені В. І. Вернадського