Приложение
для AndroidПолное описание
Габрюк, Л. А. Основы теории информации и логики : учеб. пособие / Л. А. Габрюк ; Мор. гос. ун-т им. Г. И. Невельского. - Владивосток : Мор. гос. ун-т, 2015. - 122 с. : ил. - Библиогр.: с. 118 (12 назв.). - 100 экз. - ISBN 978-5-8343-0958-1. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 28.21 | 519.72 | |
| 27.03.19 | 510 | |
| 03.91 |
Рубрики:
Теория информации
Математическая логика
Доп. точки доступа:
Морской гос. ун-т им. Г. И. Невельского (Владивосток)
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д10-15/30805)
Шифр в сводном ЭК: 37dc11b831f18f20c0dd06585ba7ed9d
Габрюк Л.А. Теория логики в примерах : учебное пособие / Л. А. Габрюк, 2018. - 53, [2] с. - Текст : непосредственный.Габрюк Л.А. Теория информации в примерах : рекомендовано методсоветом ВУЗа / Л. А. Габрюк, 2018. - 58, [1] с. - Текст : непосредственный.Габрюк Л.А. Совершенствование методов технического анализа ярусных рыболовных систем с использованием математического моделирования : автореф. дис. .. канд. техн. наук: 05.18.17 / Л. А. Габрюк, 2009. - 24 с. - Текст : непосредственный.Габрюк Л.А. Основы теории информации и логики : учеб. пособие / Л. А. Габрюк, 2015. - 122 с. - Текст : непосредственный.
Вестник Морского государственного университета. Вып. 64 : Серия: Судостроение и судоремонт, 2014. - 61 с. - Текст : непосредственный.Кича Г.П. Повышение эффективности тонкой очистки моторного масла в судовых тронковых дизелях комбинированным фильтрованием / Г. П. Кича, Н. Н. Таращан, А. В. Надежкин, 2015. - 173 с. - Текст : непосредственный.Актуальные проблемы экономики и управления на транспорте : материалы временных коллективов / Морской гос. ун-т им. Г. И. Невельского (Владивосток), 2011. - 116 с. - Текст : непосредственный.Вестник Морского государственного университета. Вып. 33 : Серия: Экономика и управление, 2009. - 138 с. - Текст : непосредственный.Вестник Морского государственного университета. Вып. 31 : Серия: Судостроение и судоремонт, 2009. - 132 с. - Текст : непосредственный.Вестник Морского государственного университета. Вып. 32 : Серия: Судовождение, 2009. - 145 с. - Текст : непосредственный.Вестник Морского государственного университета. Вып. 36 : Серия: Автоматическое управление, математическое моделирование и информационные технологии, 2009. - 99 с. - Текст : непосредственный.Вестник Морского государственного университета. Вып. 35 : Серия: История морской науки, техники и образования, 2009. - 145 с. - Текст : непосредственный.Актуальные проблемы экономики и управления на транспорте : материалы временных коллективов, 2014. - 78 с. - Текст : непосредственный.Семенов В.С. Динамика транспортного средства на воздухоопорных гусеницах. Нелинейная теория / В. С. Семенов, А. И. Азовцев, 2014. - 93 с. - Текст : непосредственный.Те А.М. Эксплуатация судовых вспомогательных механизмов, систем и устройств : выставочные материалы / А. М. Те, 2014. - 177 с. - Текст : непосредственный.Радченко П.М. Морская возобновляемая энергетика / П. М. Радченко, 2014. - 267 с. - Текст : непосредственный.Вестник Морского государственного университета. Вып. 69 : Серия Судостроение и судоремонт, 2015. - 71 с. - Текст : непосредственный.Вестник Морского государственного университета. Вып. 68 : Серия Автоматическое управление, математическое моделирование и информационные технологии, 2015. - 138 с. - Текст : непосредственный.Вестник Морского государственного университета. Вып. 70 : Серия Экономика и управление, 2015. - 97 с. - Текст : непосредственный.Вестник Морского государственного университета. Вып. 76 : Серия: Экономика и управление, 2016. - 78 с. - Текст : непосредственный.Тарасов В.В. Материаловедение. Справочник-экзаменатор : выставочные материалы / В. В. Тарасов, С. А. Горчакова, 2014. - 102 с. - Текст : непосредственный.Коваленко Ю.В. Сборник практических задач и тестов по экономике морского транспорта : выставочные материалы / Ю. В. Коваленко, 2014. - 135 с. - Текст : непосредственный.Левченко Н.Г. Информационные технологии в кадровом менеджменте: обзор информационных решений и продуктов, анализ примеров соединения лучших информационных и кадровых практик : выставочные материалы / Н. Г. Левченко, 2016. - 101 с. - Текст : непосредственный.Вестник Морского государственного университета. Вып. 34 : Серия: Теория и практика защиты моря, 2009. - 133 с. - Текст : непосредственный.
Показать все результатыМир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный.Помехоустойчивые коды / В. В. Калмыков, А. С. Косолапов, Ю. Н. Себекин, А. И. Сенин ; Ред. А. И. Сенин, 1990. - 48 c. - Текст : непосредственный.Jiang Y. practical guide to error-control coding using MATLAB / Y. Jiang, 2010. - 1 o=электрон. опт. диск (CD-ROM). - Текст : непосредственный.Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 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 с. - Текст : непосредственный.Зайцев В.Ф. Кодирование информации в ЕС ЭВМ / В. Ф. Зайцев, 1990. - 143 c. - Текст : непосредственный.Roederer J.G. Information and its role in nature / J. G. Roederer, 2005 r=on-line. - Текст : электронный.Chen Y. Meshless methods in solid mechanics / Y. Chen, J. Lee, A. Eskandarian, 2006 r=on-lineRomano A. Continuum mechanics using mathematica ® / A. Romano, A. Marasco, R. Lancellotta, 2006 r=on-lineJaeger G. Quantum information / G. Jaeger, 2007 r=on-lineTeodorescu P.P. Mechanical systems, classical models / P. P. Teodorescu, 2007 r=on-lineИванова О.А. Алгоритмизация и численная реализация аналитических методов представления решений в задачах механики : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : диссертация на соискание ученой степени канд. физ.-мат. наук / О. А. Иванова, 2007. - 15 с. - Текст : непосредственный.Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный.Вешкурцев Ю.М. Автокогерентные устройства измерения случайных процессов : монография / Ю. М. Вешкурцев, 1995. - 163 c. - Текст : непосредственный.Разностные схемы : сборник№ 5 / Ред. В. Г. Дулов, 1989. - 162 с. - Текст : непосредственный.Иванников А.Д. Основы теории информации / А. Д. Иванников, А. Н. Тихонов, В. Я. Цветков, 2007. - 355 с. - Текст : непосредственный.Рыбалов А.Н. Введение в теорию кодов, исправляющих ошибки : учебное пособие / А. Н. Рыбалов, 2007. - 129 с. - Текст : непосредственный.
Показать все результатыМир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный.Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный.Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный.Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный.Иванников А.Д. Основы теории информации / А. Д. Иванников, А. Н. Тихонов, В. Я. Цветков, 2007. - 355 с. - Текст : непосредственный.Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный.Юшин В.Н. Термодинамика и информация / В. Н. Юшин, 1995. - 59 c. - Текст : непосредственный.Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный.Запрягаев С.А. Введение в квантовые информационные системы : выставочные материалы / С. А. Запрягаев, 2015. - 218 с. - Текст : непосредственный.Холево А.С. Квантовые системы, каналы, информация / А. С. Холево, 2010. - 328 с. - Текст : непосредственный.Baltag A. logic for suspicious players: epistemic actions and belief-update in games / A. Baltag, 2000. - 30 p. - Текст : непосредственный.Парамонов Ю.В. Основы теории информации / Ю. В. Парамонов, 2004. - 48 с. - Текст : непосредственный.Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный.Булос Д. Вычислимость и логика : монография / Д. Булос, Р. Джеффри, 1994. - 396 c. - Текст : непосредственный.Теория информации и сигналов : выставочные материалы / В. И. Ключко, А. В. Власенко, Н. В. Кушнир, А. В. Кушнир, 2014. - 131 с. - Текст : непосредственный.Рипс Я.А. Информодинамика (основы квантовой информодинамики) / Я. А. Рипс, 2003. - 135 с. - Текст : непосредственный.Орехов Ю.В. Математическая логика / Ю. В. Орехов, Э. Ю. Орехов, 2006. - 161 с. - Текст : непосредственный.Яглом А.М. Вероятность и информация / А. М. Яглом, И. М. Яглом, 2006. - 511 с. - Текст : непосредственный.
Показать все результатыМир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный.Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова, 2006. - 255 с. - Текст : непосредственный.Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный.Чернавский Д.С. Синергетика и информация / Д. С. Чернавский, 1990. - 46 c. - Текст : непосредственный.Помехоустойчивые коды / В. В. Калмыков, А. С. Косолапов, Ю. Н. Себекин, А. И. Сенин ; Ред. А. И. Сенин, 1990. - 48 c. - Текст : непосредственный.Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный.Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный.Jiang Y. practical guide to error-control coding using MATLAB / Y. Jiang, 2010. - 1 o=электрон. опт. диск (CD-ROM). - Текст : непосредственный.Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 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 с. - Текст : непосредственный.Зайцев В.Ф. Кодирование информации в ЕС ЭВМ / В. Ф. Зайцев, 1990. - 143 c. - Текст : непосредственный.Roederer J.G. Information and its role in nature / J. G. Roederer, 2005 r=on-line. - Текст : электронный.
Показать все результатыЗаказ фрагмента документа ₽