RUSIST
Единый реестр книг

Математическая логика

Показать все ссылки каталога
Einführung in die Theorie der Begriffssysteme
1967
Kauppi Raili
1914
0
Svazy, v nichž platí obecně věta Jordan-Hölderova
1949
Kořínek Vladimír
2381
0
Дискретная математика : учебное пособие
2010
Хусаинов Ахмет Аксанович
688
0
Элементарная математическая логика : учебное пособие для студентов высших учебных заведений, обучающихся по направлению "540200 (050200) - Физико-математическое образование"
2008
Ловягин Юрий Никитич
1901
0
On fixed point operators, inductive definitions and universes in Martin-Löf's type theory : Diss
1991
Palmgren Erik
1976
0
Комплексный анализ; Теория операторов; Математическое моделирование: сб. докл. / Российская акад. наук, Владикавказский науч. центр, Ин-т прикладной математики и информатики, М-во образования и науки РФ, Ростовский госуниверситет, Южно-Российский госуниверситет экономики и сервиса, Волгодонский ин-т сервиса; отв. ред. Ю. Ф. Коробейник, А. Г. Кусраев
2006
1408
0
Задачи по теории множеств, математической логике и теории алгоритмов
2002
Лавров Игорь Андреевич (канд. физ.-мат. наук)
783
0
Основы математической обработки информации : учебно-методическое пособие
2017
792
0
Sprache, Logik, Mathematik : Eine andere Einf. in die Logik = Язык, логика, математика.
2003
Nortmann Ulrich
1740
0
La pensée mathématique pure
1960
Le Roy Édouard (1870-1954)
2408
0
Математическая логика : Конспект лекций по теорет. информатике
2001
Муха Юрий Петрович, Авдеюк Оксана Алексеевна, Скворцов Михаил Георгиевич
2951
0
Математическая логика и теория алгоритмов : методическое пособие : для студентов заочной формы обучения направления ПО
2015
Обухова Галина Александровна
2761
0
Непрерывная логика (история, результаты, библиография) : монография
2008
Левин Виталий Ильич (д-р техн. наук; историк 1936-)
1181
0
Logic year 1979-80, the University of Connecticut, USA : Proc. of the Logic year a. of the Conf. on math. logic, Nov. 11-13, 1979, Storrs
1981
1545
0
Философия и логика : Сборник статей
1974
664
0
On representation theorems for nonmonotonic consequence relations = О теоремах представлений для немонотонных последовательностей [в пропозициональной логике].
1998
Pino Pérez Ramón; Uzcátegui Carlos
782
0
The anatomy of mathematics
1950
Kershner Richard Brandon, Wilcox Lee Roy
1149
0
Логика в информатике : Метод. пособие
2001
Лыскова Вероника Юрьевна, Ракитина Елена Александровна
2276
0
Метод резолюции в логике предикатов первого порядка : Учеб. пособие : Для студентов по курсу "Мат. логика и теория алгоритмов"
1996
Чебыкин Василий Александрович, Новакова Наталия Евгеньевна
1528
0
Математическая логика и алгоритмы : Учеб. пособие
1971
Иножарский В.К.
1039
0
Лекции по математической логике и теории множеств : Учеб. пособие : Ч. 1-
1975
Цирулис Ян Петрович
1786
0
Тестирование и распознавание свойств дискретных функций : учебная монография
2010
Вороненко Андрей Анатольевич (1972-)
2873
0
Математическая логика : учебное пособие
2013
Хан Сун Э
782
0
Избранные труды. Т. 2 : Теория алгорифмов и конструктивная математика ; Математическая логика ; Информатика и смежные вопросы
2003
1314
0
Векторные логики: основания, концепции, модели
2007
Аршинский Леонид Вадимович
2362
0
Automation of reasoning
1983
825
0
Untersuchungen zur Modelltheorie : Von der Eidgenössischen techn. Hochschule in Zürich zur Erlangung der Würde eines Doktors der Mathematik genehmigte Promotionsarbeit
1958
Engeler Erwin
2334
0
Математика и логика цифровых устройств
1965
Калбертсон Джеймс Т.
979
0
Математические методы в теории научно-технической информации : Метод. пособие [В 2 ч.]. Ч. 2 : Математическая логика ; Базы данных
1979
Борщев В.Б.
2794
0
Алгоритмы и нижние оценки на вычислительную сложность задач модификации графов : автореферат дис. на соиск. уч. степ. кандидата физико-математических наук : специальность 01.01.06 <математич. логика>
2016
Близнец Иван Анатольевич
843
0
Алгебра и логика : Учеб. пособие
2000
Дегтев Александр Николаевич
709
0
Введение в теорию алгоритмов : учебное пособие для студентов высших учебных заведений, обучающихся по направлению 540200 "Физико-математическое образование"
2006
Одинец Владимир Петрович, Поспелов Михаил Владимирович
979
0
Логика и структура
2010
Дален Дирк ван
1689
0
Математическая логика : учебное пособие для студентов высших учебных заведений, обучающихся по направлению подготовки магистров "Системный анализ и управление"
2010
Попова Светлана Владимировна (математик)
1907
0
Дискретная математика : учебное пособие [для студентов направлений 080500.62 - "Бизнес-информатика", 230700.62 - "Прикладная информатика" и специальности 080101ю65 - "Экономическая безопасность" в 2 ч.]. Ч. 1 : Начальные понятия теории множеств и отношений, математическая логика
2013
1385
0
Теория автоматов и машинная арифметика : учебное пособие для студентов высших учебных заведений, обучающихся по направлению подготовки "Информатика и вычислительная техника"
2006
Постников Александр Иванович, Вейсов Евгений Алексеевич
2660
0
Дискретная математика. Ч. 2 : Математическая логика
2002
1924
0
Математическая логикa : учебное пособие : для студентов математических факультетов
2014
Алаев Павел Евгеньевич, Максимова Лариса Львовна
2173
0
Избранные главы лекций по математике химико-биологического потока : учебное пособие [для учащихся 10-11 классов]. Ч. 1 : Логика, множества, функции, математический анализ
2017
2623
0
Obtencion de logicas polivalentes : Método de multiplicación de matrices
1972
Bueno Sánchez Eramis; Ruiz Shulcloper José
2105
0
Математическая логика и теория алгоритмов : учебное пособие : для студентов ВГТУ, обучающихся по специальностям: 090102 - Компьютерная безопасность; 090105 - Комплексное обеспечение информационной безопасности автоматизированных систем
2007
Ююкин Николай Алексеевич, Моисеев Сергей Игоревич, Федотенко Галина Федоровна
2747
0
Дискретная математика : учебник : для студентов образовательных учреждений среднего профессионального образования, обучающихся по спрециальностям 2202 "Автоматизированные системы обработки информации и управления (по отраслям)", 2203 "Программное обеспечение вычислительной техники и автоматизированных систем"
2007
Спирина Марина Савельевна, Спирин Павел Алексеевич
583
0
Математическая логика и теория алгоритмов : учебное пособие : для студентов и аспирантов МАТИ всех форм обучения, изучающих дисциплины: "Математическая логика и теория алгоритмов" и "Дискретная математика"
2011
Агарева Ольга Юрьевна, Селиванов Юрий Васильевич
1094
0
Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для студентов высших учебных заведений, обучающихся по специальности 032100 "Математика"
2007
Игошин Владимир Иванович
1976
0
Mathematical logic in the 20th century
2003
Sacks Gerald E
1379
0
Сборник задач по математической логике и дискретной математике : учебное пособие
2008
Лабузов Аркадий Сергеевич
1588
0
Парадокс лжеца и теория познания = Paradox of the liar and the epistemology : билингва
2011
Чернов Владислав Иванович (программист)
1431
0
Элементы математической логики : учебное пособие : для математических специальностей и направлений подготовки университетов
2006
Дурнев Валерий Георгиевич
2537
0
Элементарная математика. Ч. 2 : Системы уравнений и неравенств. Текстовые задачи. Последовательности. Прогрессии. Элементы теории множеств
2011
2661
0
Предикаты в школьном курсе математики
2001
Насибуллов Харис Хатыпович
1671
0
Общие понятия теории множеств и математической логики : учеб. пособие
2003
Белоус Галина Григорьевна
2632
0
Дискретная математика : пособие по решению задач : для студентов технических университетов специальностей 210701.65, 210700.62 ''Инфокоммуникационные технологии и системы связи", 090900.62 "Информационная безопасность", 230700.62 "Прикладная информатика", 090915.65 "Безопасность информационных технологий в правоохранительной сфере" и студентов других специальностей, изучающих курс "Дискретная математика"
2013
Степанов Владимир Николаевич (канд. физ.-мат. наук математика 1949-)
2407
0
Доказательства и опровержения : Как доказываются теоремы
1967
Лакатос И.
647
0
Комбинаторика и логика : Сб. ст.
2003
589
0
Sur un théorème de Skolem
1964
Porta Horacio
2783
0
Логики конечнозначных предикатов на основе неравенств : Учеб. пособие
2000
Косовский Николай Кириллович, Тишков Артем Валерьевич
1848
0
Aspekty algebraiczne systemu modalnego Gödla-Löba
1994
Hawranek Jacek
1287
0
Логические уравнения
2003
Закревский Аркадий Дмитриевич
2506
0
Основные вопросы математической логики : Учеб. пособие
1974
Кобышев А.А., Суринов Ю.А., Иванов В.С.
2285
0
First International symposium on Gödel's theorems, Paris 27-29 May 1991 = Первый международный симпозиум по теоремам Геделя, Париж 27-29 мая 1991г..
1993
International symposium on Gödel's theorems (1 1991 Paris)
2157
0
An outline of mathematical logic : Fundamental results and notions explained with all details
1974
Grzegorczyk Andrzej
2486
0
Математическая логика : дополнительные главы : учебное пособие для студентов математических специальностей вузов
2013
Колмогоров Андрей Николаевич, Драгалин Альберт Григорьевич
2952
0
O dynamické logice
1980
Hájek Petr, Kalášek Pavel, Kůrka Petr
2066
0
Fuzzy logic : State of the art : Based on the papers of the IFSA'91 World conf. held in Brussels in July 1991 = Нечеткая логика. Современное состояние. По материалам всемирной конф. IFSA, Брюссель, июль 1991г..
1993
1409
0
Элементы теоретического программирования: теория типов : учебное пособие к курсу "Теоретические основы программирования"
2016
Кудрявцева Ирина Андреевна (канд. пед. наук программирование)
1188
0
Алгоритмические головоломки
2017
Левитин Ананий В., Левитина Мария
604
0
Category-theoretic logics a. algebras of programs : Akad. avh.
1983
Dybjer Peter
2596
0
Примеры формализации некоторых отношений
1961
Калужнин Лев Аркадьевич
1106
0
Fundamentals and logical foundations of truth maintenance : Akad. avh
1989
Reinfrank Michael
1059
0
Русская правда : Всерос. журн. Рус. нац.-освободит. движения. № 39А : Русская логика - это очень просто!
2006
Лобанов Владимир Иванович
2419
0
Математическая логика и теория алгоритмов : Учеб. пособие для студентов вузов, обучающихся по спец. 220200 "Автоматизир. системы обраб. информации и упр.", 654600 "Информатика и вычисл. техника"
2004
Шапорев Сергей Дмитриевич
1994
0
Введение в математическую логику и её технические приложения : Учеб. пособие
1964
Грошев А.В., Скуридин В.П.
1072
0
Aspectos de la lógica modal
1971
Makinson David
2233
0
Grundzüge der theoretischen Logik
1959
Hilbert David, Ackermann Wilhelm
2005
0
Дискретная математика : электронный курс : для самостоятельной работы студентов
2012
Матвеев Владимир Александрович (канд. физ.-мат. наук)
1375
0
Математическая логика и алгебра : Сб. ст
2003
535
0
Алгебра множеств
1979
Козлов Константин Петрович
1263
0
Факторизации и ширина групп Шевалле над маломерными кольцами : автореферат дис. на соиск. уч. степ. кандидата физико-математических наук : специальность 01.01.06 <математическая логика>
2015
Смоленский Андрей Вадимович
1383
0
Логика. Комбинаторика. Графы : Учеб. пособие по курсу "Дискрет. математика"
2001
Насыров З. Х.
2680
0
Тезисы кратких сообщений
1972
Всесоюзная конференция по математической логике (2 1972 Москва)
959
0
Математическая логика : курс лекций : учебное пособие для студентов высших учебных заведений, обучающихся по специальности 032100 - математика
2007
Тимофеева Ирина Леонидовна (д-р пед. наук)
1318
0
ЛОГИЧЕСКИЕ методы в компьютерных науках = Logical methods in computer sciences : Сб. ст.
1991
2044
0
Нечеткая логика и искусственные нейронные сети : Учеб. пособие для студентов вузов, обучающихся по спец. "Приклад. информатика (по обл.)"
2001
Круглов Владимир Васильевич, Дли Максим Иосифович, Голунов Роман Юрьевич
1121
0
Дискретная математика. Математическая логика и теория алгоритмов : учебное пособие
2015
Дьячкина Ирина Павловна, Плотникова Надежда Валентиновна, Сарычева Ирина Анатольевна
2056
0
Lewis Carroll's Symbolic logic : Part I, elementary, 1896, fifth edition, part II, advanced, never previously publ. : Together with letters from Lewis Carroll to eminent nineteenth-century logicians a. to his "logical sister", a. eight versions of the Barber-shop paradox
1977
Carroll Lewis ([pseud.] 1832-1898)
3004
0
Конспект лекций по дискретной математике : с упражнениями и контрольными работами
2007
Галушкина Юлия Ивановна, Марьямов Александр Наумович
1374
0
Introduction to mathematical logic
1973
Hermes Hans
2098
0
Дискретная математика : учебник : для студентов образовательных учреждений среднего профессионального образования, обучающихся по спрециальностям 2202 "Автоматизированные системы обработки информации и управления (по отраслям)", 2203 "Программное обеспечение вычислительной техники и автоматизированных систем"
2007
Спирина Марина Савельевна, Спирин Павел Алексеевич
2859
0
Элементы математической логики : учебно-методическое пособие для студентов, обучающихся по специальности 050200 Физико-математическое образование
2009
Ованесов Николай Гаврилович
1151
0
Элементы математической логики : учебно-методическое пособие : для студентов факультета среднего профессионального образования, обучающихся по специальностям 09.02.03 "Программирование в компьютерных системах" и 09.02.01 "Компьютерные системы и комплексы"
2016
Черницина Валентина Яковлевна
1242
0
Логический принцип евклидовой единственности
2017
Проскуряков Михаил Н.
744
0
Математическая логика : учебное пособие
2014
Хаджи Анна Александровна, Гаврикова Юлия Владимировна
1884
0
Логические основы математики : 10-11 классы : методические рекомендации
2007
Гетманова Александра Денисовна
985
0
Алгебраические неассоциативные структуры и их приложения в криптографии : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 <Математическая логика, алгебра и теория чисел>
2015
Грибов Алексей Викторович
2363
0
Азбука математической логики
1967
Мельников Геннадий Прокопьевич ((лингвист) 1928-2000)
665
0
Методы обработки нестрогих высказываний
1998
Аршинский Леонид Вадимович
2736
0
Логическая математика для младших школьников
1998
2234
0
Syntactic algebra: axioms for an algebra of functions
1965
Davis Allen S.
850
0
Компьютерное моделирование в системе Mathcad : учебное пособие для студентов вузов, обучающихся по специальности "Автоматизированные системы обработки информации и управления" в рамках направления "Информатика и вычислительная техника"
2006
Охорзин Владимир Афанасьевич
2633
0
Дискретная математика: математическая логика, элементы теории кодирования и теории графов : учебное пособие
2009
Багинян Сергей Агабекович, Иванов Виктор Владимирович, Севастьянов Леонид Антонович
3001
0
Классификация счетных моделей полных теорий = Classification of countable models of complete theories : в 2 ч.
2014
Судоплатов Сергей Владимирович (1964-)
2572
0
Дискретная математика и математическая логика : учебник для студентов высших учебных заведений, обучающихся по специальности "Прикладная информатика (по областям)" и другим экономическим специальностям
2006
Аляев Юрий Александрович, Тюрин Сергей Феофентович
2520
0
Theory of formal systems
1961
Smullyan Raymond Merrill
731
0
Языки и исчисления
2000
Верещагин Н. К., Шень Александр Ханьевич
1175
0
Математическая логика : Курс лекций : Задачник-практикум и решения : Учеб. пособие для студентов вузов, обучающихся по мат. спец
1999
Лихтарников Леонид Моисеевич, Сукачева Тамара Геннадьевна
1418
0
Парадокс лжеца и теория познания = Paradox of the liar and the epistemology : билингва
2011
Чернов Владислав Иванович (программист)
2545
0
Введение в теорию моделей и метаматематику алгебры
1967
Робинсон Авраам
1671
0
Множества и операции над ними, отношения и функции, мощность множеств, комбинаторика, метод математической индукции : учебное пособие для студентов всех форм обучения, по направлениям 230401 "Прикладная математика", 010500 "Прикладная математика и информатика", 010300 "Математика. Компьютерные науки"
2009
Ахметова Наиля Абдулхамитовна, Водопьянов Владимир Васильевич
793
0
Математическая логика и машины
1962
Ефремов Георгий Осипович
834
0
Дискретная математика : алгоритмы и программы : полный курс : учебное пособие
2007
Иванов Борис Николаевич (математик)
2686
0
Mathematical logic
1957
Goodstein Reuben Louis
2262
0
Relacje ancestralne w systemie semantyki
1938
Hetper Władysław
2035
0
Алгоритмизация и программирование вычислительных методов на языке Borland Pascal : учеб. пособие в сфере образования для студентов (курсантов) учеб. заведений, аспирантов, слушателей системы повышения квалификации и переподгот. кадров, обучающихся по специальностям водного трансп. : учеб. пособие для студентов вузов, обучающихся по группе направлений подгот. бакалавров 550000-"техн. науки"-дисциплинам "Числ. методы" и "Вычисл. методы и программирование"
2005
Неклюдов Сергей Юрьевич (канд. техн. наук 1951-)
2132
0
Дискретная математика для гуманитариев : учебное пособие : для студентов специальности 351400 "Прикладная математика (по областям применения)"
2006
Оревков Владимир Павлович, Оревкова Ольга Алексеевна
1485
0
Свойства многообразий ассоциативных алгебр, задаваемые на языке производных объектов: индикаторные и эквациональные характеризации : автореферат дис. на соиск. уч. степ. доктора физико-математических наук : специальность 01.01.06 <Математическая логика, алгебра и теория чисел>
2016
Финогенова Ольга Борисовна
914
0
Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem
1990
Jacobsson Carl
2277
0
Формализованный и конструктивистский подход к проблеме истинности в математической логике
1964
Рыжков Анатолий Георгиевич
940
0
Прикладная логика : Учеб. пособие : По специальностям "Математика", "Прикладная математика", "Лингвистика", "Философия" и "Психология"
2000
Непейвода Николай Николаевич
1211
0
Озадачник : 133 вопроса на знание логики, математики и физики
2017
Полуэктов Павел Петрович (д-р физ.-мат. наук 1949-2015)
1924
0
Математическая логика
1961
Гудстейн Рейбен Луис
1132
0
Исследование k-дуг в плоскости над правым почти-полем порядка 9 : автореферат дис. на соиск. уч. степ. кандидата физико-математических наук : специальность 01.01.06 <Математическая логика, алгебра и теория чисел>
2016
Шарафутдинова Анна Михайловна
835
0
Прямая и обратная теоремы : Элементы алгебры логики
1972
Градштейн Израиль Соломонович
1442
0
Proceedings of the Third Brazilian conference on mathematical logic, [UFPe-Recife, Dec. 17-22, 1979]
1980
Brazilian conference on mathematical logic (3 1979 Recite)
1956
0
Прикладная математика в системе MAТHCAD : учеб. пособие для студентов вузов, обучающихся по спец. "Системы упр. летат. аппаратами" направления подгот. дипломир. специалистов "Системы упр. движением и навигация"
2004
Охорзин Владимир Афанасьевич
2132
0
Цикл лекций "Основы математической логики" на научно-техническом семинаре "Математический аппарат кибернетики" : (Материалы семинара)
1961
Глушков Виктор Михайлович
2836
0
Конспект лекций по математической логике и теории множеств
1974
Гладкий Алексей Всеволодович
676
0
Курс математической логики и теории вычислимости : учебное пособие
2011
Герасимов Александр Сергеевич (канд. физ.-мат. наук математика)
1869
0
Русская логика для академиков и школьников
2014
Лобанов Владимир Иванович
863
0
Разрешимость исчисления предикатов 1-й степени = Solvability of the first stage predicates calculation
2005
Стрыгин Владимир Захарович
1690
0
Theory and practice of tense-bound object references : Akad. avh
1992
Rönnquist Ralph
624
0
Сильные операторы замыкания : учебное пособие
2017
Марченков Сергей Серафимович
2673
0
Дискретная математика : учебное пособие
2009
1906
0
Нечеткая логика: алгебраические основы и приложения
2002
Блюмин Семен Львович, Шуйкова Инесса Анатольевна, Сараев П. В., Черпаков И. В.
2988
0
Обучение формализации и проверке правильности рассуждений средствами исчислений высказываний и предикатов : учебное пособие
2013
Косовская Татьяна Матвеевна
767
0
Пролегомены к инновационной войне по основаниям гармонической математики
2002
Петросян Вадим Кармленович
2774
0
Алгебра логики в золотом сечении : еще один шаг в область нечетких логик и компьютерного интеллекта
2006
Наголкин Андриан Николаевич
2132
0
Математическая логика и теория алгоритмов в примерах и задачах : Учеб. пособие по спец. 032100 "Математика" по курсу "Дискрет. анализ" для студентов физ.-мат. фак
2004
Самойленко Анатолий Петрович, Усенко Ольга Александровна
1914
0
Принцип квазифункциональности и многозначные логики : Автореф. дис. на соиск. учен. степ. канд. филос. наук : (09.00.07)
1991
Ляшенко Ольга Валентиновна
2690
0
Logique, automatique, informatique
1971
Bîscă O.; Boicescu V.; Căzănescu V. E.
1340
0
Introduction to mathematical logic : Vol. 1-
1956
Church Alonzo
1750
0
100 плюс 20 логических задач по математике : сборник
2008
Гольбина Н. М.
1712
0
Введение в математику
1957
Клини Стефен Коул
2960
0
Алгебраические и алгоритмические свойства логических исчислений : в 2 ч.
2009
Гончаров Сергей Севостьянович, Дроботун Борис Николаевич, Никитин Александр Александрович
2803
0
Элементы логики высказываний : Учеб. материалы для учащихся 9 кл. с углубл. изучением гуманит. предметов
1971
Лис В.Е.
1044
0
Лекции о вычислимых функциях
1960
Успенский Владимир Андреевич
2095
0
Многозначные и многомерные булевы небулевы алгебры логики А.В. Короткова и Пифагоровы числа в искусствнном интеллекте и криптографических системах : сборник статей : посвящается всем участникам Советской космической программы
2011
1956
0
Введение в математическую логику
1960
Черч Алонзо
2392
0
Математическая логика и теория алгоритмов : учеб. пособие
2004
Кожухов Игорь Борисович
2236
0
Элементы математической логики : Пособие для учащихся 9-10 кл
1977
Кутасов Александр Дмитриевич
2439
0
Информатика : логика и алгоритмы : эффективные методы решения задач : пособие для самостоятельной работы : для 10-11 классов
2013
2038
0
Прикладная математика в системе MAТHCAD : учебное пособие для студентов высших учебных заведений, обучающихся по направлению подготовки дипломированного специалиста 160400 - "Системы управления движением и навигации" и специальности "Системы управления летательными аппаратами"
2008
Охорзин Владимир Афанасьевич
1706
0
Higher order logic theorem proving and its applications : 7th Intern. workshop, Valletta, Malta, Sept. 19-22, 1994 : Proceedings = Доказательство теорем логики высшего порядка и его применение. Труды седьмого международного семинара, Валетта, Мальта, 19-22 сентября 1994г. .
1994
1268
0
Основания теоретической информатики. 5 : Логическая семантика и дискретные аппроксимации
1997
1907
0
On simultaneous rigid E-unification : Diss = О совместной жёсткой Е-унификации [в математической логике].
1997
Veanes Margus
957
0
Тезисы докладов
1969
Всесоюзный симпозиум по математической логике (1969 Алма-Ата)
2871
0
Графы и алгоритмы. Структуры данных. Модели вычислений : учебник : для студентов, обучающихся по специальности 010200 - Прикладная математика и информатика и по направлению 510200 - Прикладная математика и информатика
2006
Алексеев Владимир Евгеньевич (д-р физ.-мат. наук 1943-)
2288
0
Компьютерные версии вычислений с оракулами : учебное пособие
2014
Ганов Валерий Александрович, Дегтерева Руслана Валерьевна, Карымов Владимир Рабхатович
1358
0
Элементы математической логики : учебно-методическое пособие
2017
1708
0
Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для студентов высших учебных заведений, обучающихся по специальности 032100 "Математика"
2005
Игошин Владимир Иванович
1842
0
1-o Encontro brasileiro de lógica, 4-6 jul. 1977
1977
Encontro brasileiro de lógica (1 1977 Campinas)
1985
0
Конструктивная математическая логика с точки зрения классической
1977
Новиков Петр Сергеевич
2075
0
Logically determined design : clockless system design with NULL convention logic
2005
Fant Karl M
1191
0
Теория R-функций : учебное пособие для студентов высших учебных заведений, обучающихся по специальности 010501 - "Прикладная математика и информатика"
2008
Каледин Валерий Олегович (д-р техн.наукматематическое моделирование)
1312
0
Избранные вопросы алгебры и логики : Сборник, посвящ. памяти А.И. Мальцева
1973
2954
0
Логические исследования : Сборник статей
1959
1050
0
Математическая логика : учебно-методическое пособие
2004
Петрунина Светлана Николаевна
2141
0
Математическая логика : курс лекций и практ. занятий : учеб. пособие для студентов вузов, обучающихся по специальностям 220200 "Автоматизир. системы обработки информации и упр.", 071900 "Информ. системы в технике и технологиях"
2005
Шапорев Сергей Дмитриевич
1257
0
Элементы математической логики : Алгебра логики : (Для студентов специальности 0606)
1968
Ганджа Леонид Ионович
1678
0
Logic of statistical inference
1965
Hacking Ian
1861
0
Задачи по теории множеств, математической логике и теории алгоритмов
1995
Лавров Игорь Андреевич (канд. физ.-мат. наук)
831
0
Les reticules de Morgan et l'operation de Sheffer
1964
Monteiro Luiz F. T.; Picco Dario
852
0
Krytyka pojęcia zmiennej w systemie semantyki racjonalnej
1938
Chwistek Leon
2541
0
Усиленный закон взаимности Суслина и смежные вопросы : автореферат дис. на соиск. уч. степ. кандидата физико-математических наук : специальность 01.01.06 <Математическая логика, алгебра и теория чисел>
2016
Руденко Даниил Глебович
1820
0
Предел Кеплера
2006
Попов Валентин Германович
2774
0
Логическое представление нечетких знаний и его применение для решения прикладных задач качественного характера
2001
Серов Владимир Васильевич
515
0
Секреты логической зависимости
2001
Сидоренко Олег Иванович
1781
0
Дискретная математика. Ч. 1 : Теория множеств. Математическая логика
2000
737
0
Проблема Лахлана
2009
Судоплатов Сергей Владимирович
797
0
Elementy logiki matematycznej : skrypt autoryzowany
2008
Łukasiewicz Jan
2757
0
Начала теории множеств
2008
Верещагин Николай Константинович, Шень А. Х.
2316
0
Elementary logic
1966
Quine Willard van Orman (1908-2000)
1826
0
Математическая логика : учебное пособие для студентов высших учебных заведений, обучающихся по направлениям и специальностям: "Математика", "Прикладная математика и информатика", "Механика"
2011
Ершов Юрий Леонидович, Палютин Евгений Андреевич
775
0
Принцип евклидовой единственности и гипотеза Серпинского о разности простых чисел
2017
Проскуряков Михаил Н.
1798
0
Die mittelbare Axiomatisierung der die Implikation enthaltenden Systeme des zweiwertigen Aussagenkalküls
1959
Mleziva Miroslav
2031
0
Mathematik, Logik und Erfahrung
1970
Kraft Victor
2813
0
Die Grundlagen der Mathematik
1928
Hilbert David
1011
0
Algorithmes de démonstrations automatique pour le calcul des prédicats classique : Thèse présentée à la Faculté des sciences de l'Univ. de Lille ..
1967
Ngoa Marie-Hélène
1214
0
Математическая логика : курс лекций
2013
Изаак Дмитрий Давидович
1239
0
Дискретная математика: множества, логика, графы : учебно-методическое пособие
2014
Жарова И. Г., Ушенин Михаил Васильевич
1455
0
Математическая логика : учебное пособие
2010
Старикова Ольга Александровна
676
0
Элементы теории множеств и математической логики : учебное пособие : для студентов высших учебных заведений, обучающихся по специальности "Математика" и по направлениям "Математика" и "Математика. Прикладная математика"
2009
Дурнев Валерий Георгиевич
1661
0
On variable functors of propositional arguments
1951
Lukasiewicz Jan
1242
0
Актуальные вопросы математической логики и теории множеств : (Сборник трудов)
1975
1953
0
Логические упражнения по элементарной математике : Для мат. фак. пед. вузов
1965
Драбкина Мария Ефимовна
1056
0
Duality and definability in first order logic
1993
Makkai Michael
1388
0
Алгоритмы : построение и анализ
2004
Кормен Томас, Лейзерсон Чарльз, Ривест Рональд Линн
1623
0
Комбинаторные методы моделирования дискретных распределений : учеб. пособие для мат. специальностей и направлений
2006
Кузьмин Олег Викторович (д-р физ.-мат. наук)
1682
0
Funkcje rekurencyjne i elementy metamatematyki : problemy zupełności, rozstrzygalności, twierdzenia Gödla
2010
Murawski Roman
2716
0
Основы формальных логических языков : Учеб. пособие
2003
Коротков Максим Алексеевич, Степанов Евгений Олегович
1889
0
Математическая логика и теория алгоритмов : Задачник
2003
Романов Владимир Федорович
659
0
Также в рубрике и скоро будут опубликованы: