Поисковый запрос: (<.>S=Математическая логика<.>) |
Общее количество найденных документов : 365
Показаны документы с 1 по 10 |
|
| 1. | 2017к/31431
Яновская, София Александровна .
Логика и философия математики / С. А. Яновская ; под ред. и с коммент. составителей Б. В. Бирюкова и З. А. Кузичевой. - Москва : URSS : Ленанд, 2016 (сор. 2015). - 200 с. : ил., факс. ; 22 см. - (Из научного наследия). - Библиогр. в примеч. - Предм. указ.: с. 195-197 . - Имен. указ.: с. 198-200. - ISBN 978-5-9710-2417-0.
ББК В12в В1в
Рубрики: Философские науки -- Логика -- Логика как общая наука -- Философские вопросы математической логики
Физико-математические науки -- Математика -- Философские основы математики
Физико-математические науки -- Математика -- Математическая логика. Основания математики
Математика
Математическая логика
Доп.точки доступа: Бирюков, Борис Владимирович \сост.\; Кузичева, З. А. \сост.\
Найти похожие
| |
| 2. | 2016к/29039
Яновская, София Александровна (1896-1966).
Лекции по алгебре логики / С. А. Яновская ; под ред. и с коммент. сост. Б. В. Бирюкова и Э. А. Кузичевой. - Москва : URSS : ЛЕНАНД, 2015. - 257 с. : ил., табл. ; 22 см. - Предм. указ.: с. 254-257. - Библиогр. в примеч. в конце разд.. - ISBN 978-5-9710-0912-2.
ББК В123.2я73-1
Рубрики: Философские науки -- Логика -- Логика как общая наука -- Предмет и задачи логики. Логика как методология науки -- Лекции для высшей школы
Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Лекции для высшей школы
Физико-математические науки -- Математика -- Алгебра -- Учебник для высшей школы
Алгебра
Математическая логика
Доп.точки доступа: Бирюков, Борис Владимирович (1922-2014) \сост.\; Кузичева, Зинаида Андреевна \сост.\
Найти похожие
| |
| 3. | 2018к/28934
Элементы теоретического программирования: математическая логика : учебное пособие к курсам "Математическая логика и теория алгоритмов", "Теоретические основы программирования", "Предоставление знаний в информационных системах" / А. В. Голанова, М. В. Демидов, И. А. Кудрявцева, М. В. Швецкий ; Рос. гос. пед. ун-т им. А. И. Герцена. - Санкт-Петербург : Лема, 2016. - 607 с. ; 21 см. - На тит. л. и обл.: ч. 3. - Библиогр.: с. 596-603. - 100 экз.. - ISBN 978-5-00105-076-6.
ББК З973.2-018я73-1
Рубрики: Математическая логика
Программирования языки - Семантика
Доп.точки доступа: Голанова, Анна Викторовна; Демидов, Михаил Владимирович; Кудрявцева, Ирина Андреевна; Швецкий, Михаил Владимирович
Найти похожие
| |
| 4. | Групп.хр.
Элементы математической логики : учебно-методический комплекс по дисциплине : практикум / Министерство науки и высшего образования Российской Федерации, Хакасский государственный университет им. Н. Ф. Катанова ; [составитель Н. В. Васькина]. - Абакан : Издательство Хакасского государственного университета, 2019. - 88 с. ; 21 см. - Библиогр.: с. 88 (7 назв.). - 50 экз.. - ISBN 978-5-7810-1813-0.
Рубрики: Математическая логика
Доп.точки доступа: Васькина, Наталья Викторовна \сост.\
Найти похожие
| |
| 5. | Групп.хр.
Элементы математической логики : учеб.-метод. пособие : [для вузов / сост. Н. Ю. Прокопенко]. - Южно-Сахалинск : Изд-во Сахал. гос. ун-та, 2004. - 62, [1] с. : ил. ; 20 см.. - Библиогр.: с. 62. - ISBN 5-88811-118-X.
ББК В12я73-1
Рубрики: Математическая логика
Доп.точки доступа: Прокопенко, Н. Ю.
Найти похожие
| |
| 6. | Групп.хр.
Элементы математической логики : методические рекомендации для студентов, обучающихся по направлению подготовки бакалавров 09.03.02. "Информационные системы и технологии" / М-во образования и науки РФ, Астрах. гос. ун-т ; сост. Н. А. Баштанник. - Астрахань : Астраханский ун-т, 2016. - 17 с. ; 21 см. - Библиогр.: с. 17
ББК В12я73-1
Рубрики: Математическая логика
Доп.точки доступа: Баштанник, Николай Андреевич \сост.\; Астраханский гос. ун-т
Найти похожие
| |
| 7. | Групп.хр.
Элементы математической логики и теории множеств : учебно-методическое пособие / [В. В. Вдовин, А. Г. Власов, И. А. Вылегжанин, С. И. Ракин ; отв. ред. С. А. Аракчеев] ; Сибирский гос. ун-т путей сообщ. - Новосибирск : Изд-во СГУПСа, 2016. - 43 с. : ил., табл. ; 21 см. - Библиогр.: с. 43. - Опис. по обл. Без тит. л. - 100 экз.. - ISBN 978-5-93461-740-1.
ББК В12я73-14 В161.41я73-14
Рубрики: Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Учебно-методическое пособие для высшей школы
Физико-математические науки -- Математика -- Математический анализ -- Теория функций действительного переменного -- Теория множеств -- Учебно-методическое пособие для высшей школы
Математическая логика
Множества(мат.)
Доп.точки доступа: Вдовин, В. В.; Власов, Алексей Гариевич; Вылегжанин, Игорь Альбертович; Ракин, Алексей Степанович; Аракчеев, Сергей Александрович
Найти похожие
| |
| 8. | Групп.хр.
Элементы математической логики и теории алгоритмов : учебно-методическое пособие для студентов специальностей: 230201.65 "Информационные системы и технологии", 080801.65 "Прикладная информатика (в сфере сервиса)" / М-во образования и науки Рос. Федерации, Юж.-Рос. гос. ун-т экономики и сервиса ; [сост. В. Г. Фетисов, В. И. Филиппенко]. - Шахты : Изд-во ЮРГУЭС, 2011. - 64, [1] с. ; 20 см.. - Библиогр.: с. 62
ББК 22.12я73
Рубрики: Математическая логика
Алгоритмы
Доп.точки доступа: Фетисов, Валерий Георгиевич \сост.\; Филиппенко, Виктор Игнатьевич \сост.\
Найти похожие
| |
| 9. | 2008к/1749
Щеглов, В. Н. .
Творческое сознание : интуиционизм, алгоритмы и модели / В. Н. Щеглов. - Тула : Гриф и К, 2004. - 200, [1] с. ; 20 см.. - Библиогр.: с. 197-201. - ISBN 5-8125-0479-2.
ББК 22.12 Ю932.2в
Рубрики: Мышление - Логические основы
Математическая логика
Доп.точки доступа: Щеглов, В. Н.
Найти похожие
| |
| 10. |
2009к/2275
Шуранов, Борис Михайлович .
Занятия логикой / Б. М. Шуранов. - Ростов-на-Дону : РостИздат, 2005. - 86, [1] с. ; 21 см.. - ISBN 5-7509-0453-9.
ББК 87.4 Ю431 Ю435
Рубрики: Математическая логика
Доп.точки доступа: Шуранов, Борис Михайлович
Найти похожие
| |
|
|
|
Электронный каталог (ЭК) Библиотеки Российской академии наук (БАН)
Описание ЭК