Електронний ресурс
ЕР

Якімова, Наталія Анатоліївна.
Алгебра скінченних предикатів [Електронний ресурс] : навч. посіб. для здобувачів спец. 111 Математика / Н. А. Якімова; ОНУ ім. І. І. Мечникова, Ф-т мат., фіз. та інформ. технологій. – Одеський нац. ун-т, 2025. – 132 с.
Назва з тит. екрана . – Режим доступу: https://dspace.onu.edu.ua/handle/123456789/40540 , вільний (дата звернення: 20.02.2025) . – Бібліогр.: с. 130-132 (59 назв).



Предметні рубрики = Електронний ресурс
Предметні рубрики = МАТЕМАТИКА. ПРИРОДНИЧІ НАУКИ : Математика : фундаментальні та загальні питання математики : математична логіка : класична логіка : класична логіка предикатів першого порядку
Предметні рубрики = МАТЕМАТИКА. ПРИРОДНИЧІ НАУКИ : Математика : фундаментальні та загальні питання математики : математична логіка : класична логіка : логіки предикатів вищих порядків
Предметні рубрики = МАТЕМАТИКА. ПРИРОДНИЧІ НАУКИ : Математика : математична кібернетика : семіотика, математична теорія систем символів, математична лінгвістика : семантика мови: математичні аспекти
Предметні рубрики = МАТЕМАТИКА. ПРИРОДНИЧІ НАУКИ : Математика : фундаментальні та загальні питання математики : посібники для викладання, навчання, практичної підготовки - фундаментальні та загальні питання математики: основи математики, алгоритми, обчислювальні функції, математична логіка, математичні структури, теорія моделей : підручники, навчальні посібники для університетів, ВНЗ - фундаментальні та загальні питання математики: основи математики, теорія множин, алгоритми, обчислювальні функції, математична логіка, математичні структури, теорія моделей
Ключевые слова = биословарь-математики и механики

ОФ - 1 экз.