منجزیت علم اجمالی در تدریجیات

به نظر استاد ما حفظه الله تعالی در علم اجمالی در تدریجیات هیچ مشکلی در مسیر منجزیت وجود ندارد و ارکان قاعده منجزیت تمام است. ولی یک ذهنیتی تحت تاثیر بحث شیخ انصاری(ره) در فرائد شکل گرفته است که گمان می کنند که تنجیز در علم اجمالی تنها مربوط به فعلیات است.

التعارض بین الأدلّة المحرزة

1- تعارض بین ادله محرزه

دلیل محرز چنانکه گذشت شامل دلیل شرعی لفظی و عقلی است که دلیل شرعی به نوبه خود به دلیل شرعی لفظی و غیر لفظی تقسیم می شود. دلیل عقلی تنها در صورتی که قطعی باشد حجت است، ولی هر دو قسم دلیل شرعی یعنی لفظی و غیر لفظی اگر قطعی باشد حجت است و بعضی از ادله شرعی نیز با وجود قطعی نبودن به دلیل اینکه دلیل قطعی بر حجیت آن ها داریم، حجت هستند.

پس هنگامی که دلیل عقلی با دلیل دیگری از هر نوع که باشد تعارض کند، اگر دلیل عقلی قطعی باشد در هر حال بر معارضش مقدم می شود، 

فإذا تعارض الدلیل العقلیّ مع دلیل ما فإن کان الدلیل العقلیّ قطعیّا قدّم على معارضه على أیّ حال، لأنّه یقتضی القطع بخطإ المعارض، و کلّ دلیل یقطع بخطئه یسقط عن الحجّیّة، و إن کان الدلیل العقلیّ غیر قطعیّ فهو لیس حجّة فی نفسه لکی یعارض ما هو حجّة من الأدلّة الاخرى.

و إذا تعارض دلیلان شرعیّان فتارة یکونان لفظیّین معا، و اخرى یکون أحدهما لفظیّا دون الآخر، و ثالثة یکونان معا من الأدلّة الشرعیّة غیر اللفظیّة، و المهم فی المقام الحالة الاولى لأنّها الحالة التی یدخل ضمنها جلّ موارد التعارض التی یواجهها الفقیه فی الفقه، و سنقصر حدیثنا علیها. فنقول: إنّ التعارض بین دلیلین شرعیّین لفظیّین عبارة عن التنافی‌

مفاهیم اصلی بازی وارسازی

امیتاز

نشان، مدال

بازی وارسازی

بازی وار سازی به ویژه در زمینه هایی مانند امور تجاری تبدیل به روند جاری چند سال اخیر شده است. با هدف افزایش انگیزه و درگیری کاربر، سامانه های اطلاعاتی موجود یا جدید با عناصر طراحی بازی غنی می شوند. پیش از پیاده سازی فنی، مفهوم بازی وار سازی ایجاد می شود. البته این ایجاد مفهوم یک فرایند غیر رسمی است به این معنا که با زبان طبیعی و در صفحه گسترده ها انجام می شود. بنابراین تعریف بازی فعالیتی مستعد خطا می باشد. این موضوع به ویژه در صورتی که مفاهیم بازی وارسازی وارد مرحله پیاده سازی شود و متخصصین فناوری اطلاعات لازم باشد این مفاهیم غیر رسمی را به مفاهیم رسمی تبدیل کنند مهم است. بنابراین ما یک زبان مربوط به حوزه خاص و نوین و توصیفی برای تعریف مفاهیم بازی وار سازی پیشنهاد می دهیم. این زبان هم برای خواندن و نوشتن قابل استفاده است و هم می تواند مستقیما به سامانه های بازی وار سازی مانندBunchball, Badgeville, SAP Gamification Platform ترجمه شود.

زبان مدلسازی بازی وارسازی سه مساله کلیدی زیر را مورد توجه قرار می دهد:

دقت و رسمیت

عدم وابستگی به زبان پلتفرم بازی وارسازی و قیود آن

سادگی پیاده سازی مفاهیم پیچیده در بازی وارسازی

برای فهم کد لازم است با مفاهیم بازی وارسازی آشنا شویم:

point

6.

تعارض الأدلّة

چنانکه پیشتر گفته شده است، ادله شامل ادله محرزه و اصول عملیه می باشد، لذا بحث تعارض ادله در سه فصل تعارض بین دو دلیل محرز، یک دلیل محرز و یک اصل عملی و دو اصل عملی منعقد می شود.

CREATE

CREATE TABLE (Transact-SQL) IDENTITY (Property)

Creates a user-defined aggregate function whose implementation is defined in a class of an assembly in the .NET Framework. 

CREATE AGGREGATE (Transact-SQL)

CREATE APPLICATION ROLE (Transact-SQL)

CREATE ASSEMBLY (Transact-SQL)

CREATE ASYMMETRIC KEY (Transact-SQL)

CREATE AVAILABILITY GROUP (Transact-SQL)

CREATE BROKER PRIORITY (Transact-SQL)

CREATE CERTIFICATE (Transact-SQL)

CREATE COLUMNSTORE INDEX (Transact-SQL)

CREATE COLUMN ENCRYPTION KEY (Transact-SQL)

CREATE COLUMN MASTER KEY (Transact-SQL)

CREATE CONTRACT (Transact-SQL)

CREATE CREDENTIAL (Transact-SQL)

CREATE CRYPTOGRAPHIC PROVIDER (Transact-SQL)

CREATE DATABASE (SQL Server Transact-SQL)

CREATE DATABASE (Azure SQL Database)

CREATE DATABASE (Azure SQL Data Warehouse)

CREATE DATABASE (Parallel Data Warehouse)

CREATE DATABASE AUDIT SPECIFICATION (Transact-SQL)

CREATE DATABASE ENCRYPTION KEY (Transact-SQL)

CREATE DATABASE SCOPED CREDENTIAL (Transact-SQL)

CREATE DEFAULT (Transact-SQL)

CREATE ENDPOINT (Transact-SQL)

CREATE EVENT NOTIFICATION (Transact-SQL)

CREATE EVENT SESSION (Transact-SQL)

CREATE EXTERNAL DATA SOURCE (Transact-SQL)

CREATE EXTERNAL FILE FORMAT (Transact-SQL)

CREATE EXTERNAL RESOURCE POOL (Transact-SQL)

CREATE EXTERNAL TABLE (Transact-SQL)

CREATE EXTERNAL TABLE AS SELECT (Transact-SQL)

CREATE FULLTEXT CATALOG (Transact-SQL)

CREATE FULLTEXT INDEX (Transact-SQL)

CREATE FULLTEXT STOPLIST (Transact-SQL)

CREATE FUNCTION (Transact-SQL)

CREATE FUNCTION (SQL Data Warehouse)

CREATE INDEX (Transact-SQL)

CREATE LOGIN (Transact-SQL)

CREATE MASTER KEY (Transact-SQL)

CREATE MESSAGE TYPE (Transact-SQL)

CREATE PARTITION FUNCTION (Transact-SQL)

CREATE PARTITION SCHEME (Transact-SQL)

CREATE PROCEDURE (Transact-SQL)

CREATE QUEUE (Transact-SQL)

CREATE REMOTE SERVICE BINDING (Transact-SQL)

CREATE REMOTE TABLE AS SELECT (Parallel Data Warehouse)

CREATE RESOURCE POOL (Transact-SQL)

CREATE ROLE (Transact-SQL)

CREATE ROUTE (Transact-SQL)

CREATE RULE (Transact-SQL)

CREATE SCHEMA (Transact-SQL)

CREATE SEARCH PROPERTY LIST (Transact-SQL)

CREATE SECURITY POLICY (Transact-SQL)

CREATE SELECTIVE XML INDEX (Transact-SQL)

CREATE SEQUENCE (Transact-SQL)

CREATE SERVER AUDIT (Transact-SQL)

CREATE SERVER AUDIT SPECIFICATION (Transact-SQL)

CREATE SERVER ROLE (Transact-SQL)

CREATE SERVICE (Transact-SQL)

CREATE SPATIAL INDEX (Transact-SQL)

CREATE STATISTICS (Transact-SQL)

CREATE SYMMETRIC KEY (Transact-SQL)

CREATE SYNONYM (Transact-SQL)

CREATE TABLE (Transact-SQL)

CREATE TABLE (Azure SQL Data Warehouse)

CREATE TABLE AS SELECT (Azure SQL Data Warehouse)

CREATE TRIGGER (Transact-SQL)

CREATE TYPE (Transact-SQL)

CREATE USER (Transact-SQL)

CREATE VIEW (Transact-SQL)

CREATE WORKLOAD GROUP (Transact-SQL)

CREATE XML INDEX (Transact-SQL)

CREATE XML INDEX (Selective XML Indexes)

CREATE XML SCHEMA COLLECTION (Transact-SQL)

کل حزب بما لدیهم فرحون

Each party rejoicing in that which is with itself! Room 32

https://en.wikipedia.org/wiki/Merge_(SQL)

A relational database management system uses SQL MERGE (also called upsert) statements to INSERT new records or UPDATE existing records depending on whether condition matches. It was officially introduced in the SQL:2003 standard, and expanded in theSQL:2008 standard.

http://www.midnightdba.com/Jen/2010/10/tip-over-and-partition-by/

OCTOBER 5, 2010 JEN MCCOWN 20 COMMENTS

Here’s a quick summary of OVER and PARTITION BY (new in SQL 2005), for the uninitiated or forgetful…

OVER

OVER allows you to get aggregate information without using a GROUP BY. In other words, you can retrieve detail rows, and get aggregate data alongside it. For example, this query:

SELECT SUM(Cost) OVER () AS Cost
, OrderNum
FROM Orders

Will return something like this:

Cost  OrderNum
10.00 345
10.00 346
10.00 347
10.00 348

Quick translation:

• SUM(cost) – get me the sum of the COST column
• OVER – for the set of rows….
• () – …that encompasses the entire result set.

OVER(PARTITION BY)

OVER, as used in our previous example, exposes the entire resultset to the aggregation…”Cost” was the sum of all [Cost]  in the resultset.  We can break up that resultset into partitions with the use of PARTITION BY:

SELECT SUM(Cost) OVER (PARTITION BY CustomerNo) AS Cost
, OrderNum
, CustomerNo
FROM Orders

My partition is by CustomerNo – each “window” of a single customer’s orders will be treated separately from each other “window”….I’ll get the sum of cost for Customer 1, and then the sum for Customer 2:

Cost  OrderNum   CustomerNo
8.00 345        1
8.00 346        1
8.00 347        1
2.00 348        2

The translation here is:

• SUM(cost) – get me the sum of the COST column
• OVER – for the set of rows….
• (PARTITION BY CustomerNo) – …that have the same CustomerNo.

جهل بسیط

 Common Table Expressions

Using APPLY

 Cross Apply