Дискретний аналіз. Ч. 2: Елементи математичної логіки
| dc.audience.department | Кафедра математичних методів захисту інформації | en |
| dc.contributor.author | Мороховець, Марина Костянтинівна | |
| dc.contributor.faculty | Фізико-технічний інститут | en |
| dc.contributor.researchgrantor | НТУУ «КПІ» | en |
| dc.date.accessioned | 2010-09-10T09:46:44Z | |
| dc.date.available | 2010-09-10T09:46:44Z | |
| dc.date.issued | 2010 | |
| dc.description | Повний текст документа доступний лише в локальній мережі університету | uk |
| dc.description.abstract | Розділ «Елементи математичної логіки» є частиною курсу «Дискретний аналіз», що викладається студентам першого року навчання. Читачеві даного видання пропонується орієнтоване на початківців викладення базового розділу математичної логіки – логіки висловлень. Приділяється увага зв’язку між природною мовою та мовою логіки висловлень, підкреслено роль мови логіки висловлень як засобу подання міркувань. Розглянуто методи перевірки правильності міркувань, що можуть бути записані мовою логіки висловлень. | en |
| dc.identifier.citation | Дискретний аналіз. Ч. 2: Елементи математичної логіки [Електронний ресурс] : курс лекцій для студентів спеціальностей, пов’язаних з інформаційними технологіями та захистом інформації / НТУУ «КПІ» ; уклад. М. К. Мороховець. - Електронні текстові дані (1 файл: 1,05 Мбайт). - Київ : НТУУ «КПІ», 2010. - Назва з екрана. | en |
| dc.identifier.uri | https://ela.kpi.ua/handle/123456789/441 | |
| dc.language.iso | uk | en |
| dc.subject | дискретний аналіз | en |
| dc.subject | елементи математичної логіки | en |
| dc.title | Дискретний аналіз. Ч. 2: Елементи математичної логіки | en |
| dc.type | Learning Object | en |