Електронний каталог

• Класифікатори
• М

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

Документи:

• Kieleckie Studia Matematyczne [Текст]. T. 4 : Dydaktyka matematyki / red. J.Korpikiewicz. – Kielce : Wyzsza Szkola Pedagogiczna im.J.Kochanowskiego, 1987. – 247 s.
• Matematyka [Текст] : zbior artykulow / red. Z.Steciak. – Kielce : Wyzsza Szkola Pedagogiczna, 1977. – 147 s.
• Matematyka [Текст] : zbior artykulow / red. W.Piechocki. – Kielce : Wyzsza Szkola Pedagogiczna im. J.Kochanowskiego, 1980. – 291 s.
• Актуальные вопросы математической логики и теории множеств [Текст] : сб. трудов / редкол.: Е. А. Щегольков, М. Ф. Бокштейн, Н. В. Петри. – М. : Москов. гос. пед. ин-тут, 1975. – 310 с. – 2,12.
• Алгебра и математическая логика [Текст] : алгебраические исследования : межвед. сборник / редкол.: Л. А. Калужнин (отв. ред.), С. Д. Берман, С. Т. Завало [и др.]. – К. : Изд-во Киев. ун-та, 1966. – 140 с. – 0,52.
• Математическая логика и теория алгоритмов [Текст] / отв. ред. С. Л. Соболев. – Новосибирск : Наука, 1982. – 176 с. – 1,60.
• Математична логіка [Текст] : [грані математики] / уклад. О. О. Старова // Математика в школах України. Позакласна робота. – 2013. – № 10. – С. 7–9. – Бібліогр. в кінці ст.
• Очерки о математике [Текст] : сб. ст. – М. : Знание, 1973. – 64 с. – (Новое в жизни, науке, технике. Серия "Математика, кибернетика"). – 0,10.
• Проблемы математической логики [Текст] : сложность алгоритмов и классы вычислимых функций : сб. переводов / под ред.: В. А. Козмидиади, А. А. Мучника. – М. : Мир, 1970. – 432 с. – (Библиотека "Кибернетического сборника"). – 1,94.
• Сложность вычислений и алгоритмов [Текст] : сборник переводов / под ред.: В. А. Козмидиади, А.Н. Маслова, Н. В. Петри. – М. : Мир, 1974. – 389 с. – (Библиотека "Кибернетического сборника"). – 1,96.
• Теоретические применения методов математической логики. ІІІ [Текст] : сборник работ / под ред.: Д. Ю. Григорьева, В. П. Оревкова. – Л. : Наука, 1981. – 200 с. – (Записки научных семинаров ЛОМИ). – 1,90.
• Труды ордена Ленина Математического института им. В. А. Стеклова [Текст]. Т. 133 : Математическая логика, теория алгоритмов и теория множеств : посвящается акад. П. С. Новикову к его 70-летию / под ред. С. И. Адяна ; отв. ред.С. М. Никольский. – М. : Наука, 1973. – 276 с. – 1,75.
• Gregorczyk, A. Zarys logiki matamatycznej [Текст] / A. Gregorczyk ; Andrzej Gregorczyk. – 6-e wyd. – Warszawa : Panstwowe Wydawnictwo Naukowe, 1984. – 510 s. – (Biblioteka Matematyczna). – ISBN 83-01-03296-0.
• Kaczorowski, S. Logika matematyczna [Текст]. Cz. 1 : Algebra logiki : zarys dziejow / S. Kaczorowski. – Lwow : Nakladem "Lwowskiej Biblioteczki Pedagogicznej", 1938. – 26 s. – (Licealna Biblioteczka Filozoficzna). – Z portretem i zyciorysem Autora ;.
• Semadeni, Z. Wstep do teorii kategorii i funktorow [Текст] / Z. Semadeni, A. Wiweger. – Warszawa : Panstwowe Wydawnictwo Naukowe, 1972. – 198 s. – (Biblioteka Matematyczna).
• Tarski, A. O logice matematycznej i metodzie dedukcyjnej [Текст] / A. Tarski. – Lwow ; Warszawa : Ksiaznica Atlas, [поч. XX ст.]. – 166 s. – (Bibljoteczka matematyczna). – 10.00.
• Zakowski, W. Matamatyka [Текст]. Czesc II / W. Zakowski ; Wojciech Zakowski. – Warszawa : Wydawnictwa Naukowo-Techniczne, 1972. – 336 s. – (Podreczniki Akademickie. Elektronika).
• Айзенберг, Н. Н. Многозначная пороговая логика [Текст] / Н. Н. Айзенберг, Ю. Л. Иваськив ; отв. ред. Е. И. Брюхович. – К. : Наук. думка, 1977. – 147 с. – 1,10.
• Математика XIX века [Текст] : Математическая логика. Алгебра. Теория чисел. Теория вероятностей / И. Г. Башмакова, Б. В. Гнеденко, З. А. Кузичева [et al.] ; под ред.: А. Н. Колмогорова, А. П. Юшкевича. – М. : Наука, 1978. – 256 с. – 2,10.
• Бизам, Д. Многоцветная логика [Текст] = Sokszinu Logika : 175 логических задач / Д. Бизам, Я. Герцег ; пер. с венг. Ю. А. Данилова. – М. : Мир, 1978. – 435 с. – 1.50.
• Гайштут, А. Г. Математика в логических упражнениях [Текст] / А. Г. Гайштут. – К. : Рад. школа, 1985. – 192 с. – 0,40.
• Гафт, М. Г. Принятие решений при многих критериях [Текст] / М. Г. Гафт. – М. : Знание, 1979. – 64 с. – (Новое в жизни, науке, технике. Серия "Математика, кибернетика"). – 0,11.
• Градштейн, И. С. Прямая и обратная теоремы [Текст] : элементы алгебры логики / И. С. Градштейн. – Изд. 3-е, доп. – Москва : Наука, 1959. – 128 с. – 0,22.
• Градштейн, И. С. Прямая и обратная теоремы [Текст] : элементы алгебры логики / И. С. Градштейн. – Изд. 5-е. – М. : Наука, 1972. – 128 с. – 0,24.
• Грэй, П. Логика, алгебра и базы данных [Текст] : пер. с англ. / П. Грэй. – М. : Машиностроение, 1989. – 368 с. – ISBN 5-217-00178-Х : 1,80.
• Игошин, В. И. Задачник-практикум по математической логике [Текст] : Учеб. пособие для студ.-заочников физ.-мат. фак. пед. ин-тов / В. И. Игошин. – М. : Просвещение, 1986. – 159 с.
• Игошин, В. И. Математическая логика и теория алгоритмов [Текст] : Учеб. пособие для студ. физ.-матем. спец. пед. ин-тов / В. И. Игошин. – Саратов : Изд-во Саратовского ун-та, 1991. – 256 с. – ISBN 5-292-00259-3.
• Калбертсон, Дж. Т. Математика и логика цифровых устройств [Текст] = Mathematics and for digital devices / Дж. Т. Калбертсон ; пер. с англ. Г. А. Шестопал ; под ред. И. М. Яглома. – М. : Просвещение, 1965. – 268 с. – 0,60.
• Калужнин, Л. А. Что такое математическая логика? [Текст] / Л. А. Калужнин. – М. : Наука, 1964. – 151 с. – 0,21.
• Калужнин, Л. А. Элементы теории множеств и математической логики в школьном курсе математики [Текст] : пособие для учителей / Л. А. Калужнин. – М. : Просвещение, 1978. – 87 с. – 0,15.
• Калужнін, Л. А. Елементи теорії множин та математичної логіки [Текст] : посібник. Ч. 2 / Л. А. Калужнін, В. І. Сущанський. – К. : Вища шк., 1976. – 76 с. – 0,11.
• Карпов, В. Г. Математическая логика и дискретная математика [Текст] : учебное пособие для студ. ун-тов по спец. "Прикладная математика" / В. Г. Карпов, В. А. Мощенский. – Минск : Вышэйшая шк., 1977. – 256 с. – 0,65.
• Карри, Х. Б. Основания математической логики [Текст] = Foundations of Mathematical Logic / Х. Б. Карри ; пер. с англ. В. В. Донченко ; под ред. Ю. А. Гастева. – М. : Мир, 1969. – 568 с.
• Кац, М. Математика и логика [Текст] = Marhematics and Logic : Ретроспективы и перспективы / М. Кац, С. Улам ; пер. с англ. Н. И. Плужниковой ; под ред. И. М. Яглома. – М. : Мир, 1971. – 251 с. – 0,80.
• Клини, С. К. Математическая логика [Текст] = Mathematical Logic / С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца. – М. : Мир, 1973. – 480 с. – 2.50.
• Колмогоров, А. Н. Математическая логика [Текст] : учебное пособие для студ. мат. спец. вузов / А. Н. Колмогоров, А. Г. Драгалин. – М. : Изд-во Москов. ун-та, 1982. – 119 с. – 0,25.
• Колмогоров, А. Н. Математическая логика. Дополнительные главы [Текст] : учебное пособие для студ. вузов, обучающихся по спец. "Математика" / А. Н. Колмогоров, А. Г. Драгалин. – М. : Изд-во Москов. ун-та, 1984. – 119 с. – 0,25.
• Колобов, А. М. Избранные главы высшей математики [Текст]. Ч. 3 : Методы математической физики (дифференциальные уравнения в частных производных второго порядка). Элементы математической логики / А. М. Колобов, Г. С. Неверов. – Минск : Вышэйшая школа, 1971. – 312 с. – 0,68.
• Коханівський, О. П. Від алгоритму до ЕОМ [Текст] : для старшого шкільного віку / О. П. Коханівський. – К. : Рад. школа, 1990. – 172 с. – ISBN 5-330-01301-1 : 0,35.
• Кужель, О. В. Елементи теорії множин і математичної логіки [Текст] : посібник для самоосвіти вчителів / О. В. Кужель. – К. : Рад. школа, 1977. – 160 с.
• Кужель, О. В. Математична логіка та її застосування [Текст] / О. В. Кужель // У світі математики. – 2004. – №1. – С.1-5.
• Кужель, О. В. Математична логіка та її застосування [Текст] / О. В. Кужель // У світі математики. – 2004. – № 4. – С. 9-14.
• Кузичева, З. А. Влияние теории релейно-контактных схем на развитие математической логики [Текст] / З. А. Кузичева // Вестник Московского университета Серия 7. Философия. – 2009. – № 1. – С. 53-62.
• Кутасов, А. Д. Элементы математической логики [Текст] : пособие для учащихся 9–10 кл. / А. Д. Кутасов. – М. : Просвещение, 1977. – 63 с. – 0.10.
• Лавров, И. А. Задачи по теории множеств, математической логике и теории алгоритмов [Текст] : учеб. пособие для мат. фак. ун-тов и пед. ин-тов / И. А. Лавров, Л. Л. Максимова. – М. : Наука, 1975. – 239 с. – 0.90.
• Лакатос, И. Доказательства и опровержения [Текст] : как доказываются теоремы / И. Лакатос ; пер. с англ. И. Н. Веселовского. – М. : Наука, 1967. – 152 с. – 0,50.
• Латка, Франтішек Математичний мінілексикон [Текст] = Minilexikon matematiky / Франтішек Латка ; пер. зі словацької : М. І. Панів, І.-П. П. Сироїд. – Львів : Світ, 1990. – 104 с. – ISBN 5-11-000891-4 : 0,20.
• Мальцев, А. И. Избранные труды [Текст]. Т. 2 : Математическая логика и общая теория алгебраических систем / А. И. Мальцев. – М. : Наука, 1976. – 388 с. – 2,42.
• Марков, А. А. Элементы математической логики [Текст] / А. А. Марков ; под ред. А. Г. Драгалина. – М. : Изд-во Москов. ун-та, 1984. – 79 с. – 0,40.
• Марковъ, А. А. Исчисленіе вероятностей [Текст] / А. А. Марковъ. – 2-е изданіе. – Санктпетербургъ : Типографія Императорской Академіи Наукъ, 1908. – 79 с.

1   2