Джемпер

Джемпер73812290-3B/24525/4000N

Подробнее >>>











Дискретная математика. Формально-логические системы и языки

Дискретная математика. Формально-логические системы и языкиМатематические науки<br>Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3.<br>В основу книги положен многолетний опыт преподавания авторами дисциплины Дискретная математика на факультете бизнес-информатика, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Национального исследовательского университета Московский энергетический институт.<br>Книга предназначена для студентов бакалавриата, обучающихся по направлениям 09.03.01 Информатика и вычислительная техника, 09.03.02 Информационные системы и технологии, 09.03.03 Прикладная информатика, 09.03.04 Программная инженерия, а также для ИТ-специалистов и разработчиков программных продуктов.<br>- Основные теоретические и практические положения, изложение и анализ практических алгоритмов, иллюстрируемые большим числом примеров, позволят сформировать прочную теоретическую базу<br>- Изложение основ математической логики и связанных с ней формальных языков<br>- Основные теоретические и практические положения<br>- Изложение и анализ практических алгоритмов<br>- Большое количество примеров для формирования прочной теоретической базы для дальнейшей работы практикующих программистов и ИТ-специалистов<br>- Предложенные задачи могут быть использованы как для проведения практических занятий, так и для самостоятельной работы<br>Математические науки
Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3.
В основу книги положен многолетний опыт преподавания авторами дисциплины "Дискретная математика" на факультете бизнес-информатика, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Национального исследовательского университета Московский энергетический институт.
Книга предназначена для студентов бакалавриата, обучающихся по направлениям 09.03.01 "Информатика и вычислительная техника", 09.03.02 "Информационные системы и технологии", 09.03.03 "Прикладная информатика", 09.03.04 "Программная инженерия", а также для ИТ-специалистов и разработчиков программных продуктов.
- Основные теоретические и практические положения, изложение и анализ практических алгоритмов, иллюстрируемые большим числом примеров, позволят сформировать прочную теоретическую базу
- Изложение основ математической логики и связанных с ней формальных языков
- Основные теоретические и практические положения
- Изложение и анализ практических алгоритмов
- Большое количество примеров для формирования прочной теоретической базы для дальнейшей работы практикующих программистов и ИТ-специалистов
- Предложенные задачи могут быть использованы как для проведения практических занятий, так и для самостоятельной работы


Подробнее >>>

Подвесная люстра Аврора Готика 10136-8L

Подвесная люстра Аврора Готика 10136-8LПодвесные<br>Уникальная модель 10136-8L от российской компании <br>Аврора относится к коллекции Готика и отлично <br>подойдет для установки на потолок гостиной <br>в замковом стиле. Подвесная люстра Аврора <br>Готика 10136-8L осветит помещение площадью <br>26.7 кв. м. Производитель Аврора рекомендует <br>использовать для устройства лампы накаливания <br>с цоколем E14.Осветительный прибор произведен <br>с использованием материалов: металл. Основным <br>цветом модели 10136-8L является черный.<br>Подвесные
Уникальная модель 10136-8L от российской компании
Аврора относится к коллекции Готика и отлично
подойдет для установки на потолок гостиной
в замковом стиле. Подвесная люстра Аврора
Готика 10136-8L осветит помещение площадью
26.7 кв. м. Производитель Аврора рекомендует
использовать для устройства лампы накаливания
с цоколем E14.Осветительный прибор произведен
с использованием материалов: металл. Основным
цветом модели 10136-8L является черный.


Подробнее >>>




Сексуальное белье MANYAN TNY1804 Красный Универсальный

Сексуальное белье MANYAN TNY1804 Красный УниверсальныйЭротическое белье и аксессуары<br>Сексуальное белье MANYAN TNY1804 Красный Универсальный MANYAN<br>Вес кг: 0.20; Эротическое белье и аксессуары
Сексуальное белье MANYAN TNY1804 Красный Универсальный MANYAN
Вес кг: 0.20;

Подробнее >>>









2 чехла для подушек-подлокотников

