Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 71 results.

    1.
    No cover image available
    Элементарное введение в математическую логику Пособие для учителей А. А. Столяр

    by Столяр, Абрам Аронович.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Просвещение 1965Availability: No items available :
    Log in to add tags Add to cart
    2.
    Квазиматричная (квазифункциональная) логика Ю. В. Ивлев ; Моск. гос. ун-т им. М. В. Ломоносова

    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
    3.
    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
    4.
    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
    5.
    Математическая логика курс лекций, задачник-практикум и решения : учебное пособие Л. М. Лихтарников, Т. Г. Сукачева

    by Лихтарников, Леонид Моисеевич | Сукачева, Тамара Геннадьевна.

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

    by Мощенский, Владимир Андреевич.

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

    by Кислов, Алексей Геннадьевич | Ольховиков, Григорий Константинович | Уколов, Сергей Юрьевич.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Екатеринбург Изд-во Урал. ун-та 2012Availability: No items available :
    Log in to add tags Add to cart
    8.
    9.
    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
    10.
    Математическая логика [Учебное пособие для математических специальностей педагогических институтов] Л. А. Латотин, Ю. А. Макаренков, В. В. Николаева, А. А. Столяр; Под общ. ред. А. А. Столяра

    by Столяр, Абрам Аронович [авт.-ред.] | Латотин, Леонид Александрович | Макаренков, Юрий Алексеевич | Николаева, Валентина Владимировна.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Минск Вышэйшая школа 1991Availability: No items available :
    Log in to add tags Add to cart
    11.
    12.
    No cover image available
    Введение в математический анализ методическая разработка Том. гос. ун-т, Мех.-мат. фак., Каф. общ. математики ; сост.: Кошельский Ю. К., Панько С. В., Путятина Е. Н.

    by Кошельский, Юрий Константинович [com] | Панько, Сергей Васильевич [com] | Путятина, Елена Николаевна [com] | Томский государственный университет Механико-математический факультет Кафедра общей математики.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск [б. и.] 2007Availability: No items available :
    Log in to add tags Add to cart
    13.
    14.
    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
    15.
    No cover image available
    Сборник задач по математической логике и алгебре множеств А. В. Гохман, М. А. Спивак, В. В. Розен и др.

    by Гохман, Альберт Владимирович | Спивак, М. А | Розен, Виктор Владимирович.

    Edition: 2-е изд., испр. и доп.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Саратов Издательство Саратовского университета 1969Availability: No items available :
    Log in to add tags Add to cart
    16.
    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
    17.
    Теория моделей в Казахстане сборник научных работ, посвященный памяти А. Д. Тайманова под ред. М. М. Еримбетова

    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
    18.
    Математическая логика курс лекций : [учебное пособие для студентов вузов по специальности 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
    19.
    Математическая логика и теория алгоритмов Учебное пособие для студентов физико-математических специальностей педагогических институтов В. И. Игошин

    by Игошин, Владимир Иванович.

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

    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
    21.
    Введение в логику университетский курс : [учебник для студентов вузов, изучающих философские дисциплины] В. А. Бочаров, В. И. Маркин

    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
    22.
    Избранные работы [пер. с нем.] Готлоб Фреге ; [сост. В. В. Анашвили, А. Л. Никифоров]

    by Фреге, Готтлоб, 1848-1925 | Анашвили, Валерий Валерьевич [com] | Никифоров, Александр Леонидович, 1940- [com].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Дом интеллектуальной книги 1997Availability: No items available :
    Log in to add tags Add to cart
    23.
    24.
    Многозначные логики и их применения Том 1

    by Аншаков, Олег Михайлович [com] | Виноградов, Дмитрий Вячеславович [com] | Финн, Виктор Константинович, 1933- [com, edt].

    Edition: Изд. стер.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Издательство ЛКИ 2020Other title: Логические исчисления, алгебры и функциональные свойства / сост.: О. М. Аншаков, Д. В. Виноградов, В. К. Финн ; под ред. В. К. Финна.Availability: No items available :
    Log in to add tags Add to cart
    25.
    Логика [учебник для студентов вузов] Е. К. Войшвилло, М. Г. Дегтярев

    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
    26.
    Математическая логика. Курс лекций. Задачник-практикум и решения Лихтарников Л. М.,Сукачева Т. Г.

    by Лихтарников Л. М | Сукачева Т. Г.

    Edition: 4-е изд., стер.Material type: Text Text; Format: electronic ; Audience: General; Language: Russian Publication details: Санкт-Петербург Лань 2022Online access: Click here to access online | Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    27.
    28.
    29.
    30.
    Лекции и задачи по дискретной математике (от теории к алгоритмам) [учебное пособие для студентов вузов, обучающихся по направлению 050200 Физико-математическое образование] А. Н. Ярыгин, О. Н. Ярыгин ; [науч. ред. А. В. Флегонтов]

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

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Старый Оскол ТНТ 2013Availability: No items available :
    Log in to add tags Add to cart
    31.
    Лекции по математической логике и теории алгоритмов Ч. 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
    32.
    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
    33.
    Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов [учебное пособие по специальностям в области 090100 "Информационная безопасность"] М. М. Глухов, О. А. Козлитин, В. А. Шапошников, А. Б. Шишков

    by Глухов, Михаил Михайлович доктор физ.-мат. наук | Козлитин, Олег Алексеевич | Шапошников, Виталий Анатольевич | Шишков, Алексей Борисович.

    Series: Учебники для вузовMaterial type: Text Text; Format: print available online remote; Literary form: Not fiction Language: Russian Publication details: Санкт-Петербург [и др.] Лань 2008Online access: ЭБС Лань Доступ к полному тексту документа после регистрации пользователя на сайте http://e.lanbook.com/ в локальной сети ТГУ Availability: No items available :
    Log in to add tags Add to cart
    34.
    35.
    Математическая логика учебное пособие Ю. Л. Ершов, Е. А. Палютин

    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
    36.
    37.
    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
    38.
    Математическая логика [учебное пособие для математических специальностей вузов] А. Н. Колмогоров, А. Г. Драгалин ; Моск. гос. ун-т им. М. В. Ломоносова

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

    Series: Классический университетский учебникEdition: Изд. 3-е, стер.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва URSS [и др.] печ. 2006Availability: No items available :
    Log in to add tags Add to cart
    39.
    40.
    No cover image available
    Введение в математическую логику Э. Мендельсон; пер. с англ. Ф. А. Кабакова; под ред. С. И. Адяна

    by Мендельсон, Эллиот | Адян, Сергей Иванович, 1931- [edt].

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: Москва Наука, Физматлит 1971Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    41.
    Дискретная математика и математическая логика [учебник для вузов по специальности "Прикладная информатика (по областям)" и другим экономическим специальностям] Ю. А. Аляев, С. Ф. Тюрин

    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
    42.
    Введение в метаматематику Стефен К. Клини ; пер. с англ. А. С. Есенина-Вольпина ; под ред. В. А. Успенского

    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
    43.
    Математическая логика [учебное пособие для математических специальностей вузов] А. Н. Колмогоров, А. Г. Драгалин ; [отв. ред. Г. Е. Минц] ; Моск. гос. ун-т им. М. В. Ломоносова

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

    Series: Классический университетский учебникEdition: Изд. 2-е, стер.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва УРСС 2005Availability: No items available :
    Log in to add tags Add to cart
    44.
    Логические и математические исчисления учебное пособие Ю. А. Шиханович

    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
    45.
    No cover image available
    Введение в логику и методологию дедуктивных наук Альфред Тарский ; пер. с англ. О. Н. Дынник ; ред. и предисл. к рус. пер. С. А. Яновской ; примеч. Г. М. Адельсона-Вельского

    by Тарский, Альфред, 1901-1983 | Яновская, Софья Александровна, 1896-1966 [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: Москва Издательство иностранной литературы 1948Other title: Introduction to logic and to the methodology of deductive sciences.Availability: No items available :
    Log in to add tags Add to cart
    46.
    47.
    Математическая логика и теория алгоритмов [учебное пособие для студентов по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети"] А. К. Гуц

    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
    48.
    49.
    No cover image available
    Теория алгоритмов [учебное пособие для студентов математических направлений и специальностей университетов] В. М. Зюзьков ; Том. гос. ун-т

    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
    50.