Публікація:
Математическая логика и ее связи с формальной логикой

Проста сторінка документа
dc.contributor.authorХудаева, С. А.
dc.contributor.authorСтарикова, Г. Г.
dc.date.accessioned2020-01-20T11:02:13Z
dc.date.available2020-01-20T11:02:13Z
dc.date.issued2019
dc.description.abstractСимволическая логика — это раздел формальной логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Для математика характерно широкое использование символики, которая, по сути, является аппаратом формальной логики. Запись логических рассуждений в виде математических символов придает доказательствам более краткий, простой вид. Формальная логика оперирует высказываниями (из них состоит и наша речь).uk_UA
dc.identifier.citationХудаева С. А. Математическая логика и ее связи с формальной логикой / С. А. Худаева, Г. Г. Старикова // Матеріали мііжнародної науково-практичної конференції (м. Київ, Україна, 8-9 листопада 20-19 року). - Київ: ГО “Київська наукова суспільнознавча організація”, 2019. – С. 85-88.uk_UA
dc.identifier.urihttp://openarchive.nure.ua/handle/document/10596
dc.language.isoruuk_UA
dc.publisherКиїв: ГО “Київська наукова суспільнознавча організація”uk_UA
dc.subjectлогикаuk_UA
dc.subjectсимвол,uk_UA
dc.subjectдоказательствоuk_UA
dc.subjectпредикатuk_UA
dc.subjectформализацияuk_UA
dc.titleМатематическая логика и ее связи с формальной логикойuk_UA
dc.typeThesisuk_UA
dspace.entity.typePublication

Файли

Оригінальний пакунок

Зараз показано 1 - 1 з 1
Зображення мініатюри
Назва:
Khudaevalogika2019.doc
Розмір:
51 KB
Формат:
Microsoft Word
Опис:
доклад
Завантажити

Пакунок ліцензії

Зараз показано 1 - 1 з 1
Зображення мініатюри
Назва:
license.txt
Розмір:
9.42 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекції

Кафедра біомедичної інженерії (БМІ)