Структура обчислення предикатів, побудова логічного висновку Реферат з математичної логіки і теорії алгоритмів виконали студенти I-го курсу Факультету ІХТ: Зубарєв А., Столяров А., Докукін А., Кітірісов Г. Марійський Державний Технічний Університет Факультет Інформатики та Обчислювальної Техніки Кафедра ІТТ Йошкар-Ола, 2003р. p> Мова, логіка і числення предикатів Введення Приступаючи до вивчення мови логіки п...

Космічні супермаховики Олексій Левін Статичні електронейтральні чорні діри абсолютно не типові для реального світу. Коллапсирующие зірки, як правило, обертаються і до того ж можуть володіти електричним зарядом. Теорема про лисині Гігантські діри в галактичних ядрах, цілком ймовірно, утворюються з первинних центрів гравітаційної конденсації - єдиною В«послезвезднойВ» діри або ж кількох дір, що злилися в результаті зіткнень. Такі дірки-зародки заковтуют...

Московський Державний Технічний Університет ім. Н.Е. Баумана Курсова робота з курсу "Нелінійні САУ" на тему: Застосування методу частотних кругових діаграм до дослідження стійкості систем з логічними алгоритмами управління. Виконав: ст-т гр. АК4-81 Смик В.Л. Реутов 1997 Застосування методу частотних кругових діаграм до дослідження стійкості систем з логічними алгор...

Принципи вимірювання відстаней і лінійних переміщень З Про Д Е Р Ж А М І Е Принципи вимірювання відстаней і лінійних переміщень .................... 3 2 Опис принципу роботи та оптичних схем інтерферометрів з рахунком 2.1 Інтерферометр з рахунком смуг на основі квадратурних сигналів ........ 5 2.2 Інтерферометр з рахунком смуг на основі частотної модуляції ............ 7 3 Дослідження похибки вимірювання переміщень ......................

Власні значення. 1. ВСТУП Цілий ряд інженерних задач зводиться до розгляду систем рівнянь, що мають єдине рішення лише в тому випадку, якщо відомо значення деякого вхідного в них параметра. Цей особливий параметр називається характеристичним, або власним, значенням системи. З завданнями на власні значення інженер стикається в різних ситуаціях. Так, для тензорів напруг власні значення визначають головні нормальні напруги, а власними векторами задаються напрями, пов...

Структури даних і алгоритми Курсова робота студента Гридасова А. Ю. Новосибірський державний технічний університет Кафедра прикладної математики Новосибірськ 1998 Умова задачі p> Мається деякий кінцеве число міст, які пов'язані транспортної мережею, що складається з авіа, залізничних, автомобільних і водних рейсів довільного напрями і включають довільне число міст. Вартість проїзду різна по класах. Рейс відправл...

Рішення систем диференціальних рівнянь методом Рунге - Кутта 4 порядку Курсова робота з дисципліни: Математичні методи і моделі в розрахунках на ЕОМ Виконав: студент гр. ХТ-96 Кузнецов М.В. Міністерство освіти України Донецький державний технічний університет Кафедра хімічної технології палива р. Донецьк 1998 Введення Звичайні диференціальні рівняння (ОДУ) широко використовуються для математичного моделюва...

Математичне моделювання польоту лижника при стрибку з трампліну Бакалаврську роботу виконав студент групи ММ-93 Подгаєць А.Р. Пермський державний технічний університет Кафедра математичного моделювання систем і процесів Перм 1997 1. Введення "Досягнення лижників-стрибунів на змаганнях будь-якого рангу, будь то всесоюзні або міжнародні змагання, першості світу або олімпійські ігри, зумовлені всією історією стрибків на лижах - ...

Овали Кассіні і бульки в моделюванні м'яких оболонок Шальнов Олег Васильович. h2> 1. 4 У роботі розглядаються закономірності зміни конфігурації меридіана м'яких оболонок, деформованих зовнішнім навантаженням в межах як області бесскладчатості, так і в позамежних областях за допомогою модельних поверхонь обертання овалів Кассіні. М'які силові оболонки, здатні чинити опір дії зовнішнього стискаючого навантаження і вчиненню роботи з переміщення поверхн...

Існування в геометрії. Аналіз категорій модальності Гутнер Р. Ми бачили, що дві впливові математичні школи XX століття, які справедливо розглядаються як конкуруючі між собою, виходять, в кінцевому рахунку, з загального філософського підстави. Цією підставою з'явилася для них філософія Канта. Тому ми маємо право говорити про кантіанської (або, можливо, трансценденталістской) традиції в підставах математики. Обговорюючи проблему існування та математичної онтології, м...