Scientific Library of Tomsk State University

   E-catalog        

Refine your search


База знаний по целевым капиталам

  •    Эндаумент
       Фандрайзинг
       Нормативные документы

    • Your search returned 68 results.

    1.
    Квазиматричная (квазифункциональная) логика Ю. В. Ивлев ; Моск. гос. ун-т им. М. В. Ломоносова

    by Ивлев, Юрий Васильевич, 1936-.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Издательство Московского университета 2018Availability: No items available :
    Log in to add tags Add to cart
    2.
    Einstieg in die mathematische Logik Gert Boehme

    by Boehme, Gert.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Muenchen Wien Hanser Verlag 1981Availability: No items available :
    Log in to add tags Add to cart
    3.
    Теорема Гёделя Э. Нагель, Дж. Р. Ньюмен ; сокр. пер. с англ. Ю. А. Гастева

    by Нагель, Эрнест, 1901-1985 | Ньюмен, Джеймс Рой.

    Series: Науку - всем! Шедевры научно-популярной литературыEdition: Изд. 3-еMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: Москва URSS 2011Other title: Gödel's proof.Availability: No items available :
    Log in to add tags Add to cart
    4.
    Решетка замкнутых классов самодвойственных функций трехзначной логики Д. Н. Жук ; Московский гос. ун-т им. М. В. Ломоносова, Мех.-мат. фак.

    by Жук, Дмитрий Николаевич.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Summary language: English Publication details: Москва Издательство Московского университета 2011Availability: No items available :
    Log in to add tags Add to cart
    5.
    No cover image available
    Элементы математической логики П. С. Новиков

    by Новиков, Петр Сергеевич.

    Series: Математическая логика и основания математикиMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Физматгиз 1959Availability: No items available :
    Log in to add tags Add to cart
    6.
    No cover image available
    Конспект лекций О. Б. Лупанова по курсу "Введение в математическую логику" Электронный ресурс [учебное пособие для студентов и аспирантов] Моск. гос. ун-т им. М. В. Ломоносова, Механико-математ. фак. ; [отв. ред. А. Б. Угольников]

    by Лупанов, Олег Борисович | Угольников, Александр Борисович [edt].

    Material type: Text Text; Format: print available online remote; Literary form: Not fiction Publication details: Москва Издательство ЦПИ при механико-математическом факультете МГУ им. М. В. Ломоносова 2007Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    7.
    No cover image available
    Введение в метаматематику Стефен К. Клини; Пер. с англ. А. С. Есенина-Вольпина; Под ред. В. А. Успенского

    by Клини, Стивен Коул, 1909-1994.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: М. Издательство иностранной литературы 1957Other title: Introduction to metamathematics.Availability: No items available :
    Log in to add tags Add to cart
    8.
    9.
    10.
    No cover image available
    Математическая логика Учебное пособие для математических специальностей вузов Ю. Л. Ершов, Е. А, Палютин

    by Ершов, Юрий Леонидович, 1940- | Палютин, Евгений Андреевич, 1945-.

    Edition: 2-е изд., испр. и доп.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва Наука, Главная редакция физико-математической литературы 1987Availability: No items available :
    Log in to add tags Add to cart
    11.
    No cover image available
    Математическая логика Учебное пособие для математических специальностей вузов Ю. Л. Ершов, Е. А, Палютин

    by Ершов, Юрий Леонидович, 1940- | Палютин, Евгений Андреевич, 1945-.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. Наука. Физматлит 1979Availability: No items available :
    Log in to add tags Add to cart
    12.
    No cover image available
    Теория доказательств Г. Такеути; Пер. с англ. С. К. Соболева; Под ред. С. И. Адяна

    by Такеути, Г | Адян, С. И [ред.].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: М. Мир 1978Other title: Proof theory.Availability: No items available :
    Log in to add tags Add to cart
    13.
    Полиномиальные алгоритмы решения переборных задач В. З. Стрыгин

    by Стрыгин, Владимир Захарович.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Воскресенск Лира 2002Availability: No items available :
    Log in to add tags Add to cart
    14.
    Математическая логика курс лекций : [учебное пособие для студентов вузов по специальности 032100 "Математика"] И. Л. Тимофеева

    by Тимофеева, Ирина Леонидовна.

    Edition: 2-е изд., перераб.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва КДУ 2007Availability: No items available :
    Log in to add tags Add to cart
    15.
    Теория моделей в Казахстане сборник научных работ, посвященный памяти А. Д. Тайманова под ред. М. М. Еримбетова

    by Еримбетов, Мырзахан Мырзахметович [edt].

    Material type: Text Text; Format: print ; Nature of contents: festschrift biography; Literary form: Not fiction ; Audience: Specialized; Publication details: Алматы Eco Study 2006Availability: No items available :
    Log in to add tags Add to cart
    16.
    Введение в логику университетский курс : [учебник для студентов вузов, изучающих философские дисциплины] В. А. Бочаров, В. И. Маркин

    by Бочаров, Вячеслав Александрович, 1937-2012 | Маркин, Владимир Ильич, 1958- [aut].

    Series: Высшее образованиеMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Форум [и др.] 2010Availability: No items available :
    Log in to add tags Add to cart
    17.
    Лекции и задачи по дискретной математике (от теории к алгоритмам) [учебное пособие для студентов вузов, обучающихся по направлению "Прикладная математика и физика"] А. Н. Ярыгин, О. Н. Ярыгин ; [науч. ред. А. В. Флегонтов]

    by Ярыгин, Анатолий Николаевич | Ярыгин, Олег Николаевич | Флегонтов, Александр Владимирович [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Старый Оскол ТНТ 2017Availability: No items available :
    Log in to add tags Add to cart
    18.
    19.
    Логика [учебник для студентов вузов] Е. К. Войшвилло, М. Г. Дегтярев

    by Войшвилло, Евгений Казимирович, 1913-2008 | Дегтярев, Михаил Григорьевич, 1958-.

    Series: Учебник для вузовMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва ВЛАДОС [и др.] 2010Availability: No items available :
    Log in to add tags Add to cart
    20.
    21.
    Математическая логика Р. Л. Гудстейн ; пер. с англ. В. С. Чернявского ; под ред. и с предисл. С. А. Яновской

    by Гудстейн, Рейбен Луис | Яновская, Софья Александровна, 1896-1966 [edt].

    Series: Физико-математическое наследиеEdition: Изд. 2-еMaterial type: Text Text; Format: print ; Nature of contents: biography; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: Москва ЛИБРОКОМ 2010Other title: Mathematical Logic.Availability: No items available :
    Log in to add tags Add to cart
    22.
    23.
    Математическая логика С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца

    by Клини, Стивен Коул, 1909-1994.

    Edition: Изд. 2-е, стереотип.Material type: Text Text; Format: print Language: Russian Original language: English Publication details: Москва Едиториал УРСС 2005Availability: No items available :
    Log in to add tags Add to cart
    24.
    Лекции по математической логике и теории алгоритмов Ч. 2 Н. К. Верещагин, А. Шень

    by Верещагин, Николай Константинович, 1958- | Шень, Александр Ханиевич, 1958-.

    Series: Современные лекционные курсыMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. МЦНМО 2000Other title: Языки и исчисления.Availability: No items available :
    Log in to add tags Add to cart
    25.
    Математическая логика С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца

    by Клини, Стивен Коул, 1909-1994.

    Edition: Изд. 3-е, стереотип.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Original language: English Publication details: М. Едиториал УРСС 2007Availability: No items available :
    Log in to add tags Add to cart
    26.
    No cover image available
    Задачи по логике пособие для студентов-математиков НГУ И. А. Лавров, Л. Л. Максимова ; Новосиб. гос. ун-т

    by Лавров, Игорь Андреевич | Максимова, Лариса Львовна.

    Series: Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Новосибирск [б. и.] 1970Availability: No items available :
    Log in to add tags Add to cart
    27.
    Задачи по теории множеств, математической логике и теории алгоритмов И. А. Лавров, Л. Л. Максимова

    by Лавров, Игорь Андреевич | Максимова, Лариса Львовна.

    Edition: 5-е изд.Material type: Text Text; Format: print Publication details: Москва Физматлит [и др.] 2002Availability: No items available :
    Log in to add tags Add to cart
    28.
    Математическая логика учебное пособие Ю. Л. Ершов, Е. А. Палютин

    by Ершов, Юрий Леонидович, 1940- | Палютин, Евгений Андреевич, 1945-.

    Series: Учебники для вузовEdition: Изд. 3-е, стереотип.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: СПб. [и др.] Лань 2004Availability: No items available :
    Log in to add tags Add to cart
    29.
    No cover image available
    Лекции по математической логике и теории алгоритмов Электронный ресурс учебно-методический комплекс Агибалов Г. П. ; Том. гос. ун-т, Ин-т дистанционного образования

    by Агибалов, Геннадий Петрович, 1939-2020 | Томский государственный университет Институт дистанционного образования.

    Material type: Computer file Computer file; Format: electronic available online remote Publication details: Томск ИДО ТГУ 2007Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    30.
    Дискретная математика и математическая логика [учебник для вузов по специальности "Прикладная информатика (по областям)" и другим экономическим специальностям] Ю. А. Аляев, С. Ф. Тюрин

    by Аляев, Юрий Александрович | Тюрин, Сергей Феофентович.

    Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Финансы и статистика 2006Availability: No items available :
    Log in to add tags Add to cart
    31.
    Введение в метаматематику Стефен К. Клини ; пер. с англ. А. С. Есенина-Вольпина ; под ред. В. А. Успенского

    by Клини, Стивен Коул, 1909-1994.

    Series: Физико-математическое наследиеEdition: Изд. 2-е, испр.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: Москва ЛИБРОКОМ 2009Other title: Introduction to metamathematics.Availability: No items available :
    Log in to add tags Add to cart
    32.
    Курс математической логики и теории вычислимости учебное пособие : [для студентов по направлению подготовки "Компьютерные и информационные науки", "Информатика и вычислительная техника" и др.] А. С. Герасимов

    by Герасимов, Александр Сергеевич.

    Series: Учебники для вузовEdition: Изд. 4-е, перераб. и доп.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Санкт-Петербург [и др.] Лань 2014Availability: No items available :
    Log in to add tags Add to cart
    33.
    34.
    Логические и математические исчисления учебное пособие Ю. А. Шиханович

    by Шиханович, Юрий Александрович.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва Научный мир 2011Availability: No items available :
    Log in to add tags Add to cart
    35.
    Задачи по теории множеств, математической логике и теории алгоритмов И. А. Лавров, Л. Л. Максимова

    by Лавров, Игорь Андреевич | Максимова, Лариса Львовна.

    Edition: Изд. 5-е, испр.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва Физматлит 2009Availability: No items available :
    Log in to add tags Add to cart
    36.
    37.
    Математическая логика и теория алгоритмов [учебное пособие для студентов по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети"] А. К. Гуц

    by Гуц, Александр Константинович, 1947-.

    Edition: Изд. 3-е, испр.Material type: Text Text; Format: print ; Nature of contents: biography; Literary form: Not fiction Publication details: Москва Ленанд 2016Availability: No items available :
    Log in to add tags Add to cart
    38.
    39.
    40.
    Избранные труды Т. 2 А. А. Марков ; сост. и общ. ред. Н. М. Нагорного

    by Марков, Андрей Андреевич младший, 1903-1979 | Нагорный, Николай Макарович [com, edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Изд-во МЦНМО 2003Other title: Теория алгоритмов и конструктивная математика, математическая логика, информатика и смежные вопросы.Availability: No items available :
    Log in to add tags Add to cart
    41.
    Математическая логика и теория алгоритмов А. К. Гуц

    by Гуц, Александр Константинович, 1947-.

    Edition: Изд. 2-е, доп.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва ЛИБРОКОМ 2009Availability: No items available :
    Log in to add tags Add to cart
    42.
    Математическая логика [Учебное пособие для математических специальностей вузов] А. Н. Колмогоров, А. Г. Драгалин; Моск. гос. ун-т им. М. В. Ломоносова

    by Колмогоров, Андрей Николаевич, 1903-1987 | Драгалин, Альберт Григорьевич, 1941-1998.

    Series: Классический университетский учебникMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. Едиториал УРСС 2004Availability: No items available :
    Log in to add tags Add to cart
    43.
    Проблема логического обоснования дедуктивно-математического знания от античности до XX века логико-математический и философский аспекты Б. В. Бирюков, Л. Г. Бирюкова

    by Бирюков, Борис Владимирович, 1922-2014 | Бирюкова, Любовь Гавриловна.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Ленанд 2015Availability: No items available :
    Log in to add tags Add to cart
    44.
    Математическая логика дополнительные главы : [учебное пособие для студентов математических специальностей вузов] А. Н. Колмогоров, А. Г. Драгалин ; Моск. гос. ун-т им. М. В. Ломоносова ; [редкол.: с. Г. Е. Минц (отв. ред.) и др.]

    by Колмогоров, Андрей Николаевич, 1903-1987 | Драгалин, Альберт Григорьевич, 1941-1998 | Минц, Г. Е [edt].

    Series: Классический университетский учебникEdition: Изд. 4-е, обновл.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва Едиториал УРСС 2013Availability: No items available :
    Log in to add tags Add to cart
    45.
    Лекции по математической логике Ч. 1 [учебное пособие для математических направлений и специальностей университетов] В. А. Романович ; Том. гос. ун-т

    by Романович, Владимир Александрович | Томский государственный университет.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск Том. гос. ун-т 2005Availability: No items available :
    Log in to add tags Add to cart
    46.
    No cover image available
    Математические методы оптимизации и управления в сложных системах межвузовский тематический сборник ЛГУ им. А. А. Жданова, Калининский гос. ун-т ; [редкол.: Ю. А. Абрамов (отв. ред.) и др.]

    by Абрамов, Юлий Алексеевич [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Калинин Калининский государственный университет 1982Availability: No items available :
    Log in to add tags Add to cart
    47.
    Логические модели интеллектуальных информационных систем Ф. И. Андон, А. Е. Яшунин, В. А. Резниченко; Отв. ред. . И. В. Сергиенко; Нац. акад. наук Украины, Ин-т программных систем

    by Андон, Филипп Илларионович | Яшунин, Александр Евгеньевич | Резниченко, Валерий Анатольевич.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Киев Наукова думка 1999Availability: No items available :
    Log in to add tags Add to cart
    48.
    No cover image available
    Вводный курс математической логики [учебное пособие] В. А. Успенский, Н. К. Верещагин, В. Е. Плиско

    by Успенский, Владимир Андреевич, 1930-2018 | Верещагин, Николай Константинович, 1958- | Плиско, Валерий Егорович.

    Edition: 2-е изд.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва Физматлит 2007Availability: No items available :
    Log in to add tags Add to cart
    49.
    Вводный курс математической логики [учебное пособие] В. А. Успенский, Н. К. Верещагин, В. Е. Плиско

    by Успенский, Владимир Андреевич, 1930-2018 | Верещагин, Николай Константинович, 1958- | Плиско, Валерий Егорович.

    Edition: [2-е изд.]Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. Физматлит 2004Availability: No items available :
    Log in to add tags Add to cart
    50.
    Лекции по математике Т. 16 [учебное пособие для студентов, преподавателей] В. Босс

    by Босс, Валерий, 1944-.

    Edition: Изд. стер.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва ЛИБРОКОМ 2014Other title: Теория множеств: от Кантора до Коэна.Availability: No items available :
    Log in to add tags Add to cart