Спектр логік часткових предикатів, орієнтованих на композиційнo-номінативні моделі програм

Дослідження класів логіки часткових предикатів на різних рівнях абстрактності й загальності. Семантичні властивості композиційно-номінативних логік квазіарних предикатів реномінативного, першопорядкових рівнів. Дослідження числення гільбертівського типу.

Рубрика Физика и энергетика
Вид автореферат
Язык украинский
Дата добавления 27.07.2015
Размер файла 123,7 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.


Подобные документы

  • Дослідження властивостей електричних розрядів в аерозольному середовищі. Експериментальні вимірювання радіусу краплин аерозолю, струму, напруги. Схема подачі напруги на розрядну камеру та вимірювання параметрів напруги та струму на розрядному проміжку.

    курсовая работа [1,9 M], добавлен 26.08.2014

  • Складання моделі технічних об’єктів в пакеті Simulink, виконання дослідження динаміки об’єктів. Моделювання динаміки змінення струму якісної обмотки та швидкості обертання якоря електричного двигуна постійного струму. Електрична рівновага моделі.

    лабораторная работа [592,7 K], добавлен 06.11.2014

  • Вивчення основних фізичних закономірностей, визначаючих властивості та параметри фототранзисторів, дослідження світлових характеристик цих приладів. Паспортні дані для фототранзистора ФТ-1К. Вимірювання струму через фототранзистор без світлофільтра.

    лабораторная работа [1,3 M], добавлен 09.12.2010

  • Кристалічна структура та фононний спектр шаруватих кристалів. Формування екситонних станів у кристалах. Безструмові збудження електронної системи. Екситони Френкеля та Ваньє-Мотта. Екситон - фононна взаємодія. Екситонний спектр в шаруватих кристалах.

    курсовая работа [914,3 K], добавлен 15.05.2015

  • Природа електронних процесів, що відбуваються при високоенергетичному збудженні і активації шаруватих кристалів CdI2. Дослідження спектрів збудження люмінесценції і світіння номінально чистих і легованих атомами металів свинцю кристалів йодистого кадмію.

    курсовая работа [666,8 K], добавлен 16.05.2012

  • Спектри поглинання, випромінювання і розсіювання. Характеристики енергетичних рівнів і молекулярних систем. Населеність енергетичних рівнів. Квантування моментів кількості руху і їх проекцій. Форма, положення і інтенсивність смуг в молекулярних спектрах.

    реферат [391,6 K], добавлен 19.12.2010

  • Поведінка системи ГД перехідних режимів. Експериментальне дослідження процесів при пуску, реверсі та гальмуванні електричних генераторів. Алгоритм побудування розрахункових графіків ПП при різних станах роботи машини. Методика проведення розрахунку ПП.

    лабораторная работа [88,2 K], добавлен 28.08.2015

  • Теорія Бора будови й властивостей енергетичних рівнів електронів у водневоподібних системах. Використання рівняння Шредінгера, хвильова функція та квантові числа. Енергія атома водню і його спектр. Виродження рівнів та магнітний момент водневого атома.

    реферат [329,9 K], добавлен 06.04.2009

  • Акумуляція енергії в осередку. Анізотропія електропровідності МР, наведена зовнішнім впливом. Дія електричних і магнітних полів на структурні елементи МР. Дослідження ВАХ МР при різних темпах нагружения осередку. Математична теорія провідності МР.

    дипломная работа [252,7 K], добавлен 17.02.2011

  • Комбінаційне і мандельштам-бріллюенівське розсіювання світла. Властивості складних фосфорвмісних халькогенідів. Кристалічна будова, фазові діаграми, пружні властивості. Фазові переходи, пружні властивості, елементи акустики в діелектричних кристалах.

    курсовая работа [1,6 M], добавлен 25.10.2011

  • Кристалічна структура води, її структурований стан та можливість відображати нашу свідомість. Види і характеристики води в її різних фізичних станах. Досвід цілющого впливу омагніченої води. Графіки її початкового й кінцевого потенціалів за зміною в часі.

    курсовая работа [1,6 M], добавлен 26.03.2014

  • Теплофізичні методи дослідження полімерів: калориметрія, дилатометрія. Методи дослідження теплопровідності й температуропровідності полімерів. Дослідження електричних властивостей полімерів: електретно-термічний аналіз, статичні та динамічні методи.

    курсовая работа [91,3 K], добавлен 12.12.2010

  • Розрахунково-експериментальне дослідження математичної моделі регулювання навантаження чотиритактного бензинового двигуна за допомогою способів Аткінсона й Міллера. Впливу зазначених способів регулювання навантаження двигуна на параметри робочого процесу.

    контрольная работа [897,0 K], добавлен 10.03.2015

  • Дослідження електричних властивостей діелектриків. Поляризація та діелектричні втрати. Показники електропровідності, фізико-хімічні та теплові властивості діелектриків. Оцінка експлуатаційних властивостей діелектриків та можливих областей їх застосування.

    контрольная работа [77,0 K], добавлен 11.03.2013

  • Дослідження регулювальних характеристик електродвигуна постійного струму з двозонним регулюванням. Математичний опис та модель електродвигуна, принцип його роботи, характеристики в усталеному режимі роботи. Способи регулювання частоти обертання.

    лабораторная работа [267,4 K], добавлен 30.04.2014

  • Дослідження процесів самоорганізації, що відбуваються у реакційно-дифузійних системах, що знаходяться у стані, далекому від термодинамічної рівноваги. Просторово-часові структури реакційно-дифузійних систем типу активатор-інгібітор. Диференційні рівняння.

    автореферат [159,0 K], добавлен 10.04.2009

  • Дослідження теоретичних методів когерентності і когерентності другого порядку. Вживання даних методів і алгоритмів для дослідження поширення частково когерентного випромінювання. Залежність енергетичних і когерентних властивостей вихідного випромінювання.

    курсовая работа [900,7 K], добавлен 09.09.2010

  • Рівні ізоляції повітряних проміжків при змінній і постійній напругах, по поверхні твердої ізоляції. Вольт-секундні характеристики ізоляторів. Опір ізоляції та коефіцієнта абсорбції. Ізоляція кабелів високої напруги. Перенапруги в електричних установках.

    лабораторная работа [653,1 K], добавлен 19.01.2012

  • Розповсюдження молібдену в природі. Фізичні властивості, отримання та застосування. Структурні методи дослідження речовини. Особливості розсіювання рентгенівського випромінювання електронів і нейтронів. Монохроматизація рентгенівського випромінювання.

    дипломная работа [1,2 M], добавлен 24.01.2010

  • Адсорбційні чутливі елементи нового покоління, їх принцип роботи та загальна характеристика. Особливості дослідження АЧЕ, що працюють в режимі циклічної зміни температури. Опис пристрою реєстрації аналогових сигналів. Дослідження двокомпонентних АЧЕ.

    курсовая работа [1,6 M], добавлен 14.05.2009

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.