Полное описание
> Башашина, К. В. Элементы математической логики : учебное пособие / К. В. Башашина, Ю. И. Попов ; Балтийский федеральный университет им. Иммануила Канта. - Калининград : Изд-во Балтийского федерального ун-та им. И. Канта, 2015. - 144, [3] с. : ил. - Библиогр.: с. 146 (15 назв.). - 200 экз. - ISBN 978-5-9971-0342-2. - Текст : непосредственный.
Рубрики: Математическая логика
Доп. точки доступа: Попов, Ю.И.
Балтийский федеральный университет им. Иммануила Канта (Калининград)
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ж2-15/67547)>
Шифр в сводном ЭК: a157c5225f8ad491b83f18081e9b5244
Попов Ю.И. Стереометрия. Методы и приемы решения задач : учебное пособие / Ю. И. Попов, 2009. - 149 с. - Текст : непосредственный. Попов Ю.И. Управление проектами : выставочные материалы / Ю. И. Попов, О. В. Яковенко, 2013. - 208 с. - Текст : непосредственный. Основы квантовой физики / М. Н. Малышев, М. В. Павловская, Ю. И. Попов, А. В. Земцов, 2003. - 46 с. - Текст : непосредственный. Попов Ю.И. Управление проектами / Ю. И. Попов, О. В. Яковенко, 2007. - 208 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Башашина К.В. Решение задач с параметрами с использованием свойств функции : учебное пособие / К. В. Башашина, О. Н. Курченко, Ю. И. Попов, 2018. - 102, [2] с. - Текст : непосредственный. Башашина К.В. Практикум по решению планиметрических задач : учебное пособие / К. В. Башашина, О. Н. Курченко, Ю. И. Попов, 2016. - 179, [2] с. - Текст : непосредственный. Попов Ю.И. Методы решения иррациональных уравнений и неравенств : учебное пособие / Ю. И. Попов, 2019. - 120, [2] с. - Текст : непосредственный. Башашина К.В. Практикум по решению задач с параметрами : учебное пособие / К. В. Башашина, О. Н. Курченко, Ю. И. Попов, 2017. - 135 с. - Текст : непосредственный. Попов Ю.И. Алгебра II. Методы и приемы решения задач с параметрами : Учеб. пособие / Ю. И. Попов, 2008. - 250 с. - Текст : непосредственный. Автоматизация управления предприятием / В.В.Баронов,Г.Н.Калянов,Ю.И.Попов и др., 2000. - 238 с. - Текст : непосредственный. Попов Ю.И. Управление проектами : учеб. пособие / Ю. И. Попов, О. В. Яковенко, 2008. - 208 с. - Текст : непосредственный. Попов Ю.И. Повышение ресурса тяговых электрических машин электровозов эксплуатируемых в сложных природно-климатических условиях : автореф. дис. .. канд. техн. наук: 05.09.01 / Ю. И. Попов, 2018. - 24 с. - Текст : непосредственный. Попов Ю.И. Конструирование деталей и узлов : учебное пособие по выполнению курсового проекта / Ю. И. Попов, С. А. Серебрянский, 2018. - 193 с. - Текст : непосредственный. Попов Ю.И. Алгебра. Методы и приемы решения задач элементарной математики : Учеб. пособие / Ю. И. Попов, 2008. - 292 с. - Текст : непосредственный. Попов Ю.И. Высшая математика для студентов экономических специальностей : Учеб. пособие / Ю. И. Попов, 2010. - 306 с. - Текст : непосредственный. Попов Ю.И. Концепция и методика выбора лицензионных стратегий в инновационной деятельности предприятия : Автореферат диссертации на соискание ученой степени канд. экон. наук: 08.00.05 / Ю. И. Попов, 1997. - 21 с. - Текст : непосредственный. Башашина К.В. Элементы математической логики : учебное пособие / К. В. Башашина, Ю. И. Попов, 2015. - 144, [3] с. - Текст : непосредственный. Показать все результаты Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный. Шрайберг, Яков Леонидович. Справочное руководство по основам информатики и вычислительной техники / Я. Л. Шрайберг, М. В. Гончаров, 1990. - 33 c. (Введено оглавление). - Текст : непосредственный. Казанцев А.В. Элементы математической логики : выставочные материалы / А. В. Казанцев, 2013. - 147 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Игошин В.И. Элементы математической логики : учебник / В. И. Игошин, 2018. - 331, [1] с. - Текст : непосредственный. Агарева О.Ю. Элементы математической логики : Учеб. пособие / О. Ю. Агарева, Ю. В. Селиванов, 2008. - 51 с. - Текст : непосредственный. Комиссаров В.В. Элементы математической логики : учеб. пособие для студентов специальности 09.02.04 Информ. системы (по отраслям) / В. В. Комиссаров, 2015. - 143 с. - Текст : непосредственный. Нестеренко Ю.П. Элементы математической логики : Учеб. пособие / Ю.П.Нестеренко, 1996. - 41 с. - Текст : непосредственный. Шум А.А. Элементы математической логики : Учеб. пособие / А.А.Шум, 2003. - 91 с. - Текст : непосредственный. Игошин В.И. Элементы математической логики : учебник / В. И. Игошин, 2017. - 314 с. - Текст : непосредственный. Литвиненко Ю.В. Элементы математической логики : Учеб. пособие / Ю.В. Литвиненко, 2005. - 92 с. - Текст : непосредственный. Морозова Е.В. Элементы математической логики : учебно-методическое пособие / Е. В. Морозова, Е. Н. Ломкова, 2017. - 95 с. - Текст : непосредственный. Игошин В.И. Элементы математической логики : учебник / В. И. Игошин, 2019. - 313, [1] с. - Текст : непосредственный. Тарасенко А.В. Элементы математической логики : учеб. пособие / А. В. Тарасенко, И. П. Егорова, 2014. - 110 с. - Текст : непосредственный. Дурнев В.Г. Элементы математической логики : Учеб. пособие / В. Г. Дурнев, 2006. - 221 с. - Текст : непосредственный. Показать все результаты Внутреннее предпринимательство: университет и бизнес / Балтийский федеральный университет им. Иммануила Канта (Калининград), 2017. - 111 с. - Текст : непосредственный. Гибридные и синергетические интеллектуальные системы : материалы временных коллективов / Балтийский федеральный университет им. Иммануила Канта (Калининград), 2014. - 406 с. - Текст : непосредственный. Гибридные и синергетические интеллектуальные системы / Балтийский федеральный университет им. Иммануила Канта (Калининград), 2018. - 466 с. - Текст : непосредственный. Гибридный вычислительный интеллект. Основы теории и технологий создания прикладных систем : монография / П. М. Клачек, К. Л. Полупан, С. И. Корягин, И. В. Либерман, 2018. - 188, [1] с. - Текст : непосредственный. Щекотурова С.Д. Анализ и оценка уровня инновационного развития промышленного предприятия : монография / С. Д. Щекотурова, С. Н. Яшин, 2018. - 223 с. - Текст : непосредственный. Волны в неоднородных средах и интегрируемые системы : материалы VIII международной конференции, 17-19 сентября 2018 года / Балтийский федеральный университет им. Иммануила Канта (БФУ им. И. Канта), 2019. - 94, [1] с. - Текст : непосредственный. Современные строительные материалы и технологии : сборник научных статей / Балтийский федеральный университет им. Иммануила Канта, 2019. - 180, [1] с. - Текст : непосредственный. Перспективы регионального развития глазами молодых ученых : сборник материалов региональной научно-практической конференции / Балтийский федеральный университет им. Иммануила Канта, 2015. - 129, [1] с. - Текст : непосредственный. Актуальные проблемы развития экономики и управления : сборник научных статей / Балтийский федеральный университет им. Иммануила Канта, 2018. - 440 с. - Текст : непосредственный. Башашина К.В. Решение задач с параметрами с использованием свойств функции : учебное пособие / К. В. Башашина, О. Н. Курченко, Ю. И. Попов, 2018. - 102, [2] с. - Текст : непосредственный. Карпов И.В. Основы равновесной и неравновесной термодинамики : учебное пособие / И. В. Карпов, С. Б. Лебле, 2016. - 97, [1] с. - Текст : непосредственный. Башашина К.В. Практикум по решению планиметрических задач : учебное пособие / К. В. Башашина, О. Н. Курченко, Ю. И. Попов, 2016. - 179, [2] с. - Текст : непосредственный. Сутырин В.И. Системотехнический подход к автоматизированному инженерному анализу судовых конструкций : монография / В. И. Сутырин, 2019. - 376, [1] с. - Текст : непосредственный. Основы искусственного интеллекта : учебное пособие / И. В. Либерман, К. Л. Полупан, С. И. Корягин, П. М. Клачек, 2018. - 164, [1] с. - Текст : непосредственный. Попов Ю.И. Методы решения иррациональных уравнений и неравенств : учебное пособие / Ю. И. Попов, 2019. - 120, [2] с. - Текст : непосредственный. Транспорт и сервис : сборник научных трудов / Балтийский федеральный университет им. Иммануила Канта (БФУ им. И. Канта). Вып. 4 : Сервис региональных транспортных систем, 2016. - 142, [1] с. - Текст : непосредственный. Университет как центр трансфера новых технологий : материалы XV Международной научно-практической конференции / Балтийский федеральный университет им. Иммануила Канта, 2015. - 204 с. - Текст : непосредственный. Проблемы экономической безопасности регионов Западного порубежья России : монография / К. Ю. Волошенко, В. В. Горочная, И. С. Гуменюк [и др.]; под редакцией Г. М. Федорова, 2019. - 258, [9] с. - Текст : непосредственный. Великанов Н.Л. Теоретическая механика и теория машин и механизмов : учебное пособие / Н. Л. Великанов, С. И. Корягин, Г. Н. Муру, 2016. - 220 с. - Текст : непосредственный. Гибридные и синергетические интеллектуальные системы : материалы III Всероссийской Поспеловской конференции с международным участием, 6-11 июня, Светлогорск, Калининградская область / Балтийский федеральный университет им. Иммануила Канта [и др.], 2016. - 458 с. - Текст : непосредственный. Показать все результаты Мир математики : в 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 с. - Текст : непосредственный. Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 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. - Текст : непосредственный. Шапировский И.Б. Алгоритмические свойства модальных логик информационных систем / И. Б. Шапировский, 2007. - 15 с. - Текст : непосредственный. Булос Д. Вычислимость и логика : монография / Д. Булос, Р. Джеффри, 1994. - 396 c. - Текст : непосредственный. Пак Бен Ха.Субрекурсивная реализуемость и логика предикатов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Пак Бен Ха, 2003. - 12 с. - Текст : непосредственный. Algebra and Model Theory : coll. of papers. 7, 2009. - 152 p. - Текст : непосредственный. Кузнецов С.Л. Категориальные грамматики, основанные на вариантах исчисления Ламбека / С. Л. Кузнецов, 2012. - 12 с. - Текст : непосредственный. Чернов А.В. О некоторых вариантах понятия реализуемости : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. В. Чернов, 2003. - 16 с. - Текст : непосредственный. Показать все результаты Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный. Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный. Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный. Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный. Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 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. - Текст : непосредственный. Булос Д. Вычислимость и логика : монография / Д. Булос, Р. Джеффри, 1994. - 396 c. - Текст : непосредственный. Орехов Ю.В. Математическая логика / Ю. В. Орехов, Э. Ю. Орехов, 2006. - 161 с. - Текст : непосредственный. Makkai M. Duality and definability in first order logic / M. Makkai, 1993. - X,106 p. p. - Текст : непосредственный. Лексаченко В.А. Дискретная математика. Математическая логика и теория множества / В. А. Лексаченко, 1998. - 49 с. - Текст : непосредственный. Тимофеева И.Л. Математическая логика / И. Л. Тимофеева, 2007. - 303 с. - Текст : непосредственный. Шрайнер П.А. О фрагменте предикатной интуиционистской логики, полном относительно шкал Крипке с конечными областями / П. А. Шрайнер, 1998. - 21 с. - Текст : непосредственный. Тишковский Д.Е. Алгебраические эквиваленты некоторых свойств суперинтуиционистских предикатных логик / Д. Е. Тишковский, 1998. - 15 с. - Текст : непосредственный. Математическая логика и теория алгоритмов : выставочные материалы / Сост. Д. В. Ефимов, 2012. - 99 с. - Текст : непосредственный. Исследования по конструктивной математике и математической логике : Сб. 10, 1997. - 152 с. - Текст : непосредственный. Судоплатов С.В. Математическая логика и теория алгоритмов : учебное пособие / С. В. Судоплатов, Е. В. Овчинникова, 2008. - 224 с. - Текст : непосредственный. Показать все результаты Мир математики : в 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 с. - Текст : непосредственный. Окстоби Дж. Мера и категория / Дж. Окстоби, 2008. - 157 с. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный. Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