2 чехла для подушек-подлокотниковКачество VALEUR S?RE. Подарите новую жизнь вашему дивану, всего лишь заменив чехол! Наполнитель из полиэстера, 120 г/м?. Искусственная замша, 100% полиэстера. Стирка при 30°. 2 размера: аккордеон: 50 х 30 см и книжка: 60 х 40 см. Застежка на молнию.<br><br>Цвет: бежевый песочный,красный<br>Размер: 60 x 40  см.60 x 40  смКачество VALEUR S?RE. Подарите новую жизнь вашему дивану, всего лишь заменив чехол! Наполнитель из полиэстера, 120 г/м?. Искусственная замша, 100% полиэстера. Стирка при 30°. 2 размера: аккордеон: 50 х 30 см и книжка: 60 х 40 см. Застежка на молнию.

Цвет: бежевый песочный,красный
Размер: 60 x 40 см.60 x 40 см

Подробнее >>>






Crescina 200 - Лосьон для стимуляции роста волос для мужчин, 10 х 3,5 мл

Crescina 200 - Лосьон для стимуляции роста волос для мужчин, 10 х 3,5 млCrescina 200 - Лосьон для стимуляции роста волос для мужчин, 10 х 3,5 мл купить по низкой цене с доставкой по Москве и регионам в интернет-магазине ProfessionalHair.<br>Crescina 200 - Лосьон для стимуляции роста волос для мужчин, 10 х 3,5 мл купить по низкой цене с доставкой по Москве и регионам в интернет-магазине ProfessionalHair.


Подробнее >>>








Подвесной светильник Bellring

Подвесной светильник BellringПодвесные<br>Некоторые дизайнеры черпают источник вдохновения изВ давно ушедших советских дизайнов, не стесняясь совмещать их с эпохой минимализма, строгости и четких простых линий.В <br><br><br> Подвесной светильник Bellring - прозрачный светильник, без дополнительных украшений, изысков и аксессуаров. Прост как лампочка в совковом доме. Но есть некая притягательность в простоте, нечто необычное, интересное, захватывающее. Модное решение на грани с простотой. Стоит такое чудо совсем недорого, хотя сп...<br><br>stock: 0<br>Высота: 150<br>Диаметр: 11,5<br>Количество ламп: 1<br>Материал абажура: Стекло<br>Мощность лампы: 2<br>Ламп в комплекте: Нет<br>Тип лампы/цоколь: G9<br>Цвет абажура: ПрозрачныйПодвесные
Некоторые дизайнеры черпают источник вдохновения изВ давно ушедших советских дизайнов, не стесняясь совмещать их с эпохой минимализма, строгости и четких простых линий.В 


Подвесной светильник Bellring - прозрачный светильник, без дополнительных украшений, изысков и аксессуаров. Прост как лампочка в совковом доме. Но есть некая притягательность в простоте, нечто необычное, интересное, захватывающее. Модное решение на грани с простотой. Стоит такое чудо совсем недорого, хотя сп...

stock: 0
Высота: 150
Диаметр: 11,5
Количество ламп: 1
Материал абажура: Стекло
Мощность лампы: 2
Ламп в комплекте: Нет
Тип лампы/цоколь: G9
Цвет абажура: Прозрачный

Подробнее >>>


Мужская сорочка

Лонгслив для мальчика Cherubino, цвет: зеленый. CWB 61752. Размер 86

dress Gina Bacconi

Бритва GILLETTE

Стол обеденный раскладной 4260 DNDT

Детский шлем five star с aiba, Синий Green Hill

Город мастеров Конструктор Терминатор летающий робот

SHIRT Moe

Тачскрин для Nokia 5230 (черный) 1-я категория - Тачскрин для мобильного телефона

Набор: Винтовой штопор и открывалка с магнитом BarWise

Брюки спортивные

Colorescience Сыворотка для губ - Насыщенный красный, 3,2 млLip Serum - Red

Стильная женская куртка F251 Чёрный 2XL

Hansa Спинозавр 57 см

XP-G2 R5 2-LED 900lm 5-Mode White Bike Light Lamp - Black + Green

Печенье, вафли, пряники Nordic

Палантин Frantelli

Боксерские перчатки Fairtex Nation Print, синие, 8 oz Fairtex

Корм сухой Nutram "Ideal Solution Support I19" для кошек с проблемами кожи, шерсти и пищеварения, с курицей, лососем и яйцом, 1,8 кг

Блузка Junior Republic

Футболка Sust East Need Art