Основи математичної логіки та множин
| dc.contributor.author | Кордюков, Я. С. | uk |
| dc.date.accessioned | 2025-08-13T09:43:36Z | |
| dc.date.available | 2025-08-13T09:43:36Z | |
| dc.date.issued | 2025 | |
| dc.description.abstract | У дослідженні розглянуто фундаментальні поняття математичної логіки та теорії множин — двох основоположних розділів сучасної математики, що мають широке застосування у комп’ютерних науках. Проаналізовано логічні операції, висловлювання, істинні значення, а також базові поняття множин, операції над ними та їхнє практичне значення у формалізації даних. Показано значення логіки у побудові алгоритмів і прийнятті рішень, а множин — у структурованому представленні інформації. | uk |
| dc.description.abstract | This study covers the basic concepts of mathematical logic and set theory – two fundamental disciplines in modern mathematics with broad applications in computer science. It analyzes logical operations, statements, truth values, as well as the essential notions of sets, operations on them, and their practical relevance in data formalization. The role of logic in algorithm development and decision-making is emphasized, as well as the utility of sets in structured information representation. | en |
| dc.identifier.citation | Кордюков Я. С. Основи математичної логіки та множин // Матеріали Всеукраїнської науково-практичної інтернет-конференції «Молодь в науці: дослідження, проблеми, перспективи (МН-2025)», Вінниця, 15-16 червня 2025 р. Електрон. текст. дані. 2025. URI: https://conferences.vntu.edu.ua/index.php/mn/mn2025/paper/view/25235. | uk |
| dc.identifier.isbn | 978-617-8163-57-0 | |
| dc.identifier.udc | 510.6 | |
| dc.identifier.uri | https://ir.lib.vntu.edu.ua/handle/123456789/48042 | |
| dc.language.iso | uk_UA | uk_UA |
| dc.publisher | Вінницький національний технічний університет | uk |
| dc.relation.ispartof | Матеріали Всеукраїнської науково-практичної інтернет-конференції «Молодь в науці: дослідження, проблеми, перспективи (МН-2025)», Вінниця, 15-16 червня 2025 р. | uk |
| dc.relation.references | Євладенко В.М., Халецька З.П., Нарадовий В.В. Математична логіка та теорія алгоритмів: Навчально-методичний посібник. Кіровоград: Видавництво «КОД», 2009. 116с. | uk |
| dc.relation.references | Mendelson E. Introduction to Mathematical Logic. — CRC Press, 2015. — 513 p. | en |
| dc.relation.references | Wikipedia: «Mathematical logic», «Set theory» — URL: https://uk.wikipedia.org | en |
| dc.relation.uri | https://conferences.vntu.edu.ua/index.php/mn/mn2025/paper/view/25235 | |
| dc.subject | математична логіка | uk |
| dc.subject | висловлювання | uk |
| dc.subject | логічні операції | uk |
| dc.subject | теорія множин | uk |
| dc.subject | булева алгебра | uk |
| dc.subject | логічні вирази | uk |
| dc.subject | формальні мови | uk |
| dc.subject | відношення | uk |
| dc.subject | перетин | uk |
| dc.subject | об'єднання | uk |
| dc.subject | доповнення | uk |
| dc.subject | mathematical logic | en |
| dc.subject | statements | en |
| dc.subject | logical operations | en |
| dc.subject | set theory | en |
| dc.subject | Boolean algebra | en |
| dc.subject | logical expressions | en |
| dc.subject | formal languages | en |
| dc.subject | relations | en |
| dc.subject | intersection | en |
| dc.subject | union | en |
| dc.subject | complement | en |
| dc.title | Основи математичної логіки та множин | uk |
| dc.type | Thesis |
Файли
Контейнер файлів
1 - 1 з 1
Вантажиться...
- Назва:
- 25235.pdf
- Розмір:
- 294,82 KB
- Формат:
- Adobe Portable Document Format
Ліцензійна угода
1 - 1 з 1