tag :: logic | BibSonomy

закладки (спрятать)462
показать
всё
только закладки
закладки на страницу
5
10
20
50
100
RSS
BibTeX
XML

1Why does all() return True if the iterable is empty? · The Ethically-Trained Programmer
https://blog.carlana.net/post/2020/python-square-of-opposition/
4 месяцев назад , @bshanks
aristotelian
aristotle
logic
squareofopposition
vacuous
aristotelianaristotlelogicsquareofoppositionvacuous
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1paradoxes - Is $B = \{x:x \notin B\}$ a valid paradox in Naive Set Theory? - Mathematics Stack Exchange
https://math.stackexchange.com/questions/1089224/is-b-xx-notin-b-a-valid-paradox-in-naive-set-theory?rq=1
2 лет назад , @knaevelboerrar
mathematics
logic
mathematicslogic
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1soft question - complete axiomatization of reals vs we can't prove every statement about the reals vs every statement about the real numbers is either true or false - Mathematics Stack Exchange
https://math.stackexchange.com/questions/4145833/complete-axiomatization-of-reals-vs-we-cant-prove-every-statement-about-the-rea
2 лет назад , @knaevelboerrar
mathematics
logic
mathematicslogic
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1Meet-the-clever-The-Jenkins-comics-that-will-make-you-laugh-a-lot-62b059e84f8ae__880.jpg (JPEG Image, 880 × 880 pixels)
https://www.boredpanda.com/blog/wp-content/uploads/2022/06/Meet-the-clever-The-Jenkins-comics-that-will-make-you-laugh-a-lot-62b059e84f8ae__880.jpg
2 лет назад , @bshanks
comic
logic
comiclogic
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1Wolfram Logic (@wolframlogic) | Zeneca
https://www.zeneca.io/wolframlogic
2 лет назад , @bshanks
logic
logic
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1gentzler cut proof theory - Google Search
https://www.google.com/search?safe=active&client=ubuntu&hs=9H2&channel=fs&sxsrf=ALeKk00iujoPGvwQZJBoa_tUpy4sHiDc8A%3A1590040788503&ei=1BjGXoCpHojz-gSj1aGwDg&q=gentzler+cut+proof+theory&oq=gentzler+cut+proof+theory&gs_lcp=CgZwc3ktYWIQAzoECAAQRzoFCCEQoAE6BQghEKsCOgcIIRAKEKABUPq6AVj9xgFgiMkBaABwAXgAgAF8iAHyCpIBAzUuOJgBAKABAaoBB2d3cy13aXo&sclient=psy-ab&ved=0ahUKEwiA44HDo8TpAhWIuZ4KHaNqCOYQ4dUDCAs&uact=5
3 лет назад , @bshanks
logic
math
proof
toread
logicmathprooftoread
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1Proof Theory (Stanford Encyclopedia of Philosophy)
https://plato.stanford.edu/entries/proof-theory/
3 лет назад , @bshanks
logic
math
proof
logicmathproof
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
2Dominic Hughes
http://boole.stanford.edu/~dominic/
3 лет назад , @bshanks
cs353
logic
math
pratt
proof
proofnet
cs353logicmathprattproofproofnet
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1Robert J. van Glabbeek
http://theory.stanford.edu/~rvg/
3 лет назад , @bshanks
concurrency
cs353
logic
math
pratt
concurrencycs353logicmathpratt
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1Modal Logic Introductory Lecture - ml-lec1.pdf
http://ai.stanford.edu/~epacuit/classes/modal-spr2012/ml-lec1.pdf
3 лет назад , @bshanks
intro
logic
math
modal
toread
intrologicmathmodaltoread
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1ml-notes.pdf
http://ai.stanford.edu/~epacuit/classes/logicai-cmu/ml-notes.pdf
3 лет назад , @bshanks
intro
logic
math
modal
toread
intrologicmathmodaltoread
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1Modal Logic for Open Minds
http://web.stanford.edu/group/cslipublications/cslipublications/site/9781575865980.shtml
3 лет назад , @bshanks
book
logic
math
modal
toread
booklogicmathmodaltoread
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1Modal Logic
http://ai.stanford.edu/~epacuit/classes/modal.html
3 лет назад , @bshanks
course
logic
math
modal
courselogicmathmodal
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1PHIL 169: Modal Logic Course Homepage
https://web.stanford.edu/class/phil169/coursework/syllabus.html
3 лет назад , @bshanks
benthem
course
logic
math
modal
stanford
benthemcourselogicmathmodalstanford
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1syl02.pdf
http://boole.stanford.edu/cs353/handouts/syl02.pdf
3 лет назад , @bshanks
cs353
logic
math
pratt
cs353logicmathpratt
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1Wayback Machine
https://web.archive.org/web/20210125162407/http://boole.stanford.edu/cs353/handouts/cs353-02.pdf
3 лет назад , @bshanks
cs353b
logic
math
pratt
cs353blogicmathpratt
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1Robert J. van Glabbeek
https://web.archive.org/web/20210330171450/https://theory.stanford.edu/~rvg/
3 лет назад , @bshanks
Glabbeek
logic
math
pratt
Glabbeeklogicmathpratt
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1CS352
Glabbeek
3 лет назад , @bshanks
Glabbeek
algebraic
chu
concurrency
cs353
dynamic
logic
math
pratt
toread
Glabbeekalgebraicchuconcurrencycs353dynamiclogicmathpratttoread
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1CS 353 Autumn 2003-04 Handouts
https://web.archive.org/web/20190706060019/http://boole.stanford.edu/cs353/handouts.html
3 лет назад , @bshanks
algebraic
chu
cs353
logic
math
pratt
algebraicchucs353logicmathpratt
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи
1cs353-02.pdf
http://boole.stanford.edu/cs353/handouts/cs353-02.pdf
3 лет назад , @bshanks
algebraic
chu
cs353
cs353b
logic
math
pratt
algebraicchucs353cs353blogicmathpratt
(0)
копироватьудалить
- Запись сообщества
- посмотреть историю записи

&lang;&lang;
⟨
1
2
3
&rang;
⟩⟩

публикации (спрятать)782
показать
всё
только публикации
публикации на страницу
5
10
20
50
100
расширенный...
RSS
BibTeX
RDF
дальше...

1EVALUATION OF COMPUTABILITY CRITERIONS FOR RUNTIME WEB SERVICE INTEGRATION
Thirumaran.M, Dhavachelvan.P, Aranganayagi.G, и S.Abarna. International Journal on Web Service Computing (IJWSC), 2 (3): 43-56 (сентября 2011)
24 дней назад , @ijwsc
Business
Computability
Evaluation
Integration
Logic
Model
Property
Service
System
Traceability
and
BusinessComputabilityEvaluationIntegrationLogicModelPropertyServiceSystemTraceabilityand
(0)
копироватьудалитьдобавить публикацию в буфер
1Loading and Unloading by Pneumatic Arm Bot Using Programmable Logic Controller (PLC)
A. |. CENTRAL ASIAN JOURNAL OF THEORETICAL AND APPLIED SCIENCE, 4 (9): 59-85 (сентября 2023)
3 месяцев назад , @centralasian_20
(PLC)
Arm,
Bot,
Controller
Loading
Logic
Pneumatic
Programmable
Unloading,
and
(PLC)Arm,Bot,ControllerLoadingLogicPneumaticProgrammableUnloading,and
(0)
копироватьудалитьдобавить публикацию в буфер
2The Place of Music in the Creation of Abu Ali Ibn Sina
A. kizi. Central Asian Journal of Social Sciences and History, 4 (7): 126-128 (июля 2023)
3 месяцев назад , @centralasian_20
art,
literature,
logic
mathematics,
music,
peopleera,
philosophy,
research,
science,
scientist,
work,
art,literature,logicmathematics,music,peopleera,philosophy,research,science,scientist,work,
(0)
копироватьудалитьдобавить публикацию в буфер
2The Place of Music in the Creation of Abu Ali Ibn Sina
A. kizi |. CENTRAL ASIAN JOURNAL OF MEDICAL AND NATURAL SCIENCE, 4 (7): 126-128 (июля 2023)
3 месяцев назад , @centralasian_20
,
art,
literature,
logic
mathematics,
music,
peopleera,
philosophy,
research,
science
scientist,
work,
,art,literature,logicmathematics,music,peopleera,philosophy,research,sciencescientist,work,
(0)
копироватьудалитьдобавить публикацию в буфер
1HIGH-PERFORMANCE DOUBLE BOOST DC-DC CONVERTER BASED ON FUZZY LOGIC CONTROLLER
M. Lwin. Mechatronics and Applications: An International Journal (MECHATROJ), 2 (1): 01-12 (октября 2018)
5 месяцев назад , @clauren
(FLC)
Boost
Centre
Control
Controller
Converter
DC-DC
Data
Double
Dual
Energy
Fuzzy
High
Logic
Mode
Renewable
Stage
System
Vehicle
Voltage
(FLC)BoostCentreControlControllerConverterDC-DCDataDoubleDualEnergyFuzzyHighLogicModeRenewableStageSystemVehicleVoltage
(0)
копироватьудалитьдобавить публикацию в буфер
1An Introduction to Mathematical Logic
A. Freund. (2023)cite arxiv:2310.09921.
7 месяцев назад , @tabularii
logic
mathematics
logicmathematics
(0)
копироватьудалитьдобавить публикацию в буфер
1A Modified Law of Profitable Investment
P. Sarkar. INTERNATIONAL JOURNAL OF TREND IN SCIENTIFIC RESEARCH AND DEVELOPMENT, 7 (4): 95-99 (августа 2023)
7 месяцев назад , @ijtsrd
50,
BSE
Fuzzy
Intrinsic
S&P
SENSEX
Value,
data,
logic
50,BSEFuzzyIntrinsicS&PSENSEXValue,data,logic
(0)
копироватьудалитьдобавить публикацию в буфер
2Deriving sound inference rules for concept diagrams
P. Chapman, G. Stapleton, J. Howse, и I. Oliver. 2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), стр. 87-94. (сентября 2011)
8 месяцев назад , @jaeschke
concept
diagram
euler
graph
inference
logic
reasoning
venn
visualization
conceptdiagrameulergraphinferencelogicreasoningvennvisualization
(0)
копироватьудалитьдобавить публикацию в буфер
1Modelling of Solar PV and Optimization of Chopper Based PV Array using Fuzzy Control System as Per Climatic Conditions
M. Verma. INTERNATIONAL JOURNAL OF TREND IN SCIENTIFIC RESEARCH AND DEVELOPMENT, 7 (4): 1077-1086 (июня 2023)
10 месяцев назад , @ijtsrd
&
(FLC),Perturbation
(IGBT),
(MPPT),
(P&O)
(PWM),
(STATCOM),),
(THD),
Insulated
Maximum
Modulation
Observation
Pulse
Total
Width
and
bipolar
compensator
control
distortion
fuzzy
gate
harmonic
logic
point
power
static
synchronous
system
tracking
transistor
&(FLC),Perturbation(IGBT),(MPPT),(P&O)(PWM),(STATCOM),),(THD),InsulatedMaximumModulationObservationPulseTotalWidthandbipolarcompensatorcontroldistortionfuzzygateharmoniclogicpointpowerstaticsynchronoussystemtrackingtransistor
(0)
копироватьудалитьдобавить публикацию в буфер
1Probability logic and probabilistic induction.
S. Greenland. Epidemiology (Cambridge, Mass.), 9 (3): 322-32 (мая 1998)2502<m:linebreak></m:linebreak>Comment in: Epidemiology 1998 May;9(3):233;.
год назад , @jepcastel
EpidemiologicStudies
Humans
Logic
Models
ProbabilityTheory
ResearchDesign
Statistical
EpidemiologicStudiesHumansLogicModelsProbabilityTheoryResearchDesignStatistical
(0)
копироватьудалитьдобавить публикацию в буфер
1On the origin of Hill's causal criteria.
A. Morabia. Epidemiology (Cambridge, Mass.), 2 (5): 367-9 (сентября 1991)3207<m:linebreak></m:linebreak>Causalitat.
год назад , @jepcastel
17thCentury
20thCentury
Causality
Epidemiology
Epidemiology:history
History
Logic
Philosophy
17thCentury20thCenturyCausalityEpidemiologyEpidemiology:historyHistoryLogicPhilosophy
(0)
копироватьудалитьдобавить публикацию в буфер
1Looking back on "causal thinking in the health sciences".
J. Kaufman, и C. Poole. Annual review of public health, (января 2000)3644<m:linebreak></m:linebreak>Causalitat.
год назад , @jepcastel
Causality
Ecology
Epidemiology
Humans
Judgment
Logic
Medical
Models
Philosophy
PublicHealthPractice
Statistical
SystemsAnalysis
Thinking
CausalityEcologyEpidemiologyHumansJudgmentLogicMedicalModelsPhilosophyPublicHealthPracticeStatisticalSystemsAnalysisThinking
(0)
копироватьудалитьдобавить публикацию в буфер
1Argumentation and evidence.
R. Upshur, и E. Colak. Theoretical medicine and bioethics, 24 (4): 283-99 (января 2003)7285<m:linebreak></m:linebreak>LR: 20061115; JID: 9805378; ppublish;<m:linebreak></m:linebreak>EBM.
год назад , @jepcastel
DecisionMaking
Evidence-BasedMedicine
Humans
Hypertension
Hypertension:drugtherapy
Knowledge
Logic
DecisionMakingEvidence-BasedMedicineHumansHypertensionHypertension:drugtherapyKnowledgeLogic
(0)
копироватьудалитьдобавить публикацию в буфер
1Popperian refutation in epidemiology.
M. Maclure. American journal of epidemiology, 121 (3): 343-50 (марта 1985)2888<m:linebreak></m:linebreak>Causalitat.
год назад , @jepcastel
Epidemiology
Humans
Logic
LungNeoplasms
LungNeoplasms:etiology
Medical
Philosophy
Smoking
EpidemiologyHumansLogicLungNeoplasmsLungNeoplasms:etiologyMedicalPhilosophySmoking
(0)
копироватьудалитьдобавить публикацию в буфер
1British Imperialism in Colonial Africa and the World
A. Rappa. BOHR International Journal of Social Science and Humanities Research, 1 (1): 93--97 (2022)
год назад , @bijsshrjournal
Africa
Colonial
Cultural
Interpretation
Logic
Symbolic
agency
imperialism
western
AfricaColonialCulturalInterpretationLogicSymbolicagencyimperialismwestern
(0)
копироватьудалитьдобавить публикацию в буфер
1Development of Logical Thinking in Elementary Mathematics Classes
I. Qizi. INTERNATIONAL JOURNAL OF TREND IN SCIENTIFIC RESEARCH AND DEVELOPMENT, 6 (6): 1446-1450 (октября 2022)
2 лет назад , @ijtsrd
education
logic
logical
logicality
primary
task
thinking
educationlogiclogicallogicalityprimarytaskthinking
(0)
копироватьудалитьдобавить публикацию в буфер
1Analysis and Simulation of Solar PV Connected with Grid Accomplished with Maximum Power Point Tracking System
S. Diwan. INTERNATIONAL JOURNAL OF TREND IN SCIENTIFIC RESEARCH AND DEVELOPMENT, 6 (5): 1157-1161 (июля 2022)
2 лет назад , @ijtsrd
&
(FLC)
(IGBT)
(MPPT)
(P&O)
(PWM)
(STATCOM)
(THD)
)
Insulated
Maximum
Modulation
Observation
Perturbation
Pulse
Total
Width
and
bipolar
compensator
control
distortion
fuzzy
gate
harmonic
logic
point
power
static
synchronous
system
tracking
transistor
&(FLC)(IGBT)(MPPT)(P&O)(PWM)(STATCOM)(THD))InsulatedMaximumModulationObservationPerturbationPulseTotalWidthandbipolarcompensatorcontroldistortionfuzzygateharmoniclogicpointpowerstaticsynchronoussystemtrackingtransistor
(0)
копироватьудалитьдобавить публикацию в буфер
1Analysis and Implementation of Fuzzy Logic Controller Based MPPT to Enhance Power Quality in PV System
A. Prajapati. INTERNATIONAL JOURNAL OF TREND IN SCIENTIFIC RESEARCH AND DEVELOPMENT, 6 (5): 724-733 (июля 2022)
2 лет назад , @ijtsrd
(FIS)
(PV)
Boost
Controller
Converter
Fuzzy
Logic
MATLAB
MPPT
Simulink
Solar
(FIS)(PV)BoostControllerConverterFuzzyLogicMATLABMPPTSimulinkSolar
(0)
копироватьудалитьдобавить публикацию в буфер
1Advanced Pitch Angle Control Configuration of Wind Energy Conversion System with Different Control System Configuration
V. Gajpal. INTERNATIONAL JOURNAL OF TREND IN SCIENTIFIC RESEARCH AND DEVELOPMENT, 6 (5): 459-463 (июля 2022)
2 лет назад , @ijtsrd
(FLC)
(IGBT)
(PMSG)
(Total
(static
Fuzzy
Insulated
Permanent
Pitch
STATCOM
THD
angle
bipolar
compensator)
controller
distortion)
gate
generator
harmonic
logic
magnet
synchronous
transistor
(FLC)(IGBT)(PMSG)(Total(staticFuzzyInsulatedPermanentPitchSTATCOMTHDanglebipolarcompensator)controllerdistortion)gategeneratorharmoniclogicmagnetsynchronoustransistor
(0)
копироватьудалитьдобавить публикацию в буфер
1Methods of Organizing Mental Arithmetic Lessons in Preschool Education
S. Mohinur. International Journal on Integrated Education, (2022)
2 лет назад , @researchpark_20
Analytical
Imagining
Logic
Mental
arithmetic
thinking
AnalyticalImaginingLogicMentalarithmeticthinking
(0)
копироватьудалитьдобавить публикацию в буфер

&lang;&lang;
⟨
1
2
3
&rang;
⟩⟩

Что такое BibSonomy?: С чего начать; Кнопки для браузера; Помощь
Разработчикам: Обзор; API-документация

Контакт и защита личных данных: о нас; Cookies; Сообщить о проблеме; BibSonomy Вики

Интеграция: PUMA; Расширение для TYPO3; Плагин для; Клиент Java REST; Поддерживаемые источники; далее

О BibSonomy: Команда; Блог; Список рассылки
Социальные сети: Наш Twitter