Публікація: Визначення математичної логіки
dc.contributor.author | Худаєва, С. А. | |
dc.date.accessioned | 2021-11-29T19:26:03Z | |
dc.date.available | 2021-11-29T19:26:03Z | |
dc.date.issued | 2020 | |
dc.description.abstract | Symbolic logic is a section of formal logic in which logical inferences are explored through logical calculi based on a strict symbolic language. The mathematician is characterized by the widespread use of symbolism. Writing logical reasoning in the form of mathematical symbols gives the evidence a more concise, simple form. Formal logic operates with statements (our speech also consists of them | uk_UA |
dc.identifier.citation | Худаєва С. А. Визначення математичної логіки / С. А. Худаєва, науковий керівник – доц. Старікова Г. Г. // Радіоелектроніка та молодь у XXI столітті : матеріали 24-го Міжнар. молодіж. форуму, 7–9 квітня 2020 р. – Харків : ХНУРЕ, 2020. – Т. 8. – С. 62–63. | uk_UA |
dc.identifier.uri | https://openarchive.nure.ua/handle/document/18566 | |
dc.language.iso | uk | uk_UA |
dc.publisher | ХНУРЕ | uk_UA |
dc.subject | філософія | uk_UA |
dc.subject | визначення математичної логіки | uk_UA |
dc.title | Визначення математичної логіки | uk_UA |
dc.type | Conference proceedings | uk_UA |
dspace.entity.type | Publication |
Файли
Оригінальний пакет
1 - 1 з 1
Завантаження...
- Назва:
- Fil_2020_62-63.pdf
- Розмір:
- 266.39 KB
- Формат:
- Adobe Portable Document Format
Ліцензійний пакет
1 - 1 з 1
Немає доступних мініатюр
- Назва:
- license.txt
- Розмір:
- 9.42 KB
- Формат:
- Item-specific license agreed upon to submission
- Опис: