Add Papers Marked0
Paper checked off!

Marked works

Viewed0

Viewed works

Shopping Cart0
Paper added to shopping cart!

Shopping Cart

Register Now

internet library
Atlants.lv library
FAQ
2,49 € Add to cart
Add to Wish List
Want cheaper?
ID number:880015
 
Author:
Evaluation:
Published: 18.04.2007.
Language: Latvian
Level: Secondary school
Literature: n/a
References: Not used
Extract

Moderno 20.gs. loģiku sauc daļēji par loģistiku, bet visvairāk par matemātisko jeb simbolisko loģiku, jo tā plaši izmanto simbolus. Viens no modernās loģikas dibinātājiem ir G.Frēge, kura „Jēdziena pieraksts” un „Aritmētikas pamati” loģiku būtiski izmaina. Viņš panāk adekvātu simbolizējumu, ieveido kvantorus un predikātu rēķinus.
Modernā loģika galvenokārt ir formalizēta. Tajā ir doti simboli, kārtulas simbolu kombinācijām un kārtulas, lai iegūtu spēkā esošus secinājumus, slēdzienus. Tā tiecas pēc nepretrunīgas teorijas formāliem slēdzieniem un interpretācijām. Tās rezultātus lieto matemātikā un tehnikā, it īpaši elektronikā un datorzinātnēs. Modernā loģika strādā ar divu veidu rēķiniem: izteikumu rēķiniem (loģisko operāciju loģiku), kas sastāv no mainīgajiem un izteikumu savienojumiem, un predikātu rēķiniem (kvantoru loģika), kas sastāv no indivīdu mainīgo un/vai konstanšu sistēmas, līdzās kvantoriem, kuri uz dažiem mainīgajiem darbojas kā operatori.…

Author's comment
Work pack:
GREAT DEAL buying in a pack your savings −3,48 €
Work pack Nr. 1177807
Load more similar papers

Atlants

Choose Authorization Method

Email & Password

Email & Password

Wrong e-mail adress or password!
Log In

Forgot your password?

Draugiem.pase
Facebook

Not registered yet?

Register and redeem free papers!

To receive free papers from Atlants.com it is necessary to register. It's quick and will only take a few seconds.

If you have already registered, simply to access the free content.

Cancel Register