Веб-бібліотека - головна сторінка


Посудін Ю.І. Методи неруйнівної оцінки якості та безпеки сільськогосподарських і харчових продуктів:

Якість сільськогосподарської продукції. Параметри якості рослинної продукції. Внутрішній склад. Густина. Визначення густини. Густина та критерій якості. Розмір. Форма і конфігурація. Текстура. Колір. Кондиція та дефекти. Смак. Запах. Безпека рослинних продуктів. Зараження рослинних продуктів. Фальсифікація рослинних продуктів. Фактори, що впливають на якість рослинних продуктів. Основні визначення. Фізичні стресові фактори. Механічні стресові фактори. Температурні стресові фактори. Водні стресові фактори. Світлові стресові фактори. Ультрафіолетові стресові фактори. Іонізаційні стресові фактори. Хімічні стресові фактори. Біологічні стресові фактори...

ЛОГИЧЕСКИЙ СИНТАКСИС

- 1) система правил, определяющих построение и преобразование выражений нек-рого исчисления; 2) раздел металогики, изучающий структуру и свойства неинтерпретированных исчислений. Осн. вопросами, встающими при синтаксическом рассмотрении логических исчислений, являются проблемы непротиворечивости (Непротиворечивость аксиоматической теории), полноты (Полнота аксиоматической теории), независимости (Независимость системы аксиом), разрешения (Разрешения проблема), доказуемости. Проблема доказуемости состоит в нахождении алгоритма, к-рый для любого доказуемого (т. е. выводимого из аксиом) высказывания строит его доказательство. Т. обр., Л. с. включает в себя теорию доказательства. Понятие Л. с. было введено Витгенштейном в 1919. Систематическое изложение проблем и понятий Л. с. дал Карнап в "Логическом синтаксисе языка (1934), где, в частности, показана плодотворность синтаксического исследования языков, формализующих те или иные разделы естественных наук (Формализованный язык)