Зведений каталог бібліотек Тернополя

• Класифікатори та каталоги
• ма...

Математична логіка 22.122

Документи:

• Азбука математичної логіки [Текст] / М.М. Швець. — К. : Рад. шк., 1965. — 154 с.
• Актуальные вопросы математической логики и теории множеств [Текст] : сб. трудов / редкол.: Е. А. Щегольков, М. Ф. Бокштейн, Н. В. Петри. — М. : Москов. гос. пед. ин-тут, 1975. — 310 с.
• Алгебраизуемость секвенциальных исчислений для конечнозначных логик с определителем равенства [Текст] / А.П. Пынько // Доповіді Національної Академії Наук України: Математика. Природознавство. Технічні науки. — К., 2003. — №6. — С. 66-71.
• Алгебра и математическая логика [Текст] : алгебраические исследования : межвед. сборник / редкол.: Л. А. Калужнин (отв. ред.), С. Д. Берман, С. Т. Завало [и др.]. — К. : Изд-во Киев. ун-та, 1966. — 140 с.
• Введение в математическую логику [Текст] / пер. с англ. В. С. Чернявского ; под ред. В. А. Успенского. — М. : Изд-во иностр. лит., 1960. — 484 с.
• Введение в математическую логику [Текст] / пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. — Изд. 3-е. — М. : Наука, 1984. — 319 с.
• Введение в математическую логику [Текст] / пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. — М. : Наука, 1971. — 320 с.
• Від алгоритму до ЕОМ [Текст] : для старшого шкільного віку / О.П. Коханівський. — К. : Рад. школа, 1990. — 172 с.
• Влияние теории релейно-контактных схем на развитие математической логики [Текст] / З.А. Кузичева // Вестник Московского университета Серия 7. Философия. — М. : МГУ, 2003. — №2. — С. 53-62.
• Вчись мислити логічно [Текст] : для старшого шкільного віку / В.Ю. Середа. — К. : Рад. шк., 1989. — 175 с.
• Доказательства и опровержения [Текст] : как доказываются теоремы / пер. с англ. И. Н. Веселовского. — М. : Наука, 1967. — 152 с.
• Элементарное введение в математическую логику [Текст] : пособие для учителей / А.А. Столяр. — М. : Просвещение, 1965. — 163 с.
• Елементи теорії множин і математичної логіки [Текст] : посібник для самоосвіти вчителів / О.В. Кужель. — К. : Рад. школа, 1977. — 160 с.
• Елементи теорії множин та математичної логіки [Текст] : посібник / Л.А. Калужнін, В.І. Сущанський. — К. : Вища шк., 1976. — 76 с.
• Элементы математической логики [Текст] / под ред. А. Г. Драгалина. — М. : Изд-во Москов. ун-та, 1984. — 79 с.
• Элементы математической логики [Текст] : пособие для учащихся 9–10 кл. / А.Д. Кутасов. — М. : Просвещение, 1977. — 63 с.
• Элементы теории множеств и математической логики в школьном курсе математики [Текст] : пособие для учителей / Л.А. Калужнин. — М. : Просвещение, 1978. — 87 с.
• Задачи по теории множеств, математической логике и теории алгоритмов [Текст] : учеб. пособие для мат. фак. ун-тов и пед. ин-тов / И.А. Лавров, Л.Л. Максимова. — М. : Наука, 1975. — 239 с.
• Задачник-практикум по математической логике [Текст] : Учеб. пособие для студ.-заочников физ.-мат. фак. пед. ин-тов / В.И. Игошин. — М. : Просвещение, 1986. — 159 с.
• Збірник вправ і задач з математичної логіки [Текст] : навч. посіб. для студ. фіз.-мат. фак. пед. ін-тів / Я.В. Хромой. — К. : Вища шк., 1978. — 160 с.
• Избранные главы высшей математики [Текст] / А.М. Колобов, Г.С. Неверов. — Минск : Вышэйшая школа, 1971. — 312 с.
• Избранные труды [Текст]. Математическая логика и общая теория алгебраических систем / А.И. Мальцев. — М. : Наука, 1976. — 388 с.
• Исчисленіе вероятностей [Текст] / А.А. Марковъ. — 2-е изданіе. — Санктпетербургъ : Типографія Императорской Академіи Наукъ, 1908. — 79 с.
• Как математика ум в порядок приводит [Текст] / А.А. Столяр. — Минск : Вышэйшая школа, 1982. — 205 с.
• Конструктивная математическая логика с точки зрения классической [Текст] / П.С. Новиков. — М. : Наука, 1977. — 328 с.
• Логика, алгебра и базы данных [Текст] : пер. с англ. / П. Грэй. — М. : Машиностроение, 1989. — 368 с.
• Логическое введение в математику [Текст] / А.А. Столяр. — Минск : Вышэйшая школа, 1971. — 222 с.
• Математика в логических упражнениях [Текст] / А.Г. Гайштут. — К. : Рад. шк., 1985. — 192 с.
• Математика и логика [Текст] = Marhematics and Logic : Ретроспективы и перспективы / пер. с англ. Н. И. Плужниковой ; под ред. И. М. Яглома. — М. : Мир, 1971. — 251 с.
• Математика и логика цифровых устройств [Текст] = Mathematics and for digital devices / пер. с англ. Г. А. Шестопал ; под ред. И. М. Яглома. — М. : Просвещение, 1965. — 268 с.
• Математика XIX века [Текст] : Математическая логика. Алгебра. Теория чисел. Теория вероятностей / под ред.: А. Н. Колмогорова, А. П. Юшкевича. — М. : Наука, 1978. — 256 с.
• Математическая логика. Дополнительные главы [Текст] : учебное пособие для студ. вузов, обучающихся по спец. "Математика" / А.Н. Колмогоров, А.Г. Драгалин. — М. : Изд-во Москов. ун-та, 1984. — 119 с.
• Математическая логика и автоматическое доказательство теорем [Текст] / пер. с англ.: Г. В. Давыдова, Г. Е. Минца, А. В. Сочилиной ; под ред. С. Ю. Маслова. — М. : Наука, 1983. — 358 с.
• Математическая логика и дискретная математика [Текст] : учебное пособие для студ. ун-тов по спец. "Прикладная математика" / В.Г. Карпов, В.А. Мощенский. — Минск : Вышэйшая шк., 1977. — 256 с.
• Математическая логика и теория алгоритмов [Текст] / отв. ред. С. Л. Соболев. — Новосибирск : Наука, 1982. — 176 с.
• Математическая логика и теория алгоритмов [Текст] : Учеб. пособие для студ. физ.-матем. спец. пед. ин-тов / В.И. Игошин. — Саратов : Изд-во Саратовского ун-та, 1991. — 256 с.
• Математическая логика и теория множеств [Текст] : о соотношении абстрактного и конкретного / под ред. Я. Л. Харапинского. — М. : Росвузиздат, 1963. — 192 с.
• Математическая логика [Текст] / пер. с англ.: И. А. Лаврова, И. А. Мальцева ; под ред. Ю. Л. Ершова. — М. : Наука, 1975. — 527 с.
• Математическая логика [Текст] : учебник для техникумов по спец. "Прикладная математика" / И.Л. Никольская. — М. : Высшая школа, 1981. — 128 с.
• Математическая логика [Текст] : учебное пособие для студ. мат. спец. вузов / А.Н. Колмогоров, А.Г. Драгалин. — М. : Изд-во Москов. ун-та, 1982. — 119 с.
• Математическая логика [Текст] : учебное пособие для студ. пед. ин-тов. / С.Л. Эдельман. — М. : Высшая школа, 1975. — 176 с.
• Математическая логика [Текст] = Mathematical Logic / пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца. — М. : Мир, 1973. — 480 с.
• Математична логіка і теорія алгоритмів [Текст] : навч.-метод. посіб. для проведення практичних занять за вимогами кредитно-модульної системи / І.Ф. Следзінський. — Тернопіль : ТНПУ, 2005. — 60 с.
• Математична логіка таїї застосування [Текст] / О.В. Кужель // У світі математики. — К., 2003. — №1. — С.1-6.
• Математична логіка [Текст] : [грані математики] / уклад. О. О. Старова // Математика в школах України. Позакласна робота. — Х. : Основа, 2013. — № 10. — С. 7–9.
• Математична логіка [Текст] : навч. посіб. для студ. фізико-матем. ф-тів пед. ін-тів / Я.В. Хромой. — К. : Вища шк., 1983. — 208 с.
• Математичний мінілексикон [Текст] = Minilexikon matematiky / пер. зі словацької : М. І. Панів, І.-П. П. Сироїд. — Львів : Світ, 1990. — 104 с.
• Машина Поста [Текст] / В.А. Успенский. — М. : Наука, 1979. — 96 с.
• Методичні вказівки і завдання до виконання практичних робіт з курсу "Математична логіка і теорія алгоритмів" [Текст] / І.Ф. Следзінський. — Тернопіль : ТДПУ, 2003. — 16 с.
• Многозначная пороговая логика [Текст] / отв. ред. Е. И. Брюхович. — К. : Наук. думка, 1977. — 147 с.

1   2