poslední aktualizace dat: 17-10-2011, 16:52
čas načítání stránky
za test: 0.57 s
připojení kabelem (průměr): 0.59 s
DSL připojení (průměr): 0.61 s
modem (průměr): 1.65 s
HTTP hlavičky
HTTP/1.1 200 OK
Date: Mon, 17 Oct 2011 23:52:25 GMT
Server: Apache
Last-Modified: Mon, 21 Jan 2008 10:08:06 GMT
ETag: "b184a043-16e6-44438ab1ba331"
Accept-Ranges: bytes
Vary: Accept-Encoding
Content-Type: text/html
Via: 1.0 lb1.ic.cz (Apache/2.2.16)
Connection: close
Informace o DNS servery
sso.no | A | 77.241.100.187 | IN | 14400 | |
sso.no | SOA | ns1.inbusiness.no | drift.inbusiness.no | 2010102009 | 86400 7200 3600000 86400 IN 43200 |
sso.no | MX | 20 | cluster4a.eu.messagelabs.com | IN | 14400 |
sso.no | MX | 10 | cluster4.eu.messagelabs.com | IN | 14400 |
sso.no | NS | ns1.inbusiness.no | IN | 43200 | |
sso.no | NS | ns3.inbusiness.no | IN | 43200 | |
sso.no | NS | ns2.inbusiness.no | IN | 43200 | |
katy.com.br | SOA | ns1.locaweb.com.br | postmaster.locaweb.com.br | 2010031701 | 3600 600 1209600 3600 IN 3600 |
katy.com.br | MX | 10 | mx.a.locaweb.com.br | IN | 60 |
katy.com.br | TXT | v=spf1 include:_spf.locaweb.com.br ip4:186.202.14.3 ?all | Array | IN | 3600 |
katy.com.br | A | 186.202.14.12 | IN | 3600 | |
katy.com.br | NS | ns2.locaweb.com.br | IN | 3600 | |
katy.com.br | NS | ns1.locaweb.com.br | IN | 3600 | |
katy.com.br | NS | ns3.locaweb.com.br | IN | 3600 | |
penge-eksperten.dk | MX | 10 | webhotel21.webhosting.dk | IN | 43200 |
penge-eksperten.dk | A | 217.11.242.224 | IN | 43200 | |
penge-eksperten.dk | SOA | ns1pri.webhosting.dk | hostmaster.webhosting.dk | 2010052003 | 21600 3600 604800 86400 IN 43200 |
penge-eksperten.dk | NS | ns1pri.webhosting.dk | IN | 43200 | |
penge-eksperten.dk | NS | ns2.webhosting.dk | IN | 43200 | |
ski-schuh.de | A | 80.67.22.199 | IN | 3600 | |
ski-schuh.de | MX | 100 | mxlb.ispgateway.de | IN | 3600 |
ski-schuh.de | AAAA | 2a00:1158::400:9499:0:0:1 | IN | 3600 | |
ski-schuh.de | SOA | ns.namespace4you.de | hostmaster.ski-schuh.de | 1318893402 | 16384 2048 1048576 2560 IN 2560 |
ski-schuh.de | NS | ns2.namespace4you.de | IN | 3600 | |
ski-schuh.de | NS | ns.namespace4you.de | IN | 3600 | |
dickgirlschool.com | A | 92.48.117.218 | IN | 14400 | |
dickgirlschool.com | SOA | vd21.amhost.net | hostmaster.dickgirlschool.com | 2011061600 | 14400 3600 1209600 86400 IN 14400 |
dickgirlschool.com | TXT | v=spf1 a mx ip4:213.229.124.7 ~all | Array | IN | 14400 |
dickgirlschool.com | MX | 10 | mail.dickgirlschool.com | IN | 14400 |
dickgirlschool.com | NS | vd21.amhost.net | IN | 14400 | |
dickgirlschool.com | NS | vd22.amhost.net | IN | 14400 | |
a1dir.com | SOA | buy.internettraffic.com | hostmaster.hostingnet.com | 1317496347 | 10800 3600 604800 3600 IN 3600 |
a1dir.com | A | 208.87.35.100 | IN | 300 | |
a1dir.com | NS | buy.internettraffic.com | IN | 3600 | |
a1dir.com | NS | sell.internettraffic.com | IN | 3600 | |
rotabann.com | A | 46.105.107.54 | IN | 14400 | |
rotabann.com | SOA | dns1.locations-serveurs.eu | annuaire.1.gmail.com | 2011060912 | 86400 7200 3600000 86400 IN 43200 |
rotabann.com | MX | 0 | rotabann.com | IN | 14400 |
rotabann.com | NS | dns2.locations-serveurs.eu | IN | 14400 | |
rotabann.com | NS | dns1.locations-serveurs.eu | IN | 14400 | |
municaraz.gob.pe | A | 209.217.224.185 | IN | 14400 | |
municaraz.gob.pe | SOA | ns1.tecmindatainc.com | se2578.hotmail.com | 2011092300 | 86400 7200 3600000 86400 IN 14400 |
municaraz.gob.pe | MX | 0 | municaraz.gob.pe | IN | 14400 |
municaraz.gob.pe | TXT | v=spf1 ip4: a mx a:bee.nswebhost.com mx:municaraz.gob.pe include:bee.nswebhost.com -all | Array | IN | 14400 |
municaraz.gob.pe | NS | ns1.tecmindatainc.com | IN | 14400 | |
municaraz.gob.pe | NS | ns2.tecmindatainc.com | IN | 14400 | |
rhein-main.net | A | 109.239.52.145 | IN | 3600 | |
rhein-main.net | MX | 100 | mxlb.ispgateway.de | IN | 3600 |
rhein-main.net | TXT | v=spf1 mx a include:ispgateway.de -all | Array | IN | 3600 |
rhein-main.net | SOA | ns1.rhein-main.net | hostmaster.rhein-main.net | 1318893402 | 16384 2048 1048576 2560 IN 2560 |
rhein-main.net | NS | ns1.rhein-main.net | IN | 3600 | |
rhein-main.net | NS | ns2.rhein-main.net | IN | 3600 | |
navig.ch | A | 80.74.150.10 | IN | 43200 | |
navig.ch | MX | 10 | mail.navig.ch | IN | 43200 |
navig.ch | SOA | ns.kreativmedia.ch | hostmaster.metanet.ch | 2002010105 | 10800 3600 604800 86400 IN 43200 |
navig.ch | NS | ns.kreativmedia.ch | IN | 43200 | |
navig.ch | NS | ns2.kreativmedia.ch | IN | 43200 | |
mycopper.net | SOA | ns1.ispns.net | hostmaster.ispns.net | 27 | 900 600 86400 3600 IN 3600 |
mycopper.net | A | 199.96.172.20 | IN | 3600 | |
mycopper.net | NS | ns1.ispns.net | IN | 3600 | |
mycopper.net | NS | ns2.ispns.net | IN | 3600 | |
3dluvr.com | TXT | v=spf1 a mx ptr mx:apophis.3dluvr.com ~all | Array | IN | 300 |
3dluvr.com | MX | 5 | apophis.3dluvr.com | IN | 300 |
3dluvr.com | SOA | apophis.3dluvr.com | root.3dluvr.com | 20080712 | 90 180 604800 3600 IN 300 |
3dluvr.com | NS | apophis.3dluvr.com | IN | 300 | |
3dluvr.com | NS | ns2.widge.net | IN | 300 | |
3dluvr.com | NS | freeone.eniac.org | IN | 300 | |
3dluvr.com | NS | ns1.widge.net | IN | 300 | |
mobiel-internet-tv.nl | A | 81.173.4.98 | IN | 43200 | |
mobiel-internet-tv.nl | MX | 10 | server13.firstfind.nl | IN | 43200 |
mobiel-internet-tv.nl | MX | 20 | mx1.cyso.net | IN | 43200 |
mobiel-internet-tv.nl | MX | 30 | mx2.cyso.net | IN | 43200 |
mobiel-internet-tv.nl | SOA | ns3.firstfind.nl | hostmaster.firstfind.nl | 2011012302 | 16384 2048 1048576 86400 IN 3600 |
mobiel-internet-tv.nl | NS | ns4.firstfind.nl | IN | 3600 | |
mobiel-internet-tv.nl | NS | ns3.firstfind.nl | IN | 3600 | |
4stepsahead.nl | A | 91.213.214.156 | IN | 14400 | |
4stepsahead.nl | SOA | ns39.axc.nl | root.4stepsahead.nl | 2011090603 | 14400 3600 1209600 86400 IN 14400 |
4stepsahead.nl | TXT | v=spf1 a mx ip4:91.213.214.156 ~all | Array | IN | 14400 |
4stepsahead.nl | TXT | v=spf1 include:_spf.google.com ~all | Array | IN | 14400 |
4stepsahead.nl | MX | 20 | mail.4stepsahead.nl | IN | 14400 |
4stepsahead.nl | NS | ns40.axc.nl | IN | 14400 | |
4stepsahead.nl | NS | ns39.axc.nl | IN | 14400 | |
laotra.es.vpslink.com | A | 38.113.1.225 | IN | 3600 | |
nicachipal.com | A | 74.208.23.13 | IN | 10800 | |
nicachipal.com | MX | 10 | mx00.1and1.com | IN | 43200 |
nicachipal.com | MX | 10 | mx01.1and1.com | IN | 43200 |
nicachipal.com | SOA | ns57.1and1.com | hostmaster.1and1.com | 2010121801 | 28800 7200 604800 86400 IN 43200 |
nicachipal.com | NS | ns57.1and1.com | IN | 43200 | |
nicachipal.com | NS | ns58.1and1.com | IN | 43200 | |
ingeni.ch | TXT | v=spf1 include:spf.infomaniak.ch ?all | Array | IN | 43200 |
ingeni.ch | SOA | ns1.infomaniak.ch | hostmaster.infomaniak.ch | 2011022101 | 10800 3600 605800 86400 IN 43200 |
ingeni.ch | MX | 1 | mail.ingeni.ch | IN | 43200 |
ingeni.ch | MX | 10 | mail2.ingeni.ch | IN | 43200 |
ingeni.ch | A | 93.88.240.161 | IN | 43200 | |
ingeni.ch | NS | ns1.infomaniak.ch | IN | 43200 | |
ingeni.ch | NS | ns2.infomaniak.ch | IN | 43200 | |
badminton-world.de | AAAA | 2a01:238:20a:202:1088::88 | IN | 7200 | |
badminton-world.de | A | 81.169.145.81 | IN | 7200 | |
badminton-world.de | MX | 10 | mailin.rzone.de | IN | 7200 |
badminton-world.de | SOA | docks17.rzone.de | hostmaster.strato-rz.de | 2011073000 | 86400 7200 604800 86400 IN 7200 |
badminton-world.de | NS | docks17.rzone.de | IN | 7200 | |
badminton-world.de | NS | shades20.rzone.de | IN | 7200 | |
meinetraumhochzeit.ch | A | 193.9.122.8 | IN | 43200 | |
meinetraumhochzeit.ch | SOA | dns1.escapenet.ch | hostmaster.escapenet.ch | 2010121600 | 28800 7200 604800 86400 IN 43200 |
meinetraumhochzeit.ch | MX | 10 | server301.appriver.com | IN | 43200 |
meinetraumhochzeit.ch | MX | 10 | server300.appriver.com | IN | 43200 |
meinetraumhochzeit.ch | NS | dns1.escapenet.ch | IN | 43200 | |
meinetraumhochzeit.ch | NS | dns2.escapenet.ch | IN | 43200 | |
audionautes.com | SOA | ns1.readyhosting.com | dnsadmin.readyhosting.com | 2006020869 | 10800 3600 604800 3600 IN 3600 |
audionautes.com | MX | 30 | mx.audionautes.com | IN | 3600 |
audionautes.com | TXT | v=spf1 ip4:38.113.1.0/24 ip4:38.113.20.0/24 ip4:65.254.224.0/19 ?all | Array | IN | 3600 |
audionautes.com | A | 65.254.231.115 | IN | 3600 | |
audionautes.com | NS | ns1.readyhosting.com | IN | 3600 | |
audionautes.com | NS | ns2.readyhosting.com | IN | 3600 | |
matratzen-dehler.de | SOA | dns1.dacor.de | info.dacor.de | 2010122001 | 10800 3600 604800 86400 IN 3600 |
matratzen-dehler.de | A | 217.24.50.11 | IN | 3600 | |
matratzen-dehler.de | MX | 10 | mx2.dacor.de | IN | 3600 |
matratzen-dehler.de | MX | 10 | mx1.dacor.de | IN | 3600 |
matratzen-dehler.de | NS | dns3.dacor.de | IN | 3600 | |
matratzen-dehler.de | NS | dns2.dacor.de | IN | 3600 | |
matratzen-dehler.de | NS | dns1.dacor.de | IN | 3600 | |
chateau-cheverny.fr | SOA | ns6.oleane.net | hostmaster.oleane.net | 2010060901 | 86400 3600 1209600 3600 IN 43200 |
chateau-cheverny.fr | MX | 5 | mx.mailbox.orange-business.com | IN | 43200 |
chateau-cheverny.fr | A | 87.98.161.215 | IN | 43200 | |
chateau-cheverny.fr | NS | ns6.oleane.net | IN | 43200 | |
chateau-cheverny.fr | NS | ns7.oleane.net | IN | 43200 | |
nocosports.com | MX | 10 | mail13.worldispnetwork.com | IN | 43200 |
nocosports.com | A | 74.50.92.2 | IN | 43200 | |
nocosports.com | SOA | ns4.worldispnetwork.com | noreply.hostdepartment.com | 2011052304 | 10800 3600 604800 86400 IN 43200 |
nocosports.com | NS | ns4.worldispnetwork.com | IN | 43200 | |
nocosports.com | NS | ns3.worldispnetwork.com | IN | 43200 | |
ullahamilton.se | SOA | ns1.loopia.se | registry.loopia.se | 1296794110 | 10800 3600 604800 86400 IN 3600 |
ullahamilton.se | A | 194.9.94.153 | IN | 300 | |
ullahamilton.se | IN | 7200 | |||
ullahamilton.se | IN | 7200 | |||
ullahamilton.se | NS | ns1.loopia.se | IN | 3600 | |
ullahamilton.se | NS | ns2.loopia.se | IN | 3600 | |
finixx.com.ve | A | 75.126.185.28 | IN | 14400 | |
finixx.com.ve | SOA | hip2.hostupon.com | luisalbertomena.hotmail.com | 2010042102 | 86400 7200 3600000 86400 IN 43200 |
finixx.com.ve | MX | 0 | finixx.com.ve | IN | 14400 |
finixx.com.ve | NS | hip1.hostupon.com | IN | 43200 | |
finixx.com.ve | NS | hip2.hostupon.com | IN | 43200 | |
agenda-automobile.com | MX | 10 | argoo1.venigo.fr | IN | 43200 |
agenda-automobile.com | A | 195.225.206.51 | IN | 43200 | |
agenda-automobile.com | SOA | argoo1.venigo.fr | noc.venigo.fr | 2009112505 | 10800 3600 1209600 10800 IN 43200 |
agenda-automobile.com | NS | ns6.gandi.net | IN | 43200 | |
agenda-automobile.com | NS | argoo1.venigo.fr | IN | 43200 | |
theprofessionalhobo.com | A | 74.53.10.34 | IN | 14400 | |
theprofessionalhobo.com | SOA | ns1203.hostgator.com | dnsadmin.gator602.hostgator.com | 2011081600 | 86400 7200 3600000 86400 IN 43200 |
theprofessionalhobo.com | MX | 0 | theprofessionalhobo.com | IN | 14400 |
theprofessionalhobo.com | TXT | v=spf1 a mx include:websitewelcome.com ~all | Array | IN | 14400 |
theprofessionalhobo.com | NS | ns1203.hostgator.com | IN | 43200 | |
theprofessionalhobo.com | NS | ns1204.hostgator.com | IN | 43200 | |
ifmt.auf.org | CNAME | www.ifmt.auf.org | IN | 43200 | |
iamcrossfit.com | TXT | v=spf1 a mx ptr include:bluehost.com ?all | Array | IN | 14400 |
iamcrossfit.com | SOA | ns1.bluehost.com | dnsadmin.box728.bluehost.com | 2011041102 | 86400 7200 3600000 300 IN 43200 |
iamcrossfit.com | MX | 10 | mailstore1.secureserver.net | IN | 14400 |
iamcrossfit.com | MX | 0 | smtp.secureserver.net | IN | 14400 |
iamcrossfit.com | A | 66.147.244.228 | IN | 14400 | |
iamcrossfit.com | NS | ns1.bluehost.com | IN | 43200 | |
iamcrossfit.com | NS | ns2.bluehost.com | IN | 43200 | |
psoeayora.es.vpslink.com | A | 38.113.1.225 | IN | 3600 | |
reitecke.ch | A | 87.253.179.221 | IN | 43200 | |
reitecke.ch | SOA | schweitzer.nwx-server.de | hostmaster.nwx-server.de | 2007040101 | 10800 3600 604800 86400 IN 43200 |
reitecke.ch | MX | 10 | mail.reitecke.ch | IN | 43200 |
reitecke.ch | NS | ns2.schweitzer.nwx-server.de | IN | 43200 | |
reitecke.ch | NS | ns1.schweitzer.nwx-server.de | IN | 43200 | |
appannie.com | TXT | v=spf1 a mx a:supernanny.appannie.com ip4:69.167.139.117 ip4:69.167.139.119 include:_spf.google.com include:sendgrid.net ~all | Array | IN | 10800 |
appannie.com | MX | 10 | aspmx3.googlemail.com | IN | 10800 |
appannie.com | MX | 1 | aspmx.l.google.com | IN | 10800 |
appannie.com | MX | 5 | alt1.aspmx.l.google.com | IN | 10800 |
appannie.com | MX | 5 | alt2.aspmx.l.google.com | IN | 10800 |
appannie.com | MX | 10 | aspmx2.googlemail.com | IN | 10800 |
appannie.com | A | 69.167.139.117 | IN | 300 | |
appannie.com | SOA | dns0.easydns.com | zone.easydns.com | 1317874250 | 43200 10800 1209600 10800 IN 10800 |
appannie.com | NS | dns2.easydns.net | IN | 10800 | |
appannie.com | NS | dns1.easydns.com | IN | 10800 | |
appannie.com | NS | dns3.easydns.org | IN | 10800 | |
appannie.com | NS | dns4.easydns.info | IN | 10800 | |
livepk.tv | TXT | v=spf1 a mx ptr include:hostmonster.com ?all | Array | IN | 14400 |
livepk.tv | MX | 0 | livepk.tv | IN | 14400 |
livepk.tv | A | 66.147.240.161 | IN | 14400 | |
livepk.tv | SOA | ns1.hostmonster.com | root.host361.hostmonster.com | 2011061100 | 86400 7200 3600000 300 IN 43200 |
livepk.tv | NS | ns2.hostmonster.com | IN | 43200 | |
livepk.tv | NS | ns1.hostmonster.com | IN | 43200 | |
blauer.it | MX | 10 | mx1.hosting-panel.net | IN | 43200 |
blauer.it | MX | 20 | mx2.hosting-panel.net | IN | 43200 |
blauer.it | A | 94.23.66.239 | IN | 43200 | |
blauer.it | SOA | ns1.hosting-panel.net | root.hosting-panel.net | 2011071801 | 28800 7200 604800 86400 IN 43200 |
blauer.it | NS | ns2.hosting-panel.net | IN | 43200 | |
blauer.it | NS | ns1.hosting-panel.net | IN | 43200 | |
mce-online.de | A | 82.165.95.126 | IN | 10800 | |
mce-online.de | SOA | ns35.1und1.de | hostmaster.1und1.de | 2007030303 | 28800 7200 604800 86400 IN 43200 |
mce-online.de | MX | 10 | mx00.kundenserver.de | IN | 43200 |
mce-online.de | MX | 10 | mx01.kundenserver.de | IN | 43200 |
mce-online.de | NS | ns36.1und1.de | IN | 43200 | |
mce-online.de | NS | ns35.1und1.de | IN | 43200 | |
auto-rides.com | A | 74.53.109.210 | IN | 14400 | |
auto-rides.com | SOA | ns923.hostgator.com | root.gator462.hostgator.com | 2011030101 | 86400 7200 3600000 86400 IN 43200 |
auto-rides.com | MX | 0 | auto-rides.com | IN | 14400 |
auto-rides.com | TXT | v=spf1 a mx include:websitewelcome.com ~all | Array | IN | 14400 |
auto-rides.com | NS | ns923.hostgator.com | IN | 43200 | |
auto-rides.com | NS | ns924.hostgator.com | IN | 43200 | |
snug.ic.cz | CNAME | virt.ic.cz | IN | 3600 |
obdržel od první server DNS
požadavek na server "snug.ic.cz"
Ty používají tyto DNS server:
DNS jméno: ns1.inbusiness.no
adresu serveru DNS: 212.33.133.80#53
DNS server aliasů:
hlavička opcode: žádost, status: NOERROR, id: 37892
vlajky: qr rd žádost: 1, odpověď: 0, AUTHORITY: 5, další: 0
VYVOLÁNÍ sekce:
snug.ic.cz. IN ANY
AUTHORITY SECTION:
cz. 130683 IN NS a.ns.nic.cz.
cz. 130683 IN NS b.ns.nic.cz.
cz. 130683 IN NS c.ns.nic.cz.
cz. 130683 IN NS d.ns.nic.cz.
cz. 130683 IN NS f.ns.nic.cz.
Received 115 bytů z adresy 212.33.133.80#53 v čase 112 ms
obdržel od druhého serveru DNS
požadavek na server "snug.ic.cz"
Received 28 bytů z adresy 77.241.100.175#53 v čase 110 ms
požadavek na server "snug.ic.cz"
Ty používají tyto DNS server:
DNS jméno: ns3.inbusiness.no
adresu serveru DNS: 77.241.100.175#53
DNS server aliasů:
Host snug.ic.cz not found: 5(REFUSED)
Received 28 bytů z adresy 77.241.100.175#53 v čase 112 ms
subdomén (první 50)
Typos (dělá pravopisnou chybu)
anug.ic.cz znug.ic.cz xnug.ic.cz dnug.ic.cz enug.ic.cz wnug.ic.cz sbug.ic.cz smug.ic.cz sjug.ic.cz shug.ic.cz snyg.ic.cz | snhg.ic.cz snjg.ic.cz snig.ic.cz sn8g.ic.cz sn7g.ic.cz snuf.ic.cz snuv.ic.cz snub.ic.cz snuh.ic.cz snuy.ic.cz snut.ic.cz | nug.ic.cz sug.ic.cz sng.ic.cz snu.ic.cz nsug.ic.cz sung.ic.cz sngu.ic.cz ssnug.ic.cz snnug.ic.cz snuug.ic.cz snugg.ic.cz |
místo
IP: 88.86.100.176
kontinent: EU, země: Czech Republic (CZE), město: Praha
Web hodnota
pozice v dopravních statistik:
Není dostatek údajů k odhadu hodnoty webu.
Základní informace
webové stránky vytvořit pomocí CSS
kód váha: 7.58 KB
text na celý kód ratio: 23 %
titul: e-vyuka pro logiku
popis:
klíčová slova:
kódování: windows-1250
jazyk: cs
Web analýzy kódu
jedním slovem věty opakoval nejméně třikrát
fráze | množství |
---|---|
za | 3 |
dva slovní fráze opakuje nejméně třikrát
tři věty slovo opakuje nejméně třikrát
B značky
ÚVOD
VÝROKOVÁ LOGIKA
SÉMANTICKÝ VÝKLAD VÝROKOVÉ LOGIKY
Převod z přirozeného jazyka do symbolického jazyka výrokové logiky
Výrokově logická analýza
Úplné systémy spojek výrokové logiky
REZOLUČNÍ METODA VE VÝROKOVÉ LOGICE (AUTOMATICKÉ DOKAZOVÁNÍ)
SYSTÉM PŘIROZENÉ DEDUKCE VÝROKOVÉ LOGIKY
AXIOMATICKÝ SYSTÉM VÝROKOVÉ LOGIKY
Obecná charakteristika formálních systémů
Formální systém Hilbertova typu
PREDIKÁTOVÁ LOGIKA 1. ŘÁDU
SÉMANTICKÝ VÝKLAD PREDIKÁTOVÉ LOGIKY
Převod z přirozeného jazyka do symbolického jazyka PL1
Sémantika PL1 – interpretace formulí.
Tradiční Aristotelova logika
AUTOMATICKÉ DOKAZOVÁNÍ V PREDIKÁTOVÉ LOGICE (OBECNÁ REZOLUČNÍ METODA)
SYSTÉM PŘIROZENÉ DEDUKCE PREDIKÁTOVÉ LOGIKY
AXIOMATICKÝ SYSTÉM PREDIKÁTOVÉ LOGIKY
Úvodní poznámky:
Formální systém (logický kalkul) Hilbertova typu
FORMALIZOVANÉ TEORIE PREDIKÁTOVÉ LOGIKY 1. ŘÁDU
TEORIE RELACÍ A ALGEBRAICKÉ TEORIE 1.ŘÁDU
U značky
I značky
Obrázky
hlavičky
H1
e-vyuka pro logiku
H2
H3
H4
H5
H6
vnitřní spojení
adresa | kotva text |
---|---|
hl.htm | obsah |
# | Středozem |
# | Daleko za horami |
skripta/uvod.html | ÚVOD |
skripta/2_1_semantickyvykladvyrokovylogiky.html | VÝROKOVÁ LOGIKA |
skripta/2_1_semantickyvykladvyrokovylogiky.html | SÉMANTICKÝ VÝKLAD VÝROKOVÉ LOGIKY |
skripta/2_1_ab_vyrokovelogickaanalyza.html | Převod z přirozeného jazyka do symbolického jazyka výrokové logiky |
skripta/2_1_ab_vyrokovelogickaanalyza.html | Výrokově logická analýza |
skripta/2_1_c_uplnesystemyspojekvyrokovelogiky.html | Úplné systémy spojek výrokové logiky |
skripta/2_2_rezolucnimetodavevyrokovelogice.html | REZOLUČNÍ METODA VE VÝROKOVÉ LOGICE (AUTOMATICKÉ DOKAZOVÁNÍ) |
skripta/2_3_systemprirozenededukcevyrokovelogiky.html | SYSTÉM PŘIROZENÉ DEDUKCE VÝROKOVÉ LOGIKY |
skripta/2_4_a_obecnacharakteristikaformalnichsystemu.html | AXIOMATICKÝ SYSTÉM VÝROKOVÉ LOGIKY |
skripta/2_4_a_obecnacharakteristikaformalnichsystemu.html | Obecná charakteristika formálních systémů |
skripta/2_4_b_formalnisystemhilbertovatypu.html | Formální systém Hilbertova typu |
skripta/3_1_semantickyvykladpredikatovelogiky.html | PREDIKÁTOVÁ LOGIKA 1. ŘÁDU |
skripta/3_1_semantickyvykladpredikatovelogiky.html | SÉMANTICKÝ VÝKLAD PREDIKÁTOVÉ LOGIKY |
skripta/3_1_a_prevodzprirozenehojazykadosymbolickehojazykapl1.html | Převod z přirozeného jazyka do symbolického jazyka PL1 |
skripta/3_1_b_semantikapl1.html | Sémantika PL1 – interpretace formulí. |
skripta/3_1_1_tradicniaristotelovalogika.html | Tradiční Aristotelova logika |
skripta/3_2_automatickedokazovanivpredikatovelogice.html | AUTOMATICKÉ DOKAZOVÁNÍ V PREDIKÁTOVÉ LOGICE (OBECNÁ REZOLUČNÍ METODA) |
skripta/3_3_systemprirozenededukcepredikatovelogiky.html | SYSTÉM PŘIROZENÉ DEDUKCE PREDIKÁTOVÉ LOGIKY |
skripta/3_4_a_uvodnipoznamky.html | AXIOMATICKÝ SYSTÉM PREDIKÁTOVÉ LOGIKY |
skripta/3_4_a_uvodnipoznamky.html | Úvodní poznámky: |
skripta/3_4_b_formalnisystemhilbertovatypu.html | Formální systém (logický kalkul) Hilbertova typu |
skripta/4_formalizovaneteoriepredikatovelogiky.html | FORMALIZOVANÉ TEORIE PREDIKÁTOVÉ LOGIKY 1. ŘÁDU |
skripta/4_1_teorierelaciaalgebraicketeorie.html | TEORIE RELACÍ A ALGEBRAICKÉ TEORIE 1.ŘÁDU |
externí odkazy
adresa | kotva text |
---|---|
http://adserver.itsfogo.com/click.aspx?zoneid=21448 | Sázení na sport |
http://www.megadarky.cz/?utm_source=ic&utm_medium=ppc&utm_term=originalni-darky&utm_content=textlink&utm_campaign=ic_textlink_darky | Originální dárky |
http://parfemy123.eu/ | Parfémy levně |
http://adv.forpsi.com/adv.php?id=2991&provid=18&ak=click | Doména .CZ za 140 Kč |
http://www.mona-nabytek.cz/ | nábytek -40% |
http://adv.forpsi.com/adv.php?id=2990&provid=18&ak=click | Dedikovaný server za cenu housingu |
http://www.uloz.to/?utm_source=ICwebs&utm_medium=lista&utm_campaign=sdileni_souboru | Stahování souborů ZDARMA! |
http://www.krasnedekorace.cz/?affil=25 | Samolepky na zeď |