Дискретний аналіз. Ч. 2: Елементи математичної логіки
DSpace at NTB NTUU KPI
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Дискретний аналіз. Ч. 2: Елементи математичної логіки
|
|
| Subject |
дискретний аналіз
елементи математичної логіки |
|
| Description |
Розділ «Елементи математичної логіки» є частиною курсу «Дискретний аналіз», що викладається студентам першого року навчання. Читачеві даного видання пропонується орієнтоване на початківців викладення базового розділу математичної логіки – логіки висловлень. Приділяється увага зв’язку між природною мовою та мовою логіки висловлень, підкреслено роль мови логіки висловлень як засобу подання міркувань. Розглянуто методи перевірки правильності міркувань, що можуть бути записані мовою логіки висловлень.
|
|
| Contributor |
Мороховець, Марина Костянтинівна
|
|
| Date |
2010-09-10T09:46:44Z
2010-09-10T09:46:44Z 2010 |
|
| Type |
Learning Object
|
|
| Identifier |
Дискретний аналіз. Ч. 2: Елементи математичної логіки [Електронний ресурс] : курс лекцій для студентів спеціальностей, пов’язаних з інформаційними технологіями та захистом інформації / НТУУ «КПІ» ; уклад. М. К. Мороховець. - Електронні текстові дані (1 файл: 1,05 Мбайт). - Київ : НТУУ «КПІ», 2010. - Назва з екрана.
http://ela.kpi.ua/handle/123456789/441 |
|
| Language |
uk
|
|