The Logic Calculator
2,5star
56 сын-пикир
10 миң+
жолу жүктөлүп алынды
Баары
info
Колдонмо тууралуу
Бул акысыз колдонмо Айтылыштар логика колдонуучулар математикалык эсептегич сунуштаган, ошондой эле тынч менен иш жүргүзүүгө мүмкүндүк берет. Бул олуттуу кайра байланышты камсыз кылуу менен логика окуучуларга көмөктөшөт. Тактап айтканда, бул колдонмону пайдаланып, бир же жокпу, аныктоого болот: (1) киргизүү, анда эмес, ошондой эле пайда болгон жана эмне үчүн эмес, (2) с tautologies, карама-каршылыктар жана контингенти бар (3) сүйлөм топтомдорун ырааттуу эместиктер же карама-каршылыктар бар жана (4) жүйөлөр жарактуу же жараксыз болуп эсептелет. Ошондой эле башка өтүнмөлөргө көчүрүлүп алышы мүмкүн чындык үстөлдөрүн өндүрөт. Бул котормонун катары саноочу семантикалык ишине тыюу салынган.
Качан жаңырды
Коопсуздук дегенде колдонмонун маалыматты кантип топтоп, аны үчүнчү тараптар менен кантип бөлүшө турганын түшүнүү керек. Маалыматтардын купуялыгы жана коопсуздугу колдонмоңуздун иштетилишине, жүргөн аймагыңызга жана курагыңызга жараша болот. Маалыматты иштеп чыгуучу берип, маал-маалы менен жаңырып турат.
Үчүнчү тараптар менен маалымат бөлүшүлбөйт
Иштеп чыгуучулар маалыматтардын бөлүшүлүшү жөнүндө кантип кабар берерин билип алыңыз
Маалымат топтолбойт
Иштеп чыгуучулар маалыматтардын топтолушу жөнүндө кантип кабар берерин билип алыңыз
Баалар жана сын-пикирлер
2,5
52 сын-пикир
Эмне жаңылык
Bug Fixes and update to target API.
Колдонмо боюнча колдоо көрсөтүү кызматы
Иштеп чыгуучу жөнүндө
MR IOANNIS VOTSIS
logic@votsis.org
United Kingdom
undefined