Приложение
для AndroidПолное описание
Стяжкин, Н. И. Логика с элементами математической логики : учебное пособие для студентов II курса факультета государственного делопроизводства / Н. И. Стяжкин; под редакцией В. Т. Осипова и Н. И. Кондакова ; Министерство высшего и среднего специального образования РСФСР, Московский государственный историко-архивный институт. - Москва : [б. и.], 1974. - 162, [1] с. : ил. - Библиогр. в подстроч. примеч. - 700 экз. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 02.21 | 16 | |
| 27.03.19 | 510 |
Рубрики:
Логика
Математическая логика
Доп. точки доступа:
Осипов, В.Т.\ред.\
Кондаков, Н.И.\ред.\
Московский государственный историко-архивный институт
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д4/47638)
Шифр в сводном ЭК: 0df4514b2e5cdca181371b600ed30218
Осипов В.Т. Маршрутизация перевозок грузов, 1973. - 199 с. - Текст : непосредственный.Стяжкин Н.И. Логика с элементами математической логики : учебное пособие для студентов II курса факультета государственного делопроизводства / Н. И. Стяжкин; под редакцией В. Т. Осипова и Н. И. Кондакова, 1974. - 162, [1] с. - Текст : непосредственный.Труды / Государственный комитет Совета Министров СССР по науке и технике, Государственная публичная научно-техническая библиотека СССР ; ответственный редактор канд. техн. наук В. И. Тарасов. Вып. 6 : Автоматизированные библиотечно-информационные системы, 1973. - 202 с. (Введено оглавление). - Текст : электронный.Тафипольская М.Я. Об основных тенденциях в развитии методов автоматической классификации / М. Я. Тафипольская, Н. В. Богданова, Н. И. Стяжкин. - Текст : непосредственный + Текст : электронный // Труды / Государственный комитет Совета Министров СССР по науке и технике, Государственная публичная научно-техническая библиотека СССР ; ответственный редактор канд. техн. наук В. И. Тарасов. - Москва : ГПНТБ СССР, 1973. - Вып. 6 : Автоматизированные библиотечно-информационные системы.- С.162-167Машинное обучение как инструмент ускорения поиска новых материалов для металл-ионных аккумуляторов / В. Т. Осипов, М. И. Гонгола, Е. А. Морхова [и др.]. - Текст : непосредственный // Доклады Российской академии наук. Математика, информатика, процессы управления : журнал / Российская академия наук. - Москва : Российская академия наук, 2023. - Т. 514 № 2 : Специальный выпуск: технологии искусственного интеллекта и машинного обучения.- С.355-363
Стяжкин Н.И. Логика с элементами математической логики : учебное пособие для студентов II курса факультета государственного делопроизводства / Н. И. Стяжкин; под редакцией В. Т. Осипова и Н. И. Кондакова, 1974. - 162, [1] с. - Текст : непосредственный.Игошин В.И. Логика с элементами математической логики : лекции для студентов гуманитар. спец. / В. И. Игошин, 2004. - 143 с. - Текст : непосредственный.Игошин, Владимир Иванович. Логика с элементами математической логики : Учебник / Саратовский государственный университет им. Н.Г. Чернышевского, 2025. - 418 с. - Текст : электронный.
Стяжкин Н.И. Логика с элементами математической логики : учебное пособие для студентов II курса факультета государственного делопроизводства / Н. И. Стяжкин; под редакцией В. Т. Осипова и Н. И. Кондакова, 1974. - 162, [1] с. - Текст : непосредственный.Информатизация общества: проблемы и перспективы : гипержурнал / Московский государственный историко-архивный институт, СП "Новые информационные технологии", фирма АРХИТЕХ. - Журнал выходит с 1990г. - Текст : непосредственный.
Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный.Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный.International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный.Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный.Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный.Антюшин С.С. Логика : выставочные материалы / С. С. Антюшин, Н. В. Михалкин, 2013. - 243 с. - Текст : непосредственный.Логические исследования : Сб. ст. / Рос. АН. Ин-т философии. Вып. 15, 2009. - 319 с. - Текст : непосредственный.Бочаров В.А. Основы логики : учебное пособие / В. А. Бочаров, В. И. Маркин, 2008. - 333 с. - Текст : непосредственный.Бирюков Б.В. Проблема логического обоснования дедуктивно-математического знания от античности до ХХ века. Логико-математический и философский аспекты / Б. В. Бирюков, Л. Г. Бирюкова, 2015. - 230 с. - Текст : непосредственный.Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный.Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный.Смирнова Е.Д. Логика и философия / Е. Д. Смирнова, 1996. - 302 c. - Текст : непосредственный.Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный.Никольская И.Л. Знакомство с математической логикой / И. Л. Никольская, 1998. - 128 с. - Текст : непосредственный.Первухин М.А. Теоретико-модельные свойства частично упорядоченных полигонов / М. А. Первухин, 2010. - 18 с. - Текст : непосредственный.Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный.Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный.Кузьмин Е.В. Неклассические логики высказываний : выставочные материалы / Е. В. Кузьмин, 2016. - 158 с. - Текст : непосредственный.
Показать все результатыМир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный.Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный.Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный.Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный.International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный.Антюшин С.С. Логика : выставочные материалы / С. С. Антюшин, Н. В. Михалкин, 2013. - 243 с. - Текст : непосредственный.Логические исследования : Сб. ст. / Рос. АН. Ин-т философии. Вып. 15, 2009. - 319 с. - Текст : непосредственный.Бочаров В.А. Основы логики : учебное пособие / В. А. Бочаров, В. И. Маркин, 2008. - 333 с. - Текст : непосредственный.Бирюков Б.В. Проблема логического обоснования дедуктивно-математического знания от античности до ХХ века. Логико-математический и философский аспекты / Б. В. Бирюков, Л. Г. Бирюкова, 2015. - 230 с. - Текст : непосредственный.Шульгин А.П. Целесообразное движение.Логика.Механика.Машиноведение.Государствоведение / А. П. Шульгин, 1994. - 48 c. - Текст : непосредственный.Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный.Смирнова Е.Д. Логика и философия / Е. Д. Смирнова, 1996. - 302 c. - Текст : непосредственный.Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный.Baltag A. logic for suspicious players: epistemic actions and belief-update in games / A. Baltag, 2000. - 30 p. - Текст : непосредственный.Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный.Кузьмин Е.В. Неклассические логики высказываний : выставочные материалы / Е. В. Кузьмин, 2016. - 158 с. - Текст : непосредственный.Булос Д. Вычислимость и логика : монография / Д. Булос, Р. Джеффри, 1994. - 396 c. - Текст : непосредственный.Зиновьев А.А. Очерки комплексной логики / А. А. Зиновьев, 2000. - 557 с. - Текст : непосредственный.
Показать все результатыМир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный.Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова, 2006. - 255 с. - Текст : непосредственный.Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный.Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный.Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный.Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный.Вейль Г. Математическое мышление : монография / Г. Вейль, 1989. - 400 с. - Текст : непосредственный.International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный.Проблемы онто-гносеологического обоснования математики и естественных наук : сборник / Ред. Е. И. Арепьев, 2008. - 203 с. - Текст : непосредственный.Лисовик Л.П. Формальные языки и трансдьюсеры. Т. 2 : Вычисления над размеченными деревьямиКн. 2, 2006. - 438 с. - Текст : непосредственный.Szumakowicz E. Natura poznania matematycznego / E. Szumakowicz, 1994. - 151 p. - Текст : непосредственный.HromkoviC J. Design and analysis of randomized algorithms / J. HromkoviC, 2005 r=on-line. - Текст : электронный.Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный.Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный.Гейтинг А. Интуиционизм. Введение / А. Гейтинг, 2010. - 164 с. - Текст : непосредственный.Антюшин С.С. Логика : выставочные материалы / С. С. Антюшин, Н. В. Михалкин, 2013. - 243 с. - Текст : непосредственный.Логические исследования : Сб. ст. / Рос. АН. Ин-т философии. Вып. 15, 2009. - 319 с. - Текст : непосредственный.Бочаров В.А. Основы логики : учебное пособие / В. А. Бочаров, В. И. Маркин, 2008. - 333 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽
Просмотр издания