Логіка математична 22.122
Документи:
- Визначні математичні задачі [Текст] / А.Г. Конфорович. — К. : Рад. шк., 1981. — 189 с.
- Висловлення. Логічні операції. Приклади розв'язання задач [Текст] / Л.М. Сіденко, М.О. Сіденко // Інформатика в школі. — Х. : Основа, 2009. — № 9. — С. 19-22.
- Математичні софізми і парадокси [Текст] / А.Г. Конфорович. — К. : Рад. шк., 1983. — 207 с.
- Машина Поста [Текст] / В.А. Успенский. — 2-е изд., перераб. — М. : Наука, 1988. — 96 с.
- Множества. Логика. Аксиоматические теории [Текст] / под ред. Ю. А. Шихановича ; пер. с англ.: Ю. А. Гастаева, И. Х. Шмаина. — М. : Просвещение, 1968. — 231 с.
- Модальная логика [Текст] / пер. с доп. под ред. Г. Е. Минца. — М. : Наука, 1974. — 520 с.
- Практичні завдання з математичної логіки [Текст] / І.Ф. Следзінський. — Тернопіль : ТДПУ, 2003. — 24 с.
- Принципы самоорганизации и дескриптология [Текст] / Л.П.Тюленев-Лисовик. — К. : Феникс, 2008. — 320 с.
- Прямая и обратная теоремы [Текст] : элементы алгебры логики / И.С. Градштейн. — 4-е изд., стер. — М. : Наука, 1965. — 128 с.
- Теория множеств и континуум-гипотеза [Текст] = Set Theory and Continuum Hypothesis / пер. с англ. А. С. Есенина-Вольпина. — М. : Мир, 1969. — 347 с.
- Теорія функцій комплексної змінної [Текст] : навч. посіб. / Пер. з рос. — К. : Вища школа, 1994. — 375 с.
- Уроки логики в пропедевтическом курсе информатики [Текст] / Л.Л. Босова // Информатика и образование. — М., 2007. — № 2. — C.64.
|
