Доказать разрешимость теория первого порядка с равенством К2 – элементарной теории плотно упорядоченных множеств без первого и последнего элементов.Описание К2 –– см. в книге: «Э. Мендельсон. Введение в математическую логику. М., 1971 – с. 89, упр.2». (М.: с. 104 - 108)
Тип: Контрольная работа
Предмет: Логика
Математическая логика и теория алгоритмов КР В11
Стоимость: 565 руб.
Тип: Контрольная работа
Предмет: Логика
Исчисляемые высказывания. Основные математические аксиомы.
Стоимость: 600 руб.
Тип: Контрольная работа
Предмет: Логика
Составить триады и определить истинность силлогизмов
Стоимость: 510 руб.
– раздел механики, которому уделяется больше всего учебных часов. Уделите 5 минут на то, чтобы прочесть нашу статью и чуть больше разобраться в решении задач по динамике.Наш – место, где мы скрупулезно отбираем, фильтруем и выкладываем все, что может быть полезно современному студенту. Под лежачи…
Читать дальше